1. Introducción al Álgebra Conmutativa;Atiyah,1975
2. Real closed rings and ordered valuation rings;Becker;Zeitsch. f. math. Logik und Grundlagen d. Math, Bd.,1983
3. Groupes et Anneaux Réticulés;Bigard,1977
4. Elimination des quantificateurs dans les faisceaux;Boffa;C. R. Acad. Sci. Paris, Ser. A,1980
5. Sheaf Constructions and their elementary properties;Burris;Trans. Am. Math. Soc.,1979