ACM is having books produced on Turing Laureates - the most recent (I think) is on Edsger Dijkstra: https://dl.acm.org/doi/book/10.1145/3544585 Coupled with that on Tony Hoare: https://dl.acm.org/doi/book/10.1145/3477355 a whole resource of material on “formal methods” is available cliff jones