XML and semantic validation - Jacinto, Marta Henriques (2000)