Real Algebraic Geometry by J. Bochnak, M.F. Roy Coste & Michel Coste