Finitely generated left commutative semigroups are residually finite. T. Nordahl — 1984 Semigroup forum