Liskov and Zilles (1974)

Liskov B.H. and Zilles S.N. (1974)

Programming with abstract data types

ACM Sigplan Notices 9, pp. 50-59