The book on Tony Hoare at: https://dl.acm.org/doi/book/10.1145/3477355 has significant historical content from people who have worked with Tony Hoare. The whole series on people who have received an ACM Turing Award is worth looking at for historical context cliff jones