\input zb-basic
\input zb-ioport
\iteman{io-port 70361857}
\itemau{Blieberger, Johann; Burgstaller, Bernd; Scholz, Bernhard}
\itemti{Symbolic data flow analysis for detecting deadlocks in ada tasking programs}
\itemso{Ada-Europe, 225-237 (2000).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/10722060\_21}
\end