TY  - BOOK
AU  - Jackson, Daniel  .
TI  - Software abstractions: logic, language and analysis / 
SN  - 978-81-203-3170-9
U1  - BV 
PY  - 2006///
CY  - New Delhi : 
PB  - PHI Learning Private Ltd. , 
KW  - Computer- Software abstractions
ER  -