Elspeth Cusack Refinement, Conformance and Inheritance. 129-141 1991 3 Formal Asp. Comput. 2 db/journals/fac/fac3.html#Cusack91