穆罕默德·拉扎 克里斯蒂亚诺·卡尔卡尼奥 菲利普·加德纳 带分离逻辑的自动并行。 348-362 2009 员工持股计划 https://doi.org/10.1007/978-3642-00590-9_25 conf/esop/2009年 db/conf/esop/esop2009.html#RazaCG09