Joyal A. and G. E. Reyes (1985). Separably real closed local rings. Revista Colombiana de
Matematicas XIX 1, 2 (Proc. V Latin-American Symp. on Math. Logic, Bogotá 1981),
107-115. NB Also published in J. Pure and Applied Algebra 43 (3), 1986, 271-279.
(TT&CL)