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