"Pebble, a Kernel Language for Modules and Abstract Data Types"

Butler W. Lampson, Rod M. Burstall (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics