Использование абстракций и спецификаций при разработке программ: пер. с англ. - Лисков Б. Барбара (Москва, Мир, 1989)