TY  - BOOK
AU  - Jackson Daniel
TI  - Software abstractions :  Logic, language, and analysis.     
U1  - D6,8(B),2, P6 
PY  - 2006///
CY  - New Delhi
PB  - Prentice-Hall      
KW  - Software-Computers
ER  -