A. Møller, “Static Analysis for Event-Based XML Processing”, BRICS, bd. 15, nr. 1, apr. 2008.