Лисков, Барбара <br/><br/>
Использование абстракций и спецификаций при разработке программ / 
Б. Лисков, Дж. Гатэг ; Пер. с англ. С.А. Жигалкина и др. 
 - Москва :  Мир,  1989. 
 - 424 с. :  ил. 
<br/><br/>
<br/><br/><label>ISBN: </label>5030004890 (русск.) 0-262-12112-3 (англ.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Вычислительные машины электронные - Программы - Спецификации
<br/><br/><label>Subjects--Index Terms: </label>Вычислительные машины электронные - Программирование