TY  - BOOK
AU  - Danniel Jackson
TI  - Software Abstractions : Logic, Language, and Analysis
SN  - 0262101149
U1  - 005.1 
PY  - 2006///
CY  - London
PB  - The MIT Press
ER  -