Gilles Benattar Béatrice Bérard Didier Lime John Mullins Olivier H. Roux Mathieu Sassolas Channel Synthesis for Finite Transducers. 1241-1260 2012 23 Int. J. Found. Comput. Sci. 6 https://doi.org/10.1142/S0129054112400503 db/journals/ijfcs/ijfcs23.html#BenattarBLMRS12