Refinement, conformance and inheritance
scientific article; zbMATH DE number 4178790