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