Mnacho Echenim公司 尼古拉斯·佩尔蒂埃 嵌套理论的实例化方案。 11:1-11:34 2013 14 ACM事务处理。计算。日志。 2 https://doi.org/10.1145/2480759.2480763 db/journals/tocl/tocl14.html#EchenimP13