Nonstandard analysis-recent developments - Hurd, A. E. (Lecture Notes in Mathematics / Springer-Verlag, 1983)