Nonstandard methods of analysis - Kusraev, A. G. (Kluwer Academic Publishers, 1994)