\input zb-basic
\input zb-ioport
\iteman{io-port 70827497}
\itemau{Benattar, Gilles; B\'erard, B\'eatrice; Lime, Didier; Mullins, John; Roux, Olivier H.; Sassolas, Mathieu}
\itemti{Channel synthesis for finite transducers}
\itemso{AFL, 79-92 (2011).}
\itemcc{}
\itemut{}
\itemli{}
\end