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

Пер. с англ. — М.: Мир, 1989. — 424 с.
В книге американских специалистов излагаются основные способы создания спецификаций программ, повышающих эффективность разработки информационно-программного обеспечения. Значительное внимание уделено языку программирования CLU, позволяющему поддерживать различные типы абстракций» реализованных на языках ПЛ/1, Паскаль и Ада.