Shaf f e r t , C. Abstraction Mechanisms i n CLU (1974)

by B Liskov, A Snyder
Venue:CACM