Nonstandard analysis and its applications - Cutland, Nigel (1988)