Nonstandard analysis-recent developments - Hurd , A.E. (Lecture notes in mathematics, 1983)