Real algebraic geometry. - Bochnak, J. (Springer, 1998)