Henning Bordihn Markus Holzer Martin Kutrib Economy of Description for Basic Constructions on Rational Transductions. 175-188 2004 9 Journal of Automata, Languages and Combinatorics 2/3 db/journals/jalc/jalc9.html#BordihnHK04