1935
3 works on record
Theories of programming languages
1998
The craft of programming
1981
Algebraic methods in semantics