A Delegation-based Object Calculus with Subtyping (1995)

by Kathleen Fisher, John C. Mitchell
Venue:In Proc. of FCT