Algebraic theory of automata and languages - Itεo, Masami, 1941- (World Scientific, 2004)