W. E. Perry wrote:
>
> Paul Prescod dealt with this accurately and conclusively in his 20 Apr post:
>
> ...
> http://progwww.vub.ac.be/prog/persons/kimmens/research/Introduction-to-OO.html
>
> The paper itself is called: "Inheritance is not subtyping" and is quite
> famous, but unfortunately predates the Web.
>
>