TY  - BOOK
AU  - Jackson D.
AU  - Jackson D.
TI  - Software Abstractions Logic Language And Analysis
U1  - 005.11 
PB  - Prentice Hall Of India
ER  -