Møller, A.; Schwartzbach, M. I. The Design Space of Type Checkers for XML Transformation Languages. BRICS 2004, 11.