1. J.R. Büchi, Weak second order arithmetic and finite automata, Z. Math. Logik und Grundl. Math. 6 (1960), 66–92.
2. _____, On a decision method in restricted second order arithmetic, Proc. 1960 Int. Cong. for Logic, Method and Philos. of Sci., Stanford Univ. Press, Stanford, Calif., 1962.
3. _____, Decision methods in the theory of ordinals, Bull. Am. Math. Soc. 71 (1965), 767–770.
4. _____, Transfinite automata recursions and weak second order theory of ordinals, Proc. 1964 Int. Cong. for Logic, Method and Philos. of Sci., North-Holland Publishing Co., Amsterdam, 1965.
5. Büchi and Landweber, Solving sequential conditions by finite-state strategies, Trans. Am. Math. Soc. 138 (1969), 295–311.