Jackson, Daniel <br/><br/>
Software abstractions:  logic, language and analysis / 
Daniel Jackson 
 - Rev. ed. 
 - Cambridge, Mass. :  MIT Press,  c2012 
 - xviii, 354 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographical references (p. [337]-343) and index 
<br/><br/><label>ISBN: </label>9780262017152 (hbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development