1. J. R. Buchi, Decision methods in the theory of ordinals, Bull. Amer. Math. Soc. 71 (1965), 767–770.
2. J. R. Buchi, C. E. Elgot and J. B. Wright, The nonexistence of certain algorithms of finite automata theory, Notices Amer. Math. Soc. 5 (1958), 98.
3. J. R. Buchi, Weak second-order arithmetic and finite automata, Z. Math. Logik Grundlagen Math. 6 (1960), 66–92.
4. J. R. Buchi, On a decision method in restricted second order arithmetic, Proc. Internat. Congr. Logic, Method, and Philos. Sci. 1960, Stanford Univ. Press, Stanford, Calif., 1962.
5. A. Church, Application of recursive arithmetic to the problem of circuit synthesis, Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell Univ. 1957, 2nd ed; Princeton, N. J., 1960, 3–50.