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