zbMATH参考文献（87篇文章引用，1标准件)

1. Bendkowski，Maciej；Bodini，Olivier；Dovgal，Sergey:lambda项的统计特性（2019年）
2. Bendkowski，Maciej；Lescanne，Pierre:关于闭包和环境的枚举及其在随机生成中的应用（2019）
3. Caballero，Rafael；Martin Martin，Enrique；Riesco，Adrián；Tamarit，Salvador:声明性调试的核心Erlang语义（2019）
4. Ghica，Dan R.；Alyahya，Khulood:使用LSTM对游戏模型的潜在语义分析（2019年）
5. Johansson，Moa：归纳引理的发现。调查（2019年）
6. Mostowski，Wojciech:用于测试灰盒系统的基于模型的故障注入（2019）
7. Paulson，Lawrence C.；Nipkow，Tobias；Wenzel，Makarius:从LCF到Isabelle/HOL（2019年）
8. 奥斯汀，埃文；巴特森，斯科特；库里，彼得；威廉姆斯，布赖恩：寻找计算机辅助加密的中间地带（2018）
9. Rafael的Caballero；Martin Martin，Enrique；Riesco，Adrián；Tamarit，Salvador:并发Erlang程序的声明性调试（2018）
10. 石井，广美：嵌入Haskell的纯功能计算机代数系统（2018）
11. 阿尔伯特，埃尔维拉；贝齐尔吉安尼斯，尼古拉斯；德波尔，弗兰克；马丁马丁马丁，恩里克：从演员到哈斯凯尔的正式、资源消耗保护翻译（2017）
12. Brandt，Jörgen；Reisig，Wolfgang；Leser，Ulf:功能科学工作流语言楔形文字的计算语义（2017）
13. 西蒙·克鲁恩斯：《可满足模有界检验》（2017）
14. 西蒙·克鲁恩斯：《结构归纳的叠加》（2017）
15. David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit:Erlang代码进化控制（2017）阿尔十四
16. Gerdes，Alex；Heeren，Bastian；Jeuring，Johan；van Binsbergen，L.Thomas：Haskell提供自动反馈的适应性编程导师（2017）数学
17. Johansson，Moa:交互式定理证明的自动理论探索：Hipster系统简介（2017）
18. Lampropoulos，Leonidas；Galois Wong，Diane；Hriţcu，Cătălin；Hughes，John；Pierce，Benjamin C.；Xia，Li yao：《初学者的运气：基于财产的发电机的语言》（2017）
19. Dubois，Catherine；Giorgetti，Alain；Genestier，Richard:枚举组合学的检验与证明（2016）
20. Reynolds，Andrew；Blanchette，Jasmin Christian；Cruanes，Simon；Tinelli，Cesare:SMT中递归函数的模型发现（2016）