\input zb-basic
\input zb-ioport
\iteman{io-port 70573144}
\itemau{Hungar, Hardi}
\itemti{Positionsstatement: zertifizierungsargumentationen mit mathematischer pr\"azision}
\itemso{Software Engineering (Workshops), 339-340 (2008).}
\itemcc{}
\itemut{}
\itemli{}
\end