The hardest part of the software task is arriving at a complete and consistent specification, and much of the essence of building a program is in fact the debugging of the specification.
-- Frederick P. Brooks, No silver bullet, 1987