Nonstandard Analysis for the Working Mathematician by Peter A. Loeb