A Kernel Language for Abstract Data Types and Modules.

Rod M. Burstall Butler W. Lampson A Kernel Language for Abstract Data Types and Modules. 1-50 1984 conf/sdt/1984 Semantics of Data Types db/conf/sdt/sdt1984.html#BurstallL84