John V. Guttag Abstract Data Type and the Development of Data Structures. 396-404 1977 20 Commun. ACM 6 db/journals/cacm/cacm20.html#Guttag77