Møller, A.; Olesen, M. Østerby; Schwartzbach, M. I. Static Validation of XSL Transformations. BRICS 2005, 12.