1) ACM published this book in 2021; Theories of Programming: The Life and Works of Tony Hoare - https://dl.acm.org/doi/book/10.1145/3477355 https://dl.acm.org/d

1) ACM published this book in 2021; Theories of Programming: The Life and Works of Tony Hoare - https://dl.acm.org/doi/book/10.1145/3477355 https://dl.acm.org/doi/book/10.1145/3477355 See the "preface" for details of the book - https://dl.acm.org/doi/10.1145/3477355.3477356 https://dl.acm.org/doi/10.1145/3477355.3477356 Review of the above book - https://www.researchgate.net/publication/365933441_Review_on_Theories_of_Programming_The_Life_and_Works_of_Tony_Hoare_By_Cliff_B_Jones_and_Jayadev_Misra_editors_ACM_Books_Association_for_Computing_Machinery_2021_XX429_pp_ISBN_978-1-4503-8728-6_Hardcov https://www.researchgate.net/publication/365933441_Review_on... Somebody needs to contact ACM and have them make the above book freely available now; there can be no better epitaph. 2) Tony Hoare's lecture in honour of Edsger Dijkstra (2010); What can we learn from Edsger W. Dijkstra? - https://www.cs.utexas.edu/~EWD/DijkstraMemorialLectures/Tony%20Hoare.html https://www.cs.utexas.edu/~EWD/DijkstraMemorialLectures/Tony... Somebody needs to now write a similar one for Hoare. Truly one of the absolute greats in the history of Computer Science.