User-de ned types and procedural data structures as complementary approaches to data abstraction (1975)

by J C Reynolds
Venue:Directions in Algorithmic Languages