zbMATH中的参考文献（引用于 276篇文章，1标准件)

1. 杰克逊，马赛尔；斯托克斯，蒂姆：改写和更新（2021）
2. Simon Foster；Ana Cavalcanti；Samuel Canham；Jim Woodcock；Frank Zeyda：反应式设计合同统一理论（2020）
3. Williams，David M.；Darwish，Salaheddin；Schneider，Steve；Michael，David R.：使用Event-B开发礼品援助系统的立法驱动开发（2020年）
4. Apt，Krzysztof R.；Olderog，Ernst-Rüdiger:霍尔逻辑五十年（2019）
5. Lin，Yuhui；Bundy，Alan；Grov，Gudmund；Maclean，Ewen：通过涟漪和校样修补自动化Event-B不变量证明（2019）
6. Ribeiro，Pedro；Cavalcanti，Ana：通过UTP实现CSP的天使工艺（2019年）
7. 巴瑟，托比亚斯（编辑）；克劳斯，亨宁（编辑）；斯托亚诺斯卡，维斯纳（编辑）：小型研讨会：同伦理论和表征理论中的色现象和二重性。2018年3月4日至10日举行的小型研讨会摘要（2018年）
8. 《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》《交集》
9. 布拉特卡，瓦斯科（编辑）；唐尼，罗德尼G（编辑）；奈特，茱莉亚F.（编辑）；莱姆普，斯特芬（编辑）：可计算性理论。2018年1月7日至13日（2018年）研讨会摘要
10. Joosten，Sebastiaan J.C.：通过图饱和寻找模型（2018）
11. 《用代数与关系编译器》2018年版
12. Schwammberger，Maike:证明自治城市交通安全的抽象模型（2018）
13. Ahrendt，Wolfgang；Chimento，Jesús Mauricio；Pace，Gordon J.；Schneider，Gerardo：《结合静态和运行时验证验证的数据和控件导向属性：理论与工具》（2017）
14. Baake，Michael（编辑）；Damanik，David（编辑）；Kellendonk，Johannes（编辑）；Lenz，Daniel（编辑）：数学准晶中的光谱结构和拓扑方法。2017年10月1日至7日（2017年）研讨会摘要
15. Bjørner，《Dines:清单领域：分析和描述》（2017）
16. Breuillard，Emmanuel（编辑）；Hochman，Michael（编辑）；Shmerkin，Pablo（编辑）：工作会议：加法组合学、熵和分形几何。2017年10月8日至13日工作会议摘要
17. Buss，Samuel R.（编辑）；Iemhoff，Rosalie（编辑）；Kohlenbach，Ulrich（编辑）；Rathjen，Michael（编辑）：数理逻辑：证明理论，建构数学。2017年11月5日至11日（2017年）研讨会摘要
18. Colvin，Robert J.；Hayes，Ian J.；Meinicke，Larissa A.：为具有并发性的广谱语言设计语义模型（2017）
19. 何继峰：程序设计理论联系的新路线图（2017）
20. Joosten，Stef:与和和的关系代数软件开发（2017）