Semigroups, Algorithms, Automata And Languages - Gracinda M S Gomes; Jean-eric Pin; Pedro V Silva (2002)