J. A. Anderson: Semiretracts of a Free Monoid. Theor. Comput. Sci. 134(1): 3-11 (1994)