1. Decision problems of weak second order arithmetics and finite automata. Part I;Büchi;Notices Am. Math. Soc.,1958
2. The non-existence of certain algorithms of finite automata theory;Büchi;Notices Am. Math. Soc.,1958
3. Buck , D. Shoulders , K. 1958
4. The logic of automata;Burks;J. Assoc. Computing Machinery,1957