EWD692: Dijkstra's Review of Backus's Turing Award Lecture [pdf]cs.utexas.edu2 pointsziyao_w11 years ago