TY  - BOOK
AU  - JACKSON
TI  - SOFTWARE ABSTRACTIONS : LOGIC LANGUAGE AND ANALYSIS
SN  - 9788120331709
U1  - 005.1 JAC 
PY  - 2009///
PB  - PHI
ER  -