\input zb-basic
\input zb-ioport
\iteman{io-port 70944977}
\itemau{Murawski, Andrzej S.; Tzevelekos, Nikos}
\itemti{Block structure vs. Scope extrusion: between innocence and omniscience}
\itemso{FOSSACS, 33-47 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-12032-9\_4}
\end