1. L. Blum, F. Cucker, M. Shub, S. Smale: Complexity and Real Computation, Springer (1998).
2. V. Brattka, M. de Brecht, A. Pauly: Closed Choice and a Uniform Low Basis Theorem, to appear in Annals of Pure and Applied Logic. M. de Berg, M. van Kreveld, M. Overmars, O. Schwarzkopf: Computational Geometry, Algorithms and Applications, Springer (1997).
3. P. Boldi, S. Vigna: Equality is a Jump, pp.49-64 in Theoretical Computer Science vol.219 (1999).
4. S. Basu, R. Pollack, M.-F. Roy: Algorithms in Real Algebraic Geometry, Springer (2003).
5. V. Brattka: The Emperor's New Recursiveness: the Epigraph of the Exponential Function in Two Models of Computability, pp.63-72 in (Masami Ito, Teruo Imaoka Edts) Words, Languages & Combinatorics III, World Scientific Publishing (2000).