Marie-Pierre Béal Sylvain Lombardy Jacques Sakarovitch Conjugacy and Equivalence of Weighted Automata and Functional Transducers. 58-69 2006 conf/csr/2006 CSR http://dx.doi.org/10.1007/11753728_9 db/conf/csr/csr2006.html#BealLS06