XML templates for constraints (XTC): um nível de abstracção para linguagens de especificação de restrições - Jacinto, Marta Henriques (2003)