"Clarks, Edmund" <br/><br/>
Logics of Programs 

 - \\197000ENGGPSX 
 - McGraw Hill  1970  Sydney 
<br/><br/> includes index and biblioraphy