可由多态程序计算的数论函数（扩展抽象） 理查德·斯塔特曼 279-282 conf/focs/FOCS22 1981 焦点 db/conf/focs/focs81.html#Statman81 https://doi.org/10.109/SFCS.1981.24 https://doi.ieecomputersociety.org/10.109/SFCS.1981.24