\input zb-basic
\input zb-ioport
\iteman{io-port 05426575}
\itemau{Suciu, Dan; Vianu, Victor}
\itemti{Introduction.}
\itemso{J. ACM 53, No. 2, 207 (2006).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1131342.1131343}
\end