理查德·斯塔特曼 关于n而非n+1容易组合子的存在性。 361-365 1999 9 数学。结构。计算。科学。 4 db/journals/mscs/mscs9.html#Statman99 http://journals.cambridge.org/action/displayAbstract？aid=44807