My duty as a teacher is to train, educate future programmers.

It is evidently necessary to generate and test candidates for solutions in some systematic manner.

Good engineering is characterized by gradual, stepwise refinement of products that yields increased performance under given constraints and with given resources.

Our ultimate goal is extensible programming. By this, we mean the construction of hierarchies of modules, each module adding new functionality to the system.

Indeed, the woes of Software Engineering are not due to lack of tools, or proper management, but largely due to lack of sufficient technical competence.

Increasingly, people seem to misinterpret complexity as sophistication, which is baffling -- the incomprehensible should cause suspicion rather than admiration.

Program construction consists of a sequence of refinement steps.