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

Transcript : https://www.cs.utexas.edu/~EWD/transcriptions/EWD03xx/EWD340...