Rod Burstall and Butler Lampson. A kernel language for abstract data types and modules. In Giles Kahn, David MacQueen, and Gordon Plotkin, editors, Proceedings, International Symposium on the Semantics of Data Types, volume 173 of Lecture Notes in Computer Science, pages 1--50. Springer, 1984.
author author author author author title title title title title title title title title title editor editor editor editor editor editor editor editor editor booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle volume volume volume journal journal journal journal journal pages pages publisher date