Verificação de tipos de XQuery : um protótipo em ASF+SDF - Venske, Sandra Mara Guse Scós (2004)
Orientador: Prof. Martin A. Musicante