Programming with Abstract Data Types (1974)

by Barbara Liskov, Stephen Zilles
Venue:SIGPLAN Notices