Finiteness and Regularity in Semigroups and Formal Languages door Aldo De Luca & Stefano Varricchio