Real analysis through modern infinitesimals - Vakil, Nadev (University Press, 2011)