Лисков, Барбара <br/><br/>
Использование абстракций и спецификаций при разработке программ / 
Б. Лисков, Дж. Гатэг ; Перевод с англ. С. А. Жигалкина и др. 
 - Москва :  Мир,  1989. 
 - 424 с. 
<br/><br/>  Перевод изд.: Abstraction and specification in program development / Barbara Liskov, John Guttag (New Уork etc.). 
<br/><br/>Предм. указ. : с. 418-420. 
<br/><br/><label>ISBN: </label>5030004890 
<br/><br/><label>Subjects--Index Terms: </label>კომპიუტერული ტექნიკა გამოყენების აბსტრაქციები  ელექტრონული გამომთვლელი მანქანა ელექტრონული პროგრამის სპეციფიკაციები პროგრამირება  
<br/><br/><label>Universal Decimal Class. No.: </label>681.3.06