Programming with Abstract Data Types.

Barbara Liskov Stephen N. Zilles Programming with Abstract Data Types. 50-59 1974 9 SIGPLAN Notices 4 db/journals/sigplan/sigplan9.html#LiskovZ74