Ссылки

Бертран Мейер. Основы объектно-ориентированного программирования. Статические структуры: классы.
Бертран Мейер. Основы объектно-ориентированного программирования. Абстрактные типы данных (АТД).
А.Г. Пискунов. The RAISE Method Group: Алгебраическое проектирование класса , 2007.
Bertrand Meyer. Основы объектно-ориентированного программирования. Техника наследования.
Robert C.Martin. The Liskov Substitution Principle. C++ Report, March 1996.
Barbara H. Liskov, Jeannette M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems, Volume 16 Issue 6, Nov. 1994.