形式化开发Hanoi塔问题非递归算法
石海鹤 石海鹏 薛锦云
Formal Development of Non-Recursive Algorithm for Hanoi Tower
计算机工程与应用 . 2007, (11): 96 -99 .