TY  - BOOK
AU  - Jackson, Daniel
TI  - Software abstractions:  Logic, language and analysis
SN  - 262101149
U1  - 005.1 JAC/S 
PY  - 2006///
CY  - Cambridge
PB  -  MIT Press
KW  - LOGIC
KW  - SOFTWARE ABSTRACTION
KW  - SOFTWARE ENGINEERING
ER  -