&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Лисков Б. Использвание абстракций и спецификаций при разработке программ. / Лисков Б., Гатэг Дж. &mdash; Москва : МИР, 1989. &mdash; 424 с. &mdash; ISBN 5-03-000489-0.<br><br><br>Лисков, Б.<br>Гатэг, Дж<br><br>УДК: 518.74 <br><br>[ SYS NUM: 5914 ]