\input zb-basic
\input zb-ioport
\iteman{io-port 70211501}
\itemau{Johansson, Magnus; Parrow, Joachim; Victor, Bj\"orn; Bengtson, Jesper}
\itemti{Extended pi-calculi}
\itemso{ICALP (2), 87-98 (2008).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-540-70583-3\_8}
\end