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., Rathjen, M.: Notes on constructive set theory. Technical Report 40, Institut Mittag-Leffler, The Royal Swedish Academy of Sciences (2001). http://www.ml.kva.se/preprints/archive2000-2001.php
3. Beeson M.: Continuity in intuitionistic set theories. In: Boffa, M., Dalen, D., McAloon, K. (eds.) Logic Colloquium ’78, North-Holland, Amsterdam (1979)
4. Akama, Y., Berardi, S., Hayashi, S., Kohlenbach, U.: An arithmetical hierarchy of the law of excluded middle and related principles. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS’04), pp. 192–201. IEEE Press (2004)
5. Beeson M.: Foundations of Constructive Mathematics. Springer, Berlin (1980)