Abstract data types and the development ofdata structures (1977)

by J GUTTAG
Venue:Comm. ACM