Applied nonstandard analysis - Davis, Martin, 1928- (Pure and applied mathematics, 1977)