Designing an object-oriented programming language with behavioural subtyping. (1990)

by Pierre America
Venue:Foundations of Object-Oriented Languages, REX School/Workshop,