理查德·斯塔特曼 Jacopini定理的结果：一致的等式和方程。 355-364 https://doi.org/10.1007/3-540-48959-2_25 1999 conf/tlca/1999 薄层色谱分析 db/conf/tlca/tlca99.html#Statman99