Büchi, J.R. , On a decision method in second order arithmetic, Logic, methodology and philosophy of science (Proceedings of the 1960 international congress), Stanford University Press, Stanford, California, pp. 1–11.
Büchi, J.R. and Landweber, L.H. , Solving sequential conditions by finite-state strategies, Transactions of the American Mathematical Society, vol. 138, pp. 295–311.
Gurevich, Y. , Modest theory of short chains. I, this Journal, vol. 44, pp. 481–490.
Gurevich, Y. and Harrington, L.A. , Automata, trees, and games, Proceedings of the Fourteenth ACM Symposium on the Theory of Computing (San Francisco, 05, 1982) (to appear).
Läuchli, H. , A decision procedure for the weak second order theory of linear order, Contributions to mathematical logic(Proceedings of the logic colloquium, Hannover, 1966), North-Holland, Amsterdam, pp. 189–197.
Rabin, M.O. , Decidability of second-order theories and automata on infinite trees, Transactions of the American Mathematical Society, vol. 141, pp. 1–35.
Rabin, M.O. , Automata on infinite objects and Church's problem, Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics, no. 13, American Mathematical Society, Providence, R.I.
Shelah, S. , The monadic theory of order, Annals of Mathematics, ser. 2, vol. 102, pp. 379–419.
Shoenfield, J.R. , Unramified forcing. Axiomatic set theory. Proceedings of Symposia in Pure Mathematics, vol. 13, part 1, American Mathematical Society, Providence, R.I., pp. 357–381.