1. Partially Ordered Rings and Semi-Algebraic Geometry;Brumfiel,1979
2. Delzell, C. — Case distinctions are necessary for representing polynomials as sums of squares, Herbrand memorial volume, North-Holland, to appear.
3. Applications of Model Theory to Representations of Finite-Dimensional Algebras;Herrmann;Math. Z,1981
4. Algebra;Lang,1965
5. Real algebraic geometry and the 17th Hilbert problem;Bochnak;Math. Ann,1980