1. Nonstandard Analysis — Theory and Applications,1997
2. Standard foundations for nonstandard analysis;Ballard;J. Symb. Logic,1992
3. A construction of a nonstandard universe;Benci,1995
4. An algebraic approach to nonstandard analysis;Benci,1999
5. V. Benci and M. Di Nasso, A ring homomorphism is enough to get nonstandard analysis, Bull. Belg. Math. Soc. (accepted for publication).