Pebble, a kernel language for modules and abstract data types (1988)

by B Lampson, R Burstall
Venue:Information and Computation