Liskov and Zilles (1974)
Liskov B.H. and Zilles S.N. (1974)
Programming with abstract data types
ACM Sigplan Notices 9, pp. 50-59