Л 633
      Лисков,Б.
      Использование абстракций и спецификаций при разработке программ пер. с англ. Б. Лисков, Дж. Гатэг — М. Мир 1989 — 424 с.
5030004890