Hoare, C.A.R. ; Shepherdson, J.C. ed. <br/><br/>
Mathematical logic and programming languages 

 - Prentice-hall international, New Jersey  1985 
 - 184p 
<br/><br/><label>ISBN: </label>0-13-561465-1 
<br/><br/><label>Dewey Class. No.: </label>001.6424 Hoa/she