Jackson, Daniel <br/><br/>
Software abstractions  Logic, language, and analysis / 

 - New Delhi :  PHI learning ,  2006. 
 - xvi+350/- 
<br/><br/><label>ISBN: </label>9788120331709