Lampson, B. and Burstall, R. "Pebble, a kernel language for modules and abstract data types" in "Semantics of Data Types" Information and Computation 76(2-3) February/March 1988 pp278-346

Languages mentioned

• Pebble {1984}