A. Møller and M. I. Schwartzbach, “The Design Space of Type Checkers for XML Transformation Languages”, BRICS, vol. 11, no. 34, Dec. 2004.