RONALD C BACK HOUSE <br/><br/>
Programming Construction and Verification 

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