1. P.V. Andreev, The notion of relative standardness in axiomatic systems of nonstandard analysis, Thesis, Dept. Math. Mech., State University of N.I. Lobachcvskij in Nizhnij Novgorod, 2002, 96 pp. (Russian).
2. P.V. Andreev, “On definable standardness predicates in internal set theory”, Mathematical Notes, 66 (1999) 803–809 (Russian).
3. Contemporary Mathematics;D. Ballard,1994
4. V. Benci and M. Di Nasso, “Alpha-theory: an elementary axiomatics for nonstandard analysis”, Expositiones Math., 21 (2003) 355–386.
5. B. Benninghofen and M.M. Richter, “A general theory of superin-finitesimals”, Fund. Math., 123 (1987) 199–215.