Class re nement assemantics of correct object substitutability. http://www.abo. /~amikhajl/Papers/ClassRefSem.ps (0)

by R Back, A Mikhajlova, J von Wright