Class refinement as semantics of correct object substitutability
scientific article; zbMATH DE number 1530333