1. Aczel, P.: Zorn’s Lemma in CZF (2002). Unpublished note
2. Aczel, P., Rathjen, M.: Notes on constructive set theory. Technical report, Institut Mittag-Leffler (2000). Report No. 40
3. Aczel, P., Rathjen, M.: Constructive set theory (2010). https://www1.maths.leeds.ac.uk/~rathjen/book.pdf, book draft
4. Bell, J.L.: Zorn’s lemma and complete Boolean algebras in intuitionistic type theories. J. Symb. Log. 62(4), 1265–1279 (1997)
5. Bell, J.L.: Some new intuitionistic equivalents of Zorn’s lemma. Arch. Math. Logic 42(8), 811–814 (2003)