姜柳0009 吕继东 赵全 詹乃军（Naijun Zhan） 赵恒军 周朝晨 邹亮 混合CSP的微积分。 1-15 2010 阿普拉斯 https://doi.org/10.1007/978-3-642-17164-2_1 conf/aplas/2010 db/conf/aplas/aplas2010.html#LiuLQZZZ10