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