Algorithms in Real Algebraic Geometry - Basu , Saugata …..etal (Springer, 2006)