1. Generalized geometric theories and set-generated classes;Aczel;Math. Struct. Comput. Sci.,2015
2. P. Aczel, M. Rathjen, Notes on constructive set theory, Technical Report, Institut Mittag–Leffler, 2000/01, Report No. 40.
3. P. Aczel, M. Rathjen, Constructive set theory, Book draft, 2010. URL: https://www1.maths.leeds.ac.uk/~rathjen/book.pdf.
4. Über die Zerlegung definiter Funktionen in Quadrate;Artin;Abh. Math. Semin. Univ. Hambg.,1927
5. Algebraische Konstruktion reeller Körper;Artin;Abh. Math. Semin. Univ. Hambg.,1927