Helmut Jürgensen Kai Salomaa Sheng Yu Transducers and the Decidability of Independence in Free Monoids. 107-117 1994 134 Theor. Comput. Sci. 1 db/journals/tcs/tcs134.html#JurgensenSY94