Beauty is our business.

About the use of language: it is impossible to sharpen a pencil with a blunt axe. It is equally vain to try to do it with ten blunt axes instead.

Teaching to unsuspecting youngsters the effective use of formal methods is one of the joys of life because it is so extremely rewarding.

The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.

Besides a mathematical inclination, an exceptionally good mastery of one's native tongue is the most vital asset of a competent programmer.

The question of whether computers can think is like the question of whether submarines can swim.

If you want more effective programmers, you will discover that they should not waste their time debugging, they should not introduce the bugs to start with.