Programas e Refinamento Programming from Specifications Carroll Morgan Prentice-Hall, 1994 [Capítulo 1] Equipe: Klaus Cavalcante Tarcísio Quirino Raquel.
![Programas e Refinamento Programming from Specifications Carroll Morgan Prentice-Hall, 1994 [Capítulo 1] Equipe: Klaus Cavalcante Tarcísio Quirino Raquel.](https://static.fdocumentos.tips/doc/330x215/5706384c1a28abb8238f6130/programas-e-refinamento-programming-from-specifications-carroll-morgan-prentice-hall.jpg)
