A. Møller og M. I. Schwartzbach, “The Design Space of Type Checkers for XML Transformation Languages”, BRICS, bd. 11, nr. 34, dec. 2004.