西蒙·多尔蒂 萨代赫·达尔瓦迪 布里耶什·东戈尔 海克·韦尔海姆 统一操作性弱记忆验证：公理方法。 27:1-27:39 2022 23 ACM变速器。计算。日志。 4 https://doi.org/10.1145/3545117 db/journals/tocl/tocl23.html#DohertyDDW22