James Hook Understanding Russell- A First Attempt. 69-86 1984 conf/sdt/1984 Semantics of Data Types db/conf/sdt/sdt1984.html#Hook84