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