zbMATH中的参考文献（参考文献99篇文章,1标准件)

1. 艾伯特，艾薇拉；贝齐尔吉安尼斯，尼古拉斯；德波尔，弗兰克；Martin Martin，Enrique:从演员合作调度到Haskell（2020）的正式资源消耗保护翻译
2. 卢克希奇，Žiga；Pretnar，Matija:局部代数效应理论（2020）
3. 本德科夫斯基，麦基；博迪尼，奥利弗；Dovgal，Sergey:lambda项的统计特性（2019）
4. 本德科夫斯基，麦基；Lescanne，Pierre:关于闭包和环境的计数及其在随机生成中的应用（2019）
5. 卡巴莱罗，拉斐尔；马丁·马丁，恩里克；里斯科，阿德里安；萨尔瓦多塔马里特：声明性调试的核心Erlang语义（2019）
6. 大卫·R·马基弗，扎克·哈特菲尔德·多德；贡献者：假设：基于属性的测试的新方法（2019）不是zbMATH
7. 吉卡，丹·R。；Alyahya，Khulood:使用LSTM对博弈模型进行潜在语义分析（2019）
8. Johansson，Moa：归纳引理的发现。调查（2019年）
9. Mostowski，Wojciech:用于测试灰盒系统的基于模型的故障注入（2019）
10. 保尔森，劳伦斯·C。；尼普科，托比亚斯；温泽尔，马卡里乌斯：从LCF到伊莎贝尔/霍尔（2019）
11. 里斯科，A。；Rodríguez HortaláJ.：火花流的基于属性的测试（2019）
12. 奥斯汀，埃文；巴特森，斯科特；咖喱，彼得；威廉姆斯，布莱恩：寻找计算机辅助加密的中间地带（2018）
13. 本德科夫斯基，麦基；Lescanne，Pierre:计数环境和关闭（2018）
14. 卡巴莱罗，拉斐尔；马丁·马丁，恩里克；里斯科，阿德里安；萨尔瓦多塔马里特：并发Erlang程序的声明性调试（2018）
15. 杜布瓦，凯瑟琳；Giorgetti，Alain:自定义数据生成器的测试和证明（2018）
16. 石井，广美：嵌入Haskell的纯功能计算机代数系统（2018）
17. 艾伯特，艾薇拉；贝齐尔吉安尼斯，尼古拉斯；德波尔，弗兰克；Martin Martin，Enrique:演员到Haskell的正式、资源消耗保护翻译（2017）
18. 勃兰特，约根；莱希格，沃尔夫冈；Leser，Ulf:功能科学工作流语言楔形文字的计算语义（2017）
19. 西蒙·克鲁恩斯：《结构归纳的叠加》（2017）
20. 西蒙·克鲁恩斯：《可满足模有界检验》（2017）