Christopher Strachey
One of the founders of denotational semantics and a pioneer in programming language design.
Sign up for weekly Clojure tips, software design, and a Clojure coding challenge.
Toward a mathematical semantics for computer languages
PDFPaperA book is also available here