''Inheritance is not Subtyping''
by William Cook, Walter Hill, and Peter Canning.
In POPL'90 Proceedings, January 1990

A very influential paper that doesn't seem to have been mentioned on c2 before. But see SubTypingAndSubClassing.

----
CategoryPaper