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