C. Kirkegaard og A. Møller, “Type Checking with XML Schema in XACT”, BRICS, bd. 12, nr. 31, sep. 2005.