Kirkegaard, C., A. Møller, and M. I. Schwartzbach. “Static Analysis of XML Transformations in Java”. BRICS Report Series, vol. 10, no. 19, May 2003, doi:10.7146/brics.v10i19.21789.