doi.org/10.1145/3477355.3477359
CWI management

Apt, K.R, & Olderog, E.R. (2021). Assessing the success and impact of Hoare’s Logic. In Theories of Programming: The Life and Works of Tony Hoare (pp. 41–76). doi:10.1145/3477355.3477359