@第{zbMATH03930324条，作者={Pettorossi，Alberto}，标题={Hanoi}问题之塔：通过程序转换推导迭代解}，FJournal={BIT}，日志={BIT}，ISSN＝{0006-3835}，体积={25}，页码={327--334}，年份={1985}，语言={英语}，DOI={10.1007/BF01934378}，关键词={68Q60,68N01,68T20}，zbMATH={3930324}，Zbl={0581.68016}}