Partially ordered rings and semi-algebraic geometry - Brumfiel, Gregory W. (Cambridge Univ. Pr., 1979)