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