Какие есть книги хорошие по теории ООП?
Требования:
Язык применения: не важен.
Важно: чтобы были внятно обсуждены концепции и их мотивация.
Чтобы обсуждалось: ковариантное и контравариантное наследование,
миксины, контракты, multiple-dispatch и тому подобные прелести.