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