Edsger Wybe Dijkstra : his life, work, and legacy - Apt, Krzysztof R., 1949-; Hoare, C. A. R. (Charles Antony Richard), 1934-; Dijkstra, Edsger W. (Association for Computing Machinery, 2022)