1. L.O. Arkeryd, N.J. Cutland, C.W. Henson (Eds.), Nonstandard Analysis: Theory and Applications, Kluwer Academic Publisher, Dordrecht, 1997.
2. Model Theory;Chang,1990
3. M. Di Nasso, K. Hrbàc̆ek, Combinatorial principles in nonstandard analysis, Preprint, Dip. Mat. Appl. 2001/5, University of Pisa.
4. Mathematical logic;Ebbinghaus,1984
5. The isomorphism property in nonstandard analysis and its use in the theory of Banach space;Henson;J. Symbolic Logic,1974