Volker Diekert Rewriting, Möbius Functions and Semi-Commutations. 1-15 1993 conf/fct/1993 FCT db/conf/fct/fct93.html#Diekert93