\input zb-basic
\input zb-ioport
\iteman{io-port 70802451}
\itemau{Bojanczyk, Mikolaj; Lasota, Slawomir}
\itemti{An extension of data automata that captures xpath}
\itemso{LICS, 243-252 (2010).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/LICS.2010.33}
\end