0507-Automata Theory-Tao
There are two extreme views of proof. One is that formal proof of the correctness of a program should go hand-in-hand. The other is that you can test a program by running it, and proof has no place in the discipline of programming.