Finiteness and regularity in semigroups and formal languages - De Luca, A. (Monographs in theoretical computer science, 1999)