Internal set theory: A new approach to nonstandard analysis (1977)

by E Nelson
Venue:Bulletin of the American Mathematical Society