\input zb-basic
\input zb-ioport
\iteman{io-port 70166524}
\itemau{Janssen, Geert}
\itemti{A consumer report on BDD packages}
\itemso{SBCCI, 217- (2003).}
\itemcc{}
\itemut{}
\itemli{doi:10.1109/SBCCI.2003.1232832}
\end