Nonstandard Analysis for the Working Mathematician - Loeb, Peter A. (Springer Netherlands, 2015)