Kirkegaard, C.; Møller, A. Type Checking With XML Schema in XACT. BRICS 2005, 12.