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