Nonstandard analysis - Robert, Alain (Wiley, 1988)
Translation of: L'analyse non-standard.