The Cyclic Towers of Hanoi: An Iterative Solution Produced by Transformation
Tom Gedeon · The Computer Journal · 1996
An iterative solution to the Cyclic Towers of Hanoi puzzle is produced by largely automatic program transformation from a recursive solution. The result compares favourably with the best published, manually produced iterative algorithm, both in terms of comprehensibility in its own right, and in efficiency.