1. Lect Notes Comput Sci;A. Blass,1987
2. Andreas Blass, Yuri Gurevich, and Saharon Shelah, “Choiceless polynomial time”, Ann. Pure Appl. Logic, 100 (1999) 141–187.
3. Andreas Blass, Yuri Gurevich, and Jan Van den Bussche, “Abstract state machines and computationally complete query languages”, this volume.
4. Nicolas Bourbaki, Elements of Mathematics. Theory of Sets, Hermann (1968).
5. Abraham Fraenkel, Der Begriff “definit” und die Unabhängigkeit des Aus-wahlaxioms, Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-Mathematische Klasse (1922) 253–257.