Remarks on the elementary theories of formal and convergent power series Joseph Becker, Leonard Lipshitz (1980) Fundamenta Mathematicae
Rings of Real-Valued Continuous Functions. II. Mikhail Y. Antonovskij (1981) Mathematische Zeitschrift