Møller, Anders, and Michael I. Schwartzbach. “The Design Space of Type Checkers for XML Transformation Languages”. BRICS Report Series 11, no. 34 (December 11, 2004). Accessed May 7, 2024. https://tidsskrift.dk/brics/article/view/21859.