Introduction to nonstandard real analysis. - Hurd A E; Loeb P A (1985)