TY  - BOOK
AU  - Jackson,Daniel
TI  - Software abstractions: logic, language and analysis 
SN  - 0262101149
U1  - 005.1 
PY  - 2006///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Programación (Computadores electrónicos)
KW  - Desarrollo
N1  - Incluye bibliografía (p. [333]-339)
ER  -