1. Garrett Birkhoff, "Lattice Theory". AMS Coll. Publ. 25, Providence 1963
2. J. Richard Büchi, "Weak second order arithmetic and finite automata". Z. Math. Logik Grundl. Math. 6 (1960), 66–92
3. J. Richard Büchi, "On a decision method in restricted second order arithmetic". In "Logic Meth. Phil. Sc., Proc. 1960 Stanford Intern. Congr.", Stanford 1962, 1–11
4. J Richard Büchi, "Transfinite automata recursions and weak second order theory of ordinals". In "Logic Meth. Phil. Sc., Proc. 1964 Jerusalem Intern. Congr.", Amsterdam 1965, 3–23
5. J. Richard Büchi, "Decision methods in the theory of ordinals". Bull. AMS 71 (1965), 767–770