TY  - GEN
AU  - Jackson, Daniel
TI  - Software abstrations: logic, language and analysis 
SN  - 9788120331709
U1  - 005.1 
PY  - 2007///
CY  - New Delhi
PB  - Prentice-Hall of India
N1  - Includes index
ER  -