“The act of describing a program in unambiguous detail and the act of programming are one and the same.” — Kevlin Henney

“Much of the essence of building a program is in fact the debugging of the specification.” — Fred Brooks