Representation independence and data abstraction, in (1986)

by J C Mitchell
Venue:Thirteenth ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages