1. Barwise, J.: Admissible sets and structure. Springer, Berlin (1975)
2. Lecture Notes in Computer Science;A. Blass,2000
3. Blass, A., Gurevich, Y., Shelah, S.: Choiceless polynomial time. APAL, 141–187 (1999)
4. Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer, Berlin (1996)
5. Bochnak, J., Coste, M., Roy, M.-F.: Real Algebraic Geometry. Springer, Berlin (1999)