1. J.H. Bennett, On spectra, Doctoral Dissertation, Princeton University, 1962.
2. Weak second-order arithmetic and finite automata;Büchi;Zeit. Math. Logik und Grund. Math.,1960
3. A. Durand, C. Lautemann, M. More, Counting results in weak formalisms, Rapport SDAD, Université de Caen, 1998.
4. Finite Model Theory;Ebbinghaus,1999
5. Decision problems of finite automata and related arithmetics;Elgot;Trans. AMS,1961