Kirkegaard, C., and A. Møller. “Type Checking With XML Schema in XACT”. BRICS Report Series, vol. 12, no. 31, Sept. 2005, doi:10.7146/brics.v12i31.21898.