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