1. L.O. Arkeryd, N.J. Cutland, C. Ward Henson (eds.), Nonstandard Analysis: Theory and Applications. NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences, vol. 493 (Kluwer Academic Publishers Group, Dordrecht, 1997)
2. V. Benci, M. Di Nasso, A purely algebraic characterization of the hyperreal numbers. Proc. Am. Math. Soc. 133(9), 2501–2505 (2005)
3. V. Benci, M. Forti, M. Di Nasso, The eightfold path to nonstandard analysis, in Nonstandard Methods and Applications in Mathematics. Lecture Notes in Logic, vol. 25 (Association for Symbolic Logi, La Jolla, 2006), pp. 3–44
4. C.C. Chang, H.J. Keisler, Model Theory. Studies in Logic and the Foundations of Mathematics, vol. 73, 2nd edn. (North-Holland, Amsterdam, 1977)
5. Graduate Texts in Mathematics;Robert Goldblatt,1998