Elementary Calculus. An Infinitesimal Approach
H. Jerome Keisler
Foundations of Infinitesimal Calculus