Finite automata, their algebras and grammars: Towards a theory of formal expressions - Siefkes, Dirk Ed (Springer-Verlag, 1989)