From mathematical logic to programming-language semantics: a discussion with Tony Hoare

E. G. Daylight, “From mathematical logic to programming-language semantics: a discussion with Tony Hoare”, Journal of Logic and Computation, vol. 25, pp. 1091-1110, 2015. http://dx.doi.org/10.1093/logcom/exs071