Class Refinement as Semantics of Correct Object Substitutability Ralph-Johan BackAnna MikhajlovaJoakim von Wright Original Paper Pages: 18 - 40