An Introduction to Nonstandard Real Analysis (1985)

by A E Hurd, P A Loeb