CAR Hoare <br/><br/>
Mathematical Logic and programming languages 
CAR Hoare 
 - New Jersey  Prentice  1985 
<br/><br/> Gifted by Prof. V Rajaraman 
<br/><br/><label>ISBN: </label>0135614651