TY  - BOOK
AU  - Лисков, Б.
AU  - Гатэг, Дж
TI  - Лисков Б. Использвание абстракций и спецификаций при разработке программ
SN  - 5-03-000489-0
PY  - 1989///
CY  - Москва
PB  - МИР
ER  -