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

1. Bendkowski，Maciej；Bodini，奥利维尔；Dovgal，谢尔盖：λ项的统计性质（2019）
2. Bendkowski，Maciej；LeSCANE，彼埃尔：关于应用随机生成的闭包和环境的枚举（2019）
3. 卡巴莱罗，拉斐尔；Martin Martin，恩里克；RiSeCO，AdRiaN；TaMARIT，萨尔瓦多：声明性调试的核心Erlang语义（2019）
4. GHICA，Dan R.；Alyahya，KuloLo:使用LSTM（2019）的游戏模型潜在语义分析
5. 约翰松，莫阿：引理发现归纳法。一次调查（2019）
6. Mostowski，WojiCe:基于模型的故障注入测试灰盒系统（2019）
7. 奥斯丁，埃文；巴特森，史葛；Curry，彼得；威廉姆斯，布莱恩：寻找计算机辅助密码学的中间点（2018）
8. 卡巴莱罗，拉斐尔；Martin Martin，恩里克；里斯科，阿德里安；塔马里特，萨尔瓦多：并发Erlang程序的声明性调试（2018）
9. Ishii，Hiromi：嵌入Haskell（2018）的纯功能计算机代数系统
10. 艾伯特，Elvira；贝吉吉亚尼斯，尼古拉；德波尔，弗兰克；Martin Martin，恩里克：一个正式的、资源消耗保护的演员对哈斯克尔的翻译（2017）
11. 勃兰特，J·RGEN；Resig，沃尔夫冈；Leser，ULF：函数科学工作流语言楔形文字的计算语义（2017）
12. 西蒙：可满足性模有界检验（2017）
13. 西蒙与结构诱导叠加（2017）
14. David Insa、塞尔吉奥·P·雷斯、Josep Silva、萨尔瓦多·塔马里特：Erlang码进化控制（2017）阿西夫
15. Gerdes，亚历克斯；海伦，巴斯蒂安；杰瑞，Johan；van Binsbergen，L. Thomas：问EEL:一个适合Haskell的自动编程导师，提供自动反馈（2017）马修德
16. 约翰松，莫阿：交互式定理证明的自动化理论探索：HIPSTER系统导论（2017）
17. Lampropoulos，Leonidas；Gallois Wong，戴安娜；海里·铜，C·T·林；休斯，约翰；Pierce，Benjamin C.；夏，姚：初学者的运气：一个基于属性的生成器的语言（2017）
18. 杜布瓦，凯瑟琳；乔吉蒂，Alain；Geestisher，李察：枚举组合数学的检验和证明（2016）
19. 雷诺兹，安得烈；Blanchette，Jasmin Christian；Cracees，西蒙；Tinelli，Casay:SMT中递归函数的模型发现（2016）
20. 克雷森，Koen；杜雷格，乔纳斯，Pa Ka，米莎H.：均匀分布生成约束随机数据（2015）