Object-Extending Class Transformations (1994)

by Karl J Lieberherr, Walter L Hursch, Cun Xiao
Venue:Formal Aspects of Computing