瑞克·斯塔特曼 笛卡尔单体。 437-451 2010 conf/mfps/2010 MFPS公司 https://doi.org/10.1016/j.entcs.2010.08.026 db/journals/entcs/entcs265.html#Statman10