形式推导支持的递归程序向非递归程序的转换

化志章[1,2] 揭安全[1,2] 李云清[1] 薛锦云[1,2]

计算机工程与科学 . 2007, (10): 145 -147 .