Algebraic theory of automata and languages - Itō, Masami, (World Scientific,)