\input zb-basic
\input zb-ioport
\iteman{io-port 70935512}
\itemau{Stumptner, Markus; Wieland, Dominik; Wotawa, Franz}
\itemti{Comparing two models for software debugging}
\itemso{KI/\"OGAI, 351-365 (2001).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/3-540-45422-5\_25}
\end