Unavoidable languages, cuts and innocent sets of words L. Rosaz — 1995 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Residual finiteness of a class of semigroups presented by a single relation. G. Lallement; L. Rosaz — 1994 Semigroup forum