Algorithms In Real Algebraic Geometry by Marie-Francoise Roy, Richard Pollack & Saugata Basu