Martins, R. C. B. <br/><br/>
Desenvolvimento sistemático de programas corretos:  a abordagem denotacional/ 
R. C. B. Martins. 
 - [1st ed.] 
 - Campinas:  Unicamp,  1988. 
 - 385 p. 
 - Escola de computação;  6. .
<br/><br/><label>Dewey Class. No.: </label>005.133   / M386d