Nonstandard analysis: a practical guide with applications - Lutz, Robert; Goze, Michael (Lecture Notes in Mathematics, 881, 1981)