Jon Louis Bentley Abstract Data Types. 284-290 1984 30 Commun. ACM 4 db/journals/cacm/cacm30.html#Bentley84