1. Finite Automata, their Algebras and Grammars. Springer-Verlag, Berlin-Heidelberg-New York 1988.
2. Lecture Notes;Büchi,1973
3. Lecture Notes;Büchi,1973
4. Automata, Languages, and Machines, Vol. A. Academic Press, New York 1974.
5. and , Trees, automata and games. Proceedings of the 14th Annual ACM Symposium on Theory of Computing, 1982, pp. 60–65.