1. The cyclic Towers of Hanoi problem;Atkinson;Information Processing Letters,1981
2. Recursive Programming Techniques;Burge,1975
3. A short introduction to the art of programming;Dijkstra;EWD 316,1971
4. A Discipline of Programming;Dijkstra,1976
5. How to Solve It with Computers;Dromey,1982