Kirkegaard, Christian, Anders Møller, and Michael I. Schwartzbach. 2003. “Static Analysis of XML Transformations in Java”. BRICS Report Series 10 (19). https://doi.org/10.7146/brics.v10i19.21789.