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

by P America
Venue:Proc. Conf. Foundations of Object-Oriented Lang