James G. Hook: Understanding Russell- A First Attempt. Semantics of Data Types 1984: 69-86