Prolific programmers contribute to certain disaster.

Experience shows that the success of a programming course critically depends on the choice of these examples.

I am convinced that there is a need for high quality software, and the time will come when it will be recognized that it is worth investing effort in its development and in using a careful, structured approach based on safe, structured languages.

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

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

Many people tend to look at programming styles and languages like religions: if you belong to one, you cannot belong to others. But this analogy is another fallacy.

Program construction consists of a sequence of refinement steps.