1. Aczel, P.: The type theoretic interpretation of constructive set theory. In: MacIntyre, A., Pacholski, L., Paris, J. (eds.) Logic Colloquium 1977, pp. 55–66. North-Holland, Amsterdam (1978)
2. 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)
3. 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)
4. Aczel, P., Rathjen, M.: Notes on constructive set theory, Technical Report 40, 2000/2001. Mittag-Leffler Institute, Sweden (2001)
5. Lecture Notes in Mathematics;M.P. Fourman,1979