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