An introduction to nonstandard real analysis - Hurd, A. E. 1931- (Albert Emerson) (Academic Press, 1985)