TY  - BOOK
AU  - Liskov, Barbara
AU  - Guttag, John
TI  - ABSTRACTION AND SPECIFICATION IN PROGRAM DEVELOPMENT
U1  - 001.642 
PY  - 1986///
CY  - Cambridge
PB  - Mit Press
KW  - Electronic Digital Computers -- Programming
ER  -