Karl J. Lieberherr Walter L. Hürsch Cun Xiao Object-Extending Class Transformations. 391-416 1994 6 Formal Asp. Comput. 4 db/journals/fac/fac6.html#LieberherrHX94