Kirkegaard, C.; Møller, A.; Schwartzbach, M. I. Static Analysis of XML Transformations in Java. BRICS 2003, 10.