zbMATH参考文献（参考 53篇文章 参考，1标准件)

1. Paulson，Lawrence C.；Nipkow，Tobias；Wenzel，Makarius:从LCF到Isabelle/HOL（2019年）
2. Wenzel，Makarius：与Isabelle/PIDE的正式数学文档的交互作用（2019）
3. 2018年卡鲁克-卡鲁克-卡鲁克-卡鲁克自动化理论
4. Mendes，Alexandra；Ferreira，JoãF.：走向验证手写计算证明（短文）（2018）
5. 大卫·达曼尼克（编辑）；格斯泰西，弗里茨（编辑）；尤迪茨基，彼得（编辑）：小型研讨会：无反射操作员：代夫特和西蒙猜想。2017年10月22-28日（2017）小型研讨会摘要
6. Gauthier，Thibault；Kaliszyk，Cezary；Urban，Josef：《战术学：用HOL4战术学理性》（2017）
7. Hansen，Helle Hvid；Kupke，Clemens；Rutten，Jan:流微分方程：规范格式和求解方法（2017）
8. David Christiansen；Brady，Edwin：阐述者反思：在Idris中扩展IDRI（2016）
9. 斯考特·斯密斯的《提高生产力：目标：提高生产力》。（毛坯钻石）（2016）
10. Barras，Bruno；Tankink，Carst；Tassi，Enrico：《Coq文档的异步处理：从内核到用户界面》（2015）
11. Wenzel，Makarius:Isabelle/Isar视角下的交互式定理证明（2015）
12. Heras，Jónathan；Komendantskaya，Ekaterina:Coq中的回收证明模式：案例研究（2014）
13. Hupel，Lars:Isabelle的交互式简化程序跟踪和调试（2014）
14. 与克里斯托夫林（ChristophüRing）合作证明（2014；与克里斯托夫林合作）
15. Wenzel，Makarius:Isabelle/PIDE中的异步用户交互和工具集成（2014）
16. Lüth，Christoph；Ring，Martin:Isabelle的web界面：下一代（2013）
17. Tews，Hendrik:Coq中的割消除形式化（2013）
18. Armstrong，Alasdair；Foster，Simon；Struth，Georg：基于自动定理证明的独立类型编程（2012）
19. Gast，Holger：《校准仪接口工程》（2012年）ioport公司
20. Jucovschi，Constantin:MKM语义服务与编辑环境的成本效益整合（2012）