1. Berarducci, A., and M. Otero, "A recursive nonstandard model of normal open induction", The Journal of Symbolic Logic, vol. 61 (1996), pp. 1228–41.
2. Krivine, J.-L., Introduction to Axiomatic Set Theory, D. Reidel Publishing Co., Dordrecht, 1971.
3. Mancini, A., Weak Fragments of Set Theories (in Italian), Ph.D. thesis, University of Siena, Siena, 1997.
4. Sheperdson, J., "A non-standard model for a free variable fragment of number theory", Bulletin de l'Academique Polonaise des Sciences, vol. 12 (1967), pp. 79–86.
5. Tennenbaum, S., "Non-A"rchimedean models for arithmetic, Notices of the American Mathematical Society, vol. 6 (June 1959), p. 270.