Finite Automata, Their Algebras and Grammars by J. Richard Büchi