A. Møller, M. Østerby Olesen, og M. I. Schwartzbach, “Static Validation of XSL Transformations”, BRICS, bd. 12, nr. 32, okt. 2005.