José Félix Costa Amílcar Sernadas Cristina Sernadas Object Inheritance Beyond Subtyping. 5-26 1994 31 Acta Inf. 1 db/journals/acta/acta31.html#CostaSS94