Formalising Meaning: a History of Programming Language Semantics

Troy Kaighin Astarte. Formalising Meaning: a History of Programming Language Semantics. PhD thesis, Newcastle University, Newcastle upon Tyne, 2019.