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

by Pierre America
Venue:Foundations of Object-Oriented Languages, volume 489 of Lecture Notes in Computer Science