TY  - BOOK
AU  - Jackson, Daniel 
TI  - Software abstractions : Logic language and analysis 
SN  - 9780262017152
CY  - London
KW  - Computer software development
ER  -