Christian Kirkegaard Anders Møller Michael I. Schwartzbach Static Analysis of XML Transformations in Java. 181-192 2004 30 IEEE Trans. Software Eng. 3 http://csdl.computer.org/comp/trans/ts/2004/03/e0181abs.htm db/journals/tse/tse30.html#KirkegaardMS04