\input zb-basic
\input zb-ioport
\iteman{io-port 70927442}
\itemau{Dillinger, Peter C.; Manolios, Panagiotis; Vroon, Daron; Moore, J. Strother}
\itemti{Acl2s: "the ACL2 sedan"}
\itemso{ICSE Companion, 59-60 (2007).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.14}
\end