A. S. Christensen, A. Møller, and M. I. Schwartzbach, “Static Analysis for Dynamic XML”, BRICS, vol. 9, no. 24, May 2002.