zbMATH中的参考文献，2标准条款)

1. Abd Alrahman，Yehia；Torres Vieira，Hugo:电网运行控制的协调协议语言（2019）
2. 非同步语义学（Halla-PP-observables:2019；Philia-PP-observables:2019）
3. Johansen，Christian；Owe，Olaf：动态结构操作语义（2019）
4. Mostowski，Wojciech:用于测试灰盒系统的基于模型的故障注入（2019）
5. Rafael的Caballero；Martin Martin，Enrique；Riesco，Adrián；Tamarit，Salvador:并发Erlang程序的声明性调试（2018）
6. 伊万·兰内斯（Lanese）；西田（Nishida），直木（Naoki）；帕拉西奥斯（Palacios），阿德里安（Adrián）；维达尔（Vidal），格尔曼（Germanán）：厄朗的可逆性理论（2018年）
7. López Fraguas，Francisco J.；黑山，Manuel；Suárez García，Gorka:Erlang的多态成功类型（2018）
8. Müller，Peter（编辑）；Schaefer，Ina（编辑）：原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月（2018年），德国凯泽斯劳滕，研讨会上的演讲精选论文
9. 阿尔伯特，埃尔维拉；贝齐尔吉安尼斯，尼古拉斯；德波尔，弗兰克；马丁马丁马丁，恩里克：从演员到哈斯凯尔的正式、资源消耗保护翻译（2017）
10. 与阿尔伯特·弗洛伊姆（Antonio Florues）和马丁·弗罗伊斯（Antonio Florays）合著的《终止协议》；与马丁·弗洛伊姆（Antonio Florues）的《终止协议》；马丁·弗罗伊斯（Antonio Florues）；与恩里亚姆（Martin Genair）合著的《成本分析》（cost Analysis
11. Brandt，Jörgen；Reisig，Wolfgang；Leser，Ulf:功能科学工作流语言楔形文字的计算语义（2017）
12. David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit:Erlang代码进化控制（2017）阿尔十四
13. De Nicola，Rocco；Duong，Tan；Inverso，Omar；Trubiani，Catia:AErlang at work（2017年）
14. Nishida，Naoki；Palacios，Adrián；Vidal，Germanán:Erlang的可逆语义（2017）
15. Philipp Moritz，Robert Nishihara，Stephanie Wang，Alexey Tumanov，Richard Liaw，Eric Liang，Melih Elibol，Zongheng Yang，William Paul，Michael I.Jordan，Ion Stoica:Ray:新兴人工智能应用的分布式框架（2017）第十四章
16. Dieterle，M.；Horstmeyer，T.；Loogen，R.；Berthold，J.：骨架成分与伊甸园中的稳定过程系统（2016）
17. Drăgoi，Cezara；Henzinger，Thomas A.；Zuffrey，Damien:\textscPSync:容错分布式算法的部分同步语言（2016）
18. Fördősy，Viktória；Tóth，Melinda:用重构器识别代码克隆（2016）ioport公司
19. López Fraguas，Francisco J.；黑山，Manuel；Rodríguez Hortalá，Juan:Erlang函数规范中的多态类型（2016）
20. Albert，Elvira；Correas，Jesús；Puebla，Germanán；Román-Díez，Guillermo:分布式系统的量化抽象配置（2015）