Algorithms in Real Algebraic Geometry - Basu, Saugata; Pollack, Richard; Roy, Marie-Françoise (Springer Berlin Heidelberg, 2006)