1. Aczel, P.: An introduction to inductive definitions. In: Barwise, J. (ed.) Handbook of Mathematical Logic, Stud. Logic Found. Math., vol. 90, pp. 739–782. North-Holland (1977)
2. Aczel, P., Rathjen, M.: Notes on constructive set theory. Tech. rep., Institut Mittag-Leffler (2000), report No. 40
3. Aczel, P., Rathjen, M.: Constructive Set Theory (2010), book draft
4. Bauer, A.: Realizability as the connection between computable and constructive mathematics (2005). http://math.andrej.com/asset/data/c2c.pdf
5. Bauer, A.: An injection from the Baire space to natural numbers. Math. Struct. Comput. Sci. 25(7), 1484–1489 (2015)