ZBMaX中的参考文献（168篇）1标准条款）

1. Rabe，弗洛里安；Sharoda，Yasmine：MMT中的图组合器（2019）
2. EPPE，曼弗雷德；麦克莱恩，Ewen；TopaloNeRi，罗伯托；Kutz，奥利弗；Schorlemmer，马珂；普拉萨，恩里克；Kunnbger-Fube：概念混合的计算框架（2018）
3. Madeira、亚历山大、巴博萨、卢、S、Hennicker、罗尔夫、马丁斯、Manuel A.：反应系统逐步发展的逻辑（2018）
4. Mossakowski，直到Kieer-Br.CKNER，贝尔恩德：DOL（2018）泛型的部分推出语义
5. Orjas，费尔南多；Pino，Elvira；纳瓦罗，玛丽莎；LeBebe，Lee:图形结构导航逻辑机构（2018）
6. 张，闵；奥加塔，Kazuhiro：从隐藏到可见：行为理论转化为重写理论的统一框架（2018）
7. G.In，丹尼尔：具有用户定义共享的混合逻辑的逻辑程序设计基础（2017）
8. G.In，丹尼尔：BykHHOF型混合逻辑曲线（2017）
9. Maletzky，亚力山大；WordSigige，沃尔夫冈：Vikry拍卖的形式化：伊莎贝尔和定理2017中两种方法的比较（上）
10. MeeGuer-Joee:条件重写模公理的严格相干性（2017）
11. Rabe，弗洛里安：态射公理（2017）
12. RiSeCo，阿德里安，OgATA，Kazuhiro；FutaTuGi，KKICHI:一个用于CAFEOBO的Mod环境（2017）
13. Rigu，Gigig:匹配逻辑（2017）
14. 蔡德勒，克莱门斯；Weber，杰拉尔德；GavuluSKIN，亚历克斯；Lutthod，克里斯托夫：基于约束的布局编辑的拼接代数（2017）
15. Diaconescu，R·ZVAN：一阶视图的功能语义（2016）
16. 靳，Miaomiao；Stand，米迦勒：多孔腐蚀沉积物中两相膜沸腾的多物理模拟（2016）
17. Madeira，亚历山大；巴博萨，Luis S.；Hennicker，罗尔夫；马丁斯，Manuel A.：粘合剂的动态逻辑及其在反应系统发展中的应用（2016）
18. 张，Qinglei；KHDRI，RIDHA：面向方面的产品族代数的编织过程（2016）
19. 鲍梅斯特，休伯特；Bettaz，穆罕默德；MouChe，Mourad；MuestghaneMi，M'HAME:一个具有继承性和多态性的Objo Z的机构（2015）
20. CiOB-C，TeFun；Luaunu，Doell；Ruu，弗拉德；Roiu，Gigig:编程语言聚合的理论基础（2015）