Jerome Simeon и Philip Wadler опубликовали статью "The Essence of XML", в которой они описывают формализацию языка схем. Некоторые из представленных идей были использованы при составлении официальных спецификаций XQuery и XPath.
Подробнее: http://www.research.avayalabs.com/user/wadler/topics/xml.html#xml-essence