TY  - BOOK
AU  - Jackson,Daniel
TI  - Software abstractions: logic, language and analysis 
SN  - 9780262017152 (hbk.)
PY  - 2012///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Computer software
KW  - Development
N1  - Includes bibliographical references (p. [337]-343) and index
ER  -