A. Møller, “Static Analysis for Event-Based XML Processing”, BRICS, vol. 13, no. 16, Oct. 2006.