An Introduction to Nonstandard Real Analysis by Peter A. Loeb, 'Hurd' & Albert E. Hurd