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