\input zb-basic
\input zb-ioport
\iteman{io-port 70004922}
\itemau{Castagna, Giuseppe; Dezani-Ciancaglini, Mariangiola; Varacca, Daniele}
\itemti{Encoding cduce in the cpi-calculus}
\itemso{CONCUR, 310-326 (2006).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/11817949\_21}
\end