函数型程序设计中的推测计算
吴锡琪
. 1994, (1): 82 -86 .