Real Algebraic Geometry and the 17th Hilbert Problem. Jacek Bochnak; Gustave Efroymson — 1980 Mathematische Annalen