Andreas Weber Transforming a Single-Valued Transducer Into a Mealy Machine. 46-59 1998 56 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss56.html#Weber98