Mireille Clerbout Michel Latteux Partial Commutations and Faithful Rational Transductions. 241-254 1984 34 Theor. Comput. Sci. db/journals/tcs/tcs34.html#ClerboutL84