姜柳0009 詹乃军（Naijun Zhan） 赵恒军 邹亮 用变量变换抽象基本混合系统。 2014 abs/1403.7022 CoRR公司 http://arxiv.org/abs/1403.7022 数据库/期刊/corr/corr1403.html#0009ZZZ14