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

1. Bentkamp，亚力山大；布兰切特，Jasmin Christian；克拉科夫，迪特里希：深度学习表现力的形式证明（2019）
2. Miller、Dale：机械化元理论再探（2019）
3. Matt、克里斯蒂安、毛瑞尔、尤利、波特曼、克里斯托弗、Renner、雷纳托、克特曼、BJ·Orn：系统代数理论（2018）
4. Schlichtkrull，安德斯：一阶逻辑解析微积分的形式化（2018）
5. 基哈尼，扎卡里亚；Miller，Dale；Renaud，Fabien：证明证据的语义框架（2017）
6. Hales、托马斯、亚当斯、马克、鲍尔、格特鲁德、Cezary、玛格龙、维克托、麦克劳林、阿、阿、尼、阿、尼布科、阿、奥布亚、阿、普列索、阿、Rute、阿、阿、阿、Ta、阿、、、、、、、、、Ky；罗兰：开普勒猜想的形式证明（2017）
7. Miller，Dale：证明检查与逻辑程序设计（2017）
8. Ziliani，贝塔，索索，马蒂厄：CIC新统一者的可理解指南，包括宇宙多态性和超载（2017）
9. 亚当斯，马克：波拉克不一致性的HooLoO2解（2016）
10. Ayala Rinc·N，Mauricio；费尔南德斯，Maribel；Rocha Oliveira，Ana Cristina：名义统一算法PVS中的完备性（2016）
11. Bettini，洛伦佐：用x语义实现IDE的类型系统（2016）
12. 卡洛德，Cristian S.；汤普森，迪克兰：不完备性、不可判定性和自动证明（邀请谈话）（2016）
13. 库马尔，Ramana；Arthan，Rob；MyReun，Magnus O.；欧文斯，史葛：高阶逻辑的自我形式化。语义、健全性和验证实现（2016）
14. 林，Yuhui；Grov，Gudmund；Arthan，罗布：理解和保持策略图形化，或者我们如何学习图表可以超过10K LOC（2016）
15. 马蒂丘克，丹尼尔；Murray，托比；文策尔，玛卡里乌斯：Eisbach：伊莎贝尔的证明方法语言（2016）
16. 斯泰纳格尔，克里斯蒂安；蒂曼，任埃：发展独立证明者的框架（2015）
17. AbdGaWaad，Moez A.：名义类型的面向对象程序设计的领域理论模型（2014）
18. 康斯特布尔，罗伯特；比克福德，马克：一阶逻辑的直觉完备性（2014）
19. 莫斯科夫斯基，本（ED）；Guelev，迪米塔（E..）；Leucker，马丁（ED）：客座编辑对区间时态逻辑专题的序言（2014）
20. 巴特勒，米迦勒；玛米利亚，伊萨姆：事件B的实践理论扩展（2013）