Audio of the mentioned 1972 ACM Turing Award lecture by Edsger W. Dijkstra : https://youtu.be/0dGXRK8FUVg?t=148 https://youtu.be/0dGXRK8FUVg?t=148 Transcript

Audio of the mentioned 1972 ACM Turing Award lecture by Edsger W. Dijkstra : https://youtu.be/0dGXRK8FUVg?t=148 https://youtu.be/0dGXRK8FUVg?t=148 Transcript : https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340.html https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340...