Kahn, G. D. B. MacQueen & G. Plotkin, Eds. "Semantics of Data Types", LNCS 173, Springer 1984

• Burstall, R.M. & Lampson, B. (1984) Burstall, R.M. & Lampson, B. "A Kernel Language for Abstract Data Types and Modules"
• Hook, J.G. (1984) Hook, J.G. "Understanding Russell: A First Attempt"