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