Experience shows that the success of a programming course critically depends on the choice of these examples.
Program Development by Stepwise Refinement (1971)
