Kirkegaard, C., Møller, A. and Schwartzbach, M.I. 2003. Static Analysis of XML Transformations in Java. BRICS Report Series. 10, 19 (May 2003). DOI:https://doi.org/10.7146/brics.v10i19.21789.