TY  - BOOK
AU  - Liskov, Barbara
AU  - Guttag, John
TI  - Abstraction specification program development
SN  - 0070379963
U1  - 005.12 21st ed.
PY  - 1987///
CY  - New York
PB  - McGraw-Hill Book Company
KW  - Abstraction
KW  - Electric engineering
KW  - Electronic digital computers - Programming
KW  - Specifications
N1  - The MIT Press; Index: pp 449-69
ER  -