et al., "Abstraction Mechanisms in CLU (1977)

by B Liskov
Venue:Communications of the ACM