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

See the "preface" for details of the book - https://dl.acm.org/doi/10.1145/3477355.3477356

Review of the above book - https://www.researchgate.net/publication/365933441_Review_on...

PS: You can check with some lady named "Anna" on the interweb for book access :-)