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

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