About XML Schema: Formal Description
XML Schema: Formal Description- Formalization of a formal, declarative system for describing and naming XML Schema information, specifying XML instance type information, and validating instances against schemas. (W3C Working Draft, 25 September 2001)
