" Finiteness and regularity in semigroups and formal languages " Aldo de Luca [and] Stefano Varricchio.