理查德·斯塔特曼 求解更高类型的函数方程：一些例子和一些定理。 66-74 1986 27 圣母院J.正式日志。 1 https://doi.org/10.1305/ndjfl/1093636524 db/journals/ndjfl/ndjfl27.html#Statman86