Programação em lógica anotada: teoria e aplicações
Carbogim, Daniela Vasconcelos
Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 1996-11-22
Acesso online. A biblioteca também possui exemplares impressos.