Suad Alagic Mark Royer David Briggs Verification Theories for XML Schema. 262-265 2006 BNCOD http://dx.doi.org/10.1007/11788911_26 db/conf/bncod/bncod2006.html#AlagicRB06