KIRKEGAARD, C.; M├śLLER, A.; SCHWARTZBACH, M. Static Analysis of XML Transformations in Java. BRICS Report Series, v. 10, n. 19, 6 May 2003.