Manna, Z <br/><br/>
Lectures on the logic of computer programming 
Z. Manna 
 - Philadelphia  SIAM  1980 
 - iv  49 
 - CBMS-NSF regional conference series in applied mathematic 31 .
<br/><br/><label>ISBN: </label>0-89871-164-9 
<br/><br/><label>Dewey Class. No.: </label>18  / MANN