罗曼·布伦吉尔 合成的最佳假设。 8:1-8:15 2016 同意 https://doi.org/10.4230/LIPIcs.CONCUR.2016.8 conf/concor/2016 db/conf/conver/conver2016.html#Brenguier16