Correction to: Towers of Hanoi problems: Deriving iterative solutions by program transformations

摘要

In the originally published version, the author found some subsequent corrections. It should read correct.