「 Inheritance is not subtyping 」は, Cookらによる1989年の論文で, そのままですが, オブジェクト指向における継承≠派生型(is-aの関係)ということのようです.  派生型(Subtyping)については, is-a - Wikiped...