A. Møller, “Static Analysis for Event-Based XML Processing”, BRICS, vol. 15, no. 1, Apr. 2008.