Title: The specification and application to programming of abstract data types
First published: 1975
Subjects: Computer programming, Ability testing, Programming languages (Electronic computers)