\input zb-basic
\input zb-ioport
\iteman{io-port 70674500}
\itemau{Burke, Michael G.; Peshansky, Igor; Raghavachari, Mukund; Reichenbach, Christoph}
\itemti{Analysis of imperative XML programs}
\itemso{DBPL, 216-230 (2007).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-540-75987-4\_15}
\end