Desenvolvimento sistemático de programas corretos : a abordagem denotacional
por Raul César Baptista Martins, Arnaldo Vieira Moura.
Campinas : [UNICAMP], 1988.
xv, 385 págs. : ilustraciones ; 23 cm.
"VI Escola de Computação".
Bibliografía: p. 381-385.