C. Kirkegaard and A. Møller, “Type Checking with XML Schema in XACT”, BRICS, vol. 12, no. 31, Sep. 2005.