1. and , Notes on constructive set theory. Institut Mittag-Lef. er Report 40, 2000/2001. Available on http://www.ml.kva.se/preprints/meta/AczelMon_Sep_24_09_16_56.rdf.html.
2. Toposes and Local Set Theories: An Introduction (Clarendon Press, 1988). To be republished by Dover in 2008.
3. Axiom of choice and complementation
4. On the axiom of extensionality – Part I
5. On the axiom of extensionality, Part II