R.C. BACKHOUSE <br/><br/>
Programming  Construction and Verification 

 - LONDON  prentice -hall of India  pvt Ltd  1986 
 - XI+281 
<br/><br/><label>ISBN: </label>0-13-729146-9