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