1. Ackermann, W.: Die Widerspruchsfreiheit der allgemeinen Mengenlehre. [The consistency of general set theory]. Math. Ann. [Ann. Math.] 114, 305–315 (1937)
2. Aczel, P.: The type theoretic interpretation of constructive set theory. In: MacIntyre, A., Pacholski, L., Paris, J. (eds.) Logic Colloquium ’77, pp. 55–66. North Holland, Amsterdam (1978)
3. Aczel, P.: The type theoretic interpretation of constructive set theory: choice principles. In: Troelstra, A.S., van Dalen, D. (eds.) The L.E.J. Brouwer Centenary Symposium, pp. 1–40. North Holland, Amsterdam (1982)
4. Aczel, P.: The type theoretic interpretation of constructive set theory: inductive definitions. In: Marcus, R.B., et al. (eds.) Logic, Methodology and Philosophy of Science VII, pp. 17–49. North Holland, Amsterdam (1986)
5. Aczel, P.: Non-well-founded sets. Center for the Study of Language and Information, Stanford (1988)