Møller, Schwartzbach, 2004. The Design Space of Type Checkers for XML Transformation Languages 11.. https://doi.org/10.7146/brics.v11i34.21859