Reynolds, John C.

1935

• Theories of programming languages
• Algebraic methods in semantics
• The craft of programming