Programming with abstract data types (1974)

by B Liskov, S Zilles
Venue:SIGPLAN Not