A kernel language for abstract data types and modules (1984)

by B Lampson R M Burstall
Venue:in Semantics of Data Types, Lecture Notes in Computer Science 173