Applied Nonstandard Analysis (1977)

by M Davis
Venue:Journal of the ACM