Finite automata, their algebras and grammars : towars a theory of formal expressions - Buechi, J. Richard (Berlin ; Heidelberg ; New York : Springer Verlag, 1989)