Nonstandard analysis in practice - Diener, Francine; Diener, M. (Marc) (Universitext, 1995)