TY  - BOOK
AU  - Jackson,Daniel
TI  - Software abstractions: logic, language and analysis 
SN  - 0262101149 (papel alcalino)
AV  - QA76.76D47 J29
PY  - 2006///
CY  - Cambridge, Massachusetts
PB  - The MIT Press
KW  - Software para computadora
KW  - Desarrollo
ER  -