Alguns aspectos da programaçao inteira : o metodo da separaçao e avaliaçao progressivas - Barrocas, José Manuel (Instituto Gulbenkian de Ciencia, 1977)