Algebraic theory of automata and languages - Lto, Masami (2004)