I mentioned this in the other thread on Tony Hoare; Theories of Programming: The Life and Works of Tony Hoare published by ACM in 2021 - https://dl.acm.org/doi

I mentioned this in the other thread on Tony Hoare; Theories of Programming: The Life and Works of Tony Hoare published by ACM in 2021 - 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... PS: You can check with some lady named "Anna" on the interweb for book access :-)