1. Aczel, P. (1982). The type theoretic interpretation of constructive set theory: Choice principles. In A. S. Troelstra & D. van Dalen (Eds.), The L.E.J. Brouwer centenary symposium (pp. 1–40). Amsterdam: North Holland.
2. Aczel, P. (1986). The type theoretic interpretation of constructive set theory: Inductive definitions. In R. B. Marcus et al. (Eds.), Logic, methodology and philosophy of science VII (pp. 17–49). Amsterdam: North Holland.
3. Aczel, P., & Rathjen, M. (2001). Notes on constructive set theory (Technical report 40), Institut Mittag-Leffler, The Royal Swedish Academy of Sciences. http://www.mittag-leffler.se/preprints/0001/, Preprint No. 40.
4. Aczel, P., & Rathjen, M. (2010). Notes on constructive set theory, Preprint, p. 243. http://www1.maths.leeds.ac.uk/~rathjen/book.pdf.
5. Achourioti, T., & van Lambalgen, M. (2017). Kant’s logic revisited. IfCoLog Journal of Logics and Their Applications, 4, 845–865.