Suad Alagic, Mark Royer, David Briggs: Verification Theories for XML Schema. BNCOD 2006: 262-265