David Simplot Alain Terlutte Closure under union and composition of iterated rational transductions. 183-212 2000 34 RAIRO Theor. Informatics Appl. 3 db/journals/ita/ita34.html#SimplotT00 https://doi.org/10.1051/ita:2000114