in addition to others already reported: Object Oriented Software Construction by Meyer.Mostly because, like other great books, it proposes a problem and then presents a solution which exposes another issue and so on and so forth. Even if in the end one disagrees with all the proposed choices, the reading is great and the reasoning sensible.