1. Aspects of general topology in constructive set theory;Aczel, Peter;Ann. Pure Appl. Logic,2006
2. [2] Aczel, Peter; Rathjen, Michael Notes on Constructive Set Theory (2000) (Report No. 40) (Technical report)
3. [3] Aczel, Peter; Rathjen, Michael Constructive set theory (2010) https://www1.maths.leeds.ac.uk/~rathjen/book.pdf (Book draft)
4. Are there enough injective sets?;Aczel, Peter;Studia Logica,2012
5. Projective and injective distributive lattices;Balbes, Raymond;Pacific J. Math.,1967