Quelques constructions et algorithmes relatifs aux sous-monoïdes d'un monoïde libre. J.C. Spehner (1974) Semigroup forum