Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 - Gomes, Gracinda M. S.; Pin, Jean Eric.; Silva, Pedro V. (World Scientific, 2002)