Hook, J.G. "Understanding Russell: A First Attempt"

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

Languages mentioned RUSSELL {1970}