1. [1] Boffa, M., "Axiome et schéma de fondement dans le système de Zermelo", Bulletin de l'Académie Polonaise des Sciences. Série des Sciences Mathématiques, Astronomiques et Physiques, vol. 17 (1969), pp. 113--15.
2. [2] Esser, O., "On the consistency of a positive theory", Mathematical Logic Quarterly, vol. 45 (1999), pp. 105--16.
3. [3] Forster, T., "Games played on an illfounded membership relation", pp. 107--19 in A Tribute to Maurice Boffa, edited by M. Crabbé, F. Point, and C. Michaux, 2001. Supplement to the December 2001 Bulletin of the Belgian Mathematical Society.
4. [4] Forti, M., and F. Honsell, "Set theory with free construction principles", Annali della Scuola Normale Superiore di Pisa. Classe di Scienze. Serie IV, vol. 10 (1983), pp. 493--522.
5. [5] Gödel, K., Kurt Gödel: Collected Works. Vol. IV, edited by S. Feferman, J. W. Dawson, Jr., W. Goldfarb, C. Parsons, and W. Sieg, The Clarendon Press, Oxford, 2003.