约翰·切尔尼亚夫斯基 马亨德兰·维拉萨皮莱 理查德·斯塔特曼 归纳推理：抽象方法。 251-266 1988 conf/colt/1988年 柯尔特 http://dl.acm.org/citation.cfm？id=93097 db/conf/colt/colt1988.html#CherniavskyVS88