1. 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)
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: Barcan Marcus, R., Dorn, G.J.W., Weingartner, P. (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. Institut Mittag-Leffler Preprint No. 40 (2000/01)
5. Beeson, M.: Foundations of Constructive Mathematics. Springer, Berlin and Heidelberg (1985)