My favorite EWD

“On the cruelty of really teaching computing science”, E. W.¬†Dijkstra, 1988

“…all by itself, a program is no more than half a conjecture. The other half of the conjecture is the functional specification the program is supposed to satisfy. The programmer’s task is to present such complete conjectures as proven theorems.”