1. Robert Goldblatt, Lectures on the hyperreals. An introduction to nonstandard analysis, Graduate Texts in Mathematics 188, Springer-Verlag, New York, 1998.
2. Martin Davis, Applied nonstandard analysis, Pure and Applied Mathematics, Wiley-Interscience [John Wiley & Sons], New York-London-Sydney, 1977. Reprinted by Dover, NY, 2005. Available: http://store.doverpublications.com/0486442292.html
3. Abraham Robinson, Non-standard analysis, North-Holland Publishing, Amsterdam, 1966.
4. Tahl Nowik and Mikhail Katz, Differential geometry via infinitesimal displacements, J. Log. Anal. 7 (2015), no. 5, 1–44. Available: http://www.logicandanalysis.org/index.php/jla/article/view/237/106 and http://arxiv.org/abs/1405.0984
5. Vladimir Kanovei, Karin Katz, Mikhail Katz, and Tahl Nowik, Small oscillations of the pendulum, Euler’s method, and adequality, Quantum Stud. Math. Found. 3 (2016), no. 3, 231–236. Available: http://dx.doi.org/10.1007/s40509-016-0074-x and https://arxiv.org/abs/1604.06663