Algebraic theory of automata and languages - Ito, Masami 1941- (World Scientific, 2004)