Edsger Wybe Dijkstra : His Life, Work, and Legacy - Krzysztof R. Apt; Tony Hoare (2022)