1. Über die Zerlegung definiter Funktionen in Quadrate
2. REAL CLOSED RINGS AND ORDERED VALUATION RING
3. , and , Géométrie Algébrique Réelle. Springer-Verlag, Berlin-Heidelberg-New York 1987.
4. and , Model Theory. North-Holland Publ. Comp., Amsterdam 1973.
5. Real closed rings II. model theory