1. Büchi, J.R.: Weak second-order arithmetic and finite automata. Zeit. Math. Logik und Grundl. Math. 6, 66–92 (1960)
2. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: Logic, Methodology and Philosophy of Science, pp. 1–11. Stanford University Press (1962)
3. Colcombet, T.: Personal communication, September 2012
4. Elgot, C.: Decision problems of finite-automata design and related arithmetics. Trans. Am. Math. Soc. 98, 21–51 (1961)
5. Gurevich, Y.: Monadic second order theories. In: Barwise, J., Feferman, S. (eds.) Model Theoretic Logics, pp. 479–506. Springer, Heidelberg (1986)