\input zb-basic
\input zb-ioport
\iteman{io-port 70799753}
\itemau{Berghammer, Rudolf; Struth, Georg}
\itemti{On automated program construction and verification}
\itemso{MPC, 22-41 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-13321-3\_4}
\end