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