TY  - BOOK
AU  - Jackson D
TI  - "Software Abstactions: Logic, Language, and Analysis"
T2  - -
SN  - 978-81-203-3170-9
PY  - 2007///
PB  - Prentice-Hall Inc.
KW  - "Computer Science, "Software
N1  - -
ER  -