Representation independence and data abstraction (1986)

by John C Mitchell
Venue:In POPL