Møller, A. (2008) “Static Analysis for Event-Based XML Processing”, BRICS Report Series, 15(1). doi: 10.7146/brics.v15i1.22181.