罗曼·布伦吉尔 吉列尔莫A.佩雷斯0001 Jean-François Raskin女士 奥坎·桑库尔 AbsSynth：从简洁的安全规范中抽象合成。 同步 2014 100-116 https://doi.org/10.420/EPTCS.157.11 http://arxiv.org/abs/1407.5961 期刊/corr/ChatterjeeEJ14 db/series/eptcs/eptcs157.html#BrenguierPRS14