BIT 12(3): 347-365, 1972.
As a contribution to programming methodology, the paper contains a detailed, step-by-step account of the considerations leading to a program for solving the 8-queens problem. The experience is related to the method of stepwise refinement and to general problem solving techniques.