Nonstandard analysis A practical guide with applications. - Lutz Robert; Goze Michel (1981)