Объектно-ориентированное конструирование программных систем (+ CD-ROM)

Возможно по названию вы будете ожидать от книги, что она прольет свет на концепции ООП, но скорее всего не в том ключе в котором вы ожидаете. Книга рассматривает как реализованы контракты, наследование, полиморфизм с достаточно фундаментальных точек зрения. Скорее эту книгу стоило бы назвать "Как создавать ООП языки и какими свойствами они должны обладать". В первой части книги, как раз рассмотрены все эти особенности. Во второй части даны некоторые советы в построении систем, какие-то наброски паттернов, общих рекомендаций и параллельное программирование в концептах ООП. Какой-то вывод сделать сложно, во всех главах содержатся интересные концепции, но учитывая, что они реализованы в языке Eifell, вряд ли вам удастся потрогать ковариантный полиморфизм с контрактами вживую. С другой стороны, полезно знать что такие концепции существуют, возможно это сможет ответить на некоторые ваши вопросы. Книга ссылается на большое количество исследовательских статей и скорее всего рассчитано на аспирантов по computer sccience, но если вам интересны эти вопросы, то крайне рекомендую ознакомится с данной книгой.