Møller, A. and Schwartzbach, M. I. (2004) “The Design Space of Type Checkers for XML Transformation Languages”, BRICS Report Series, 11(34). doi: 10.7146/brics.v11i34.21859.