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