Aim for brevity while avoiding jargon.

I don't need to waste my time with a computer just because I am a computer scientist.

The use of anthropomorphic terminology forces you linguistically to adopt an operational view. And it makes it practically impossible to argue about programs independently of their being executed.

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

The computing scientist's main challenge is not to get confused by the complexities of his own making.

Some consider the puzzles that are created by their omissions as spicy challenges, without which their texts would be boring; others shun clarity lest their work is considered trivial.

If debugging is the process of removing software bugs, then programming must be the process of putting them in.