"Hoare, C.A.R.ed." <br/><br/>
Mathematical Logic and P 

 - New Jersey  P.H.I.  1985 
 - 184 
<br/><br/><label>ISBN: </label>135614651 
<br/><br/><label>Dewey Class. No.: </label>1  / 642 MA