Karel Culik II Peter Rajcáni Iterative Weighted Finite Transductions. Acta Inf. 32 7 1995 681-703 db/journals/acta/acta32.html#CulikR95 http://dx.doi.org/10.1007/BF01186646