Desenvolvimento sistemático de programas corretos : a abordagem denotacional - Martins, Raul César Baptista; Moura, Arnaldo Vieira (Campinas : UNICAMP, 1988)
Libro editado para la VI Escuela de Computación, realizada en la Universidad Estatal de Campinas, Brasil, del 7 al 15 de julio de 1988.
Keywords: CONSTRUCCIÓN DE PROGRAMAS; LÓGICA MATEMÁTICA; MÉTODOS FORMALES