Bélair L. and G. E. Reyes (1985). Calcul Infinitésimal en Géométrie Différentielle
Synthétique. In R. Chuaqui (ed.). Analysis, Geometry and Probability (Proc. First Symp. of
Chilean mathematicians, Valparaiso 1981). New York: Marcel Dekker, 195-220. (SDG)
« Separably real closed local rings • Rings of smooth functions and their localizations »