Formalising Meaning: a History of Programming Language Semantics - Troy Astarte (2019)
Available as full text from Newcastle University repository via http://homepages.cs.ncl.ac.uk/troy.astarte/res/pdf/TK_Astarte_Formalising_Meaning_2019.pdf