(1)
Møller, A. Static Analysis for Event-Based XML Processing. BRICS 2008, 15.