Real analysis through modern infinitesimals - Vakil, Nadar (Encyclopaedia of Mathematics and its Application 140, 2011)