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