1. A. G. Kusraev and C. S. Kutateladze,Nonstandard Methods of Analysis [in Russian], Nauka, Novosibirsk (1990).
2. P. Vopěnka,Mathematics in the Alternative Set Theory, Teubner-texte zur Mathematik, Leipzig (1979).
3. D. Ballard and K. Hrbáček, “Standard foundations for nonstandard analysis,”J. Symbolic Logic,57, No. 2, 741–748 (1992).
4. E. Nelson, “Internal set theory: a new approach to nonstandard analysis,”Bull. Amer. Math. Soc. (N.S.),83, No. 6, 1165–1198 (1977).
5. E. I. Gordon, “Relatively standard elements in E. Nelson’s internal set theory,”Sibirsk. Mat. Zh. [Siberian Math. J.],30, No. 1, 89–95 (1989).