ZBMaCT中的参考文献（18篇文章中引用）

1. Gheri，洛伦佐；波佩斯库，安德列：一个形式化的语法和绑定理论：扩展版本（2020）
2. Rabe，弗洛里安：模块化重构算法（2018）
3. Dunfield，约书亚：可扩展数据集细化（2017）
4. 费雷拉，弗朗西斯科；Pientka，汤屹云：使用一流绑定的语法程序（2017）
5. 残根，亚伦：依赖λ消除的演算（2017）
6. Ziliani，贝塔，德雷尔，德里克；Krishnaswami，Neelakantan R.；Nanevski，Aleksandar；瓦菲亚迪斯，维克多：Mtac：COQ（2015）中类型化策略编程的单子
7. Rabe，弗洛里安：一个结合模型和证明理论的逻辑框架（2013）
8. Codescu，米哈伊；HOOZAL，Fulya；Kohlhase，米迦勒；Mossakowski，to；Rabe，弗洛里安；Sojakova，Kistina：在异构工具集HETS中的逻辑框架（2012）
9. Gacek，安得烈；Miller，Dale；Nadathur，Gopala:计算推理的两级逻辑方法（2012）
10. 阿贝尔，安德烈亚斯；Pitka，汤屹云：从属类型和记录的高阶动态模式统一（2011）
11. 贡蒂尔，乔治斯；Ziliani，贝塔；Nanevski，Aleksandar；德雷尔，德里克：如何使Ad hoc证明自动化少Ad Hoc（2011）
12. 韦里奇，斯蒂芬妮；Yygy，Brent A.；Sheard，提姆：未绑定的粘合剂（2011）
13. 洛瓦斯、威廉、P芬宁、弗兰克：逻辑框架的细化类型及其作为不相关性的解释（2010）
14. Pientka，汤屹云：编程归纳证明。一种基于上下文类型的新方法（2010）
15. Pientka，汤屹云；邓菲尔德，约书亚：Beluga：演绎系统编程和推理的框架（系统描述）（2010）
16. Poswolsky，亚当；Sh Urman，CARSTEN：系统描述：Delpin——演绎系统的函数程序设计语言（2009）伊波尔特
17. 乔林，彭尼；Pfenning，弗兰克：验证逻辑框架中的唯一性（2004）
18. 弗兰克，一个LF（2003）的覆盖检查算法