Extendibility vs. Substitutability in OO Languages | IEEE Conference Publication | IEEE Xplore