16222 Saugata Basu/Richard Pollack/Marie-Francoise Roy: Algorithms in
real algebraic geometry. Springer 2003, 600p. Eur 60.