\input zb-basic
\input zb-ioport
\iteman{io-port 70799734}
\itemau{Martin, Clare E.; Curtis, Sharon A.; Rewitzky, Ingrid}
\itemti{Modelling nondeterminism}
\itemso{MPC, 228-251 (2004).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-540-27764-4\_13}
\end