Infinitesimal calculus - Henle, James M. (MIT Press, 1979)