C. Kirkegaard, A. Møller, and M. I. Schwartzbach, “Static Analysis of XML Transformations in Java”, BRICS, vol. 10, no. 19, May 2003.