Elementary calculus : an infinitesimal approach - Keisler, H. Jerome (Dover Publications, 2012)