Algorithms in real algebraic geometry - Basu, Saugata, et al (2006)