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