理查德·斯塔特曼 不存在组合器的一些示例。 441-448 1993 121 西奥。计算。科学。 1&2 db/journals/tcs/tcs121.html#Statman93 https://doi.org/10.1016/0304-3975（93）90096-C