Masami Ito Carlos Martín-Vide Victor Mitrana Group weighted finite transducers. 117-129 2001 38 Acta Inf. 2 http://link.springer.de/link/service/journals/00236/bibs/1038002/10380117.htm db/journals/acta/acta38.html#ItoMM01