A. Møller, M. Østerby Olesen, and M. I. Schwartzbach, “Static Validation of XSL Transformations”, BRICS, vol. 12, no. 32, Oct. 2005.