Møller, A. “Static Analysis for Event-Based XML Processing”. BRICS Report Series, vol. 13, no. 16, Oct. 2006, doi:10.7146/brics.v13i16.21921.