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