Henle J and Kleinberg E (1979) Infinitesimal calculus. MIT Press, Cambridge MA.
Keisler H.J. (1986) Elementary calculus: an infinitesimal approach. (2nd ed) Boston, MA. Prindle, Weber and Schmidt.
McKinzie M and Tuckey C (1995) Nonstandard methods in the precalculus curriculum; in Advances in Nonstandard Mathematics (Cutland N et al eds)
McKinzie M and Tuckey C (1997) Hidden lemmas in Euler's summation of the reciprocals of the squares. Archive for the History of Exact Sciences 51 pp 29--57.