理查德·斯塔特曼 V集的形态和分割。 313-322 1998 conf/csl/1998年 CSL公司 db/conf/csl/csl98.html#Statman98 https://doi.org/10.1007/10703163_21