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

 - New Delhi  Prentice Hall  2006 
 - xvi, 350p.   
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9788120331709 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Abstractions design  Software<br/>Software abstractions<br/>Software development