1. G. Birkhoff, On the structure of abstract algebras.Proc. Cambridge Phil. Soc. 31 (1938), 433–454.
2. G. Birkhoff,Lattice Theory, Amer. Math. Soc. Colloq. Publ., Vol. 25, New York, 1948.
3. J. R. Büchi andC. C. Elgot, Decision problems of weak second-order arithmetics and finite automata. Abstract 553-112,Notices Amer. Math. Soc. 5 (1958), 834.
4. J. R. Büchi, “Weak second-order arithmetic and finite automata”. University of Michigan, Logic of Computers Group Technical Report, September 1959;Z. Math. Logik Grundlagen Math. 6 (1960), 66–92.
5. J. R. Büchi andJ. B. Wright, “Mathematical Theory of Automata”. Notes on material presented by J. R. Büchi and J. B. Wright, Communication Sciences 403, Fall 1960, The University of Michigan.