Nonstandard analysis - Robert, Alain (Wiley, 1988)