J. Richard Büchi

Finite Automata, Their Algebras and Grammars