Finite automata, their algebras and grammars : towards a theory of formal expressions - Buchi, Richard R. 1924- (Springer, 1989)