Algorithms in Real Algebraic Geometry - Basu, Saugata (Springer-Verlag Berlin Heidelberg, 2006)