Z. Du and M. Eleftheriou and J. Moreira and C. Yap
Electronic Notes in Theoretical Computer Science, 66:1 (2002).
Proceedings, Fifth Workshop on Computability
and Complexity in Analysis, Malaga, Spain. July 12-13, 2002.
Fundamentals of Computer Science Study Conference,
July 25-27, 2001, Washington DC. White Paper. Conference sponsored by
Computer Science and Telecommunications Board (CSTB) and NSF.
J. of Logic and Algebraic Programming,
Special Issue on Practical Development of Exact Real Number
Computation (eds. N.Mueller, M.Escardo, P.Zimmermann),
64:1(2005)85--111.
Also, DIMACS Workshop on
Algorithmic and Quantitative Aspects of Real Algebraic Geometry in
Mathematics and Computer Science, (Mar 12-16, 2001).
Chee K. Yap and Thomas Dub\'e,
in ``Computing in Euclidean Geometry''
(eds. D.-Z. Du and F. K. Hwang)
World Scientific Press, Singapore.
2nd edition, pp.452--486, 1995.