1. Languages, automata, and logic;Thomas,1997
2. Syntactic semigroups;Pin,1997
3. Logic meets algebra: the case of regular languages;Tesson;Log. Methods Comput. Sci.,2007
4. On a decision method in restricted second order arithmetic;Büchi,1960
5. Decidability of second-order theories and automata on infinite trees;Rabin;Trans. Am. Math. Soc.,1969