Finite automata,their algebras and grammars - Dirk Siefkes (Springer-Verlag, 1989)