Nonstandard analysis and its applications - Cutland, Nigel (London Mathematical Society student texts, 1988)