1. D. Abramovich, Uniformité des points rationnels des courbes algébriques sur les extensions quadratiques et cubiques (French) [Uniformity of rational points of algebraic curves over quadratic and cubic extensions] C. R. Acad. Sci. Paris Sér. I Math. 321 (1995), 755–758.
2. A. Bès, A survey of arithmetical definability. A tribute to Maurice Boffa, Bull. Belg. Math. Soc. Simon Stevin suppl. (2001), 1–54.
3. Y. Bilu and R. Tichy, The Diophantine equation f(x)=g(y), Acta Arith. 95 (2000), 261–288.
4. J. R. Büchi, Weak second-order arithmetic and finite automata, Math. Log. Q. 6 (1960), 66–92.
5. L. Caporaso and J. Harris, B. Mazur, Uniformity of rational points, J. Amer. Math. Soc. 10 (1997), 1–35.