TY  - BOOK
AU  - JACKSON
TI  - SOFTWARE ABSTRACTIONS : LOGIC LANGUAGE AND ANALYSIS
SN  - 9.79E+12
U1  - 005.1 JAC 
PB  - PHI
ER  -