On valued function fields III. Reductions of algebraic curves. B. Green, M. Matignon, F. Pop (1992) Journal für die reine und angewandte Mathematik
Operazioni di Brouwer e realizzabilità formalizzata Carlo Cellucci (1971) Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
Order-types of models of arithmetic and a connection with arithmetic saturation. Bovykin, Andrey (2004) Lobachevskii Journal of Mathematics