A. Møller, “Static Analysis for Event-Based XML Processing”, BRICS, bd. 13, nr. 16, okt. 2006.