参考文献，2标准条款)

1. De Nicola，Rocco；Ferrari，Gianluigi；Pugliese，Rosario；Tiezzi，Francesco：特定领域分布式系统工程的正式方法（2020）
2. Abd Alrahman，Yehia；Torres Vieira，Hugo:电网运行控制的协调协议语言（2019）
3. Haller，Philipp；Miller，Heather:A reduction semantics for direct style asynchronous observables（2019年）
4. Johansen，Christian；Owe，Olaf：动态结构操作语义（2019）
5. Mostowski，Wojciech:用于测试灰盒系统的基于模型的故障注入（2019）
6. Rafael的Caballero；Martin Martin，Enrique；Riesco，Adrián；Tamarit，Salvador:并发Erlang程序的声明性调试（2018）
7. Insa，大卫；Pérez，Sergio；Silva，Josep；Tamarit，萨尔瓦多：Erlang代码进化控制（2018）
8. 伊万·兰内斯（Lanese）；西田（Nishida），直木（Naoki）；帕拉西奥斯（Palacios），阿德里安（Adrián）；维达尔（Vidal），格尔曼（Germanán）：厄朗的可逆性理论（2018年）
9. López Fraguas，Francisco J.；黑山，Manuel；Suárez García，Gorka:Erlang的多态成功类型（2018）
10. Müller，Peter（编辑）；Schaefer，Ina（编辑）：原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月（2018年），德国凯泽斯劳滕，研讨会上的演讲精选论文
11. 阿尔伯特，埃尔维拉；贝齐尔吉安尼斯，尼古拉斯；德波尔，弗兰克；马丁马丁马丁，恩里克：从演员到哈斯凯尔的正式、资源消耗保护翻译（2017）
12. Albert，Elvira；Flores Montoya，Antonio；Genaim，Samir；Martin Martin，Enrique:具有并行交错的循环的信赖保证终止和成本分析（2017）
13. Baumgartner，Alexander；Kutsia，Temur；Levy，Jordi；Villaret，Mateu：线性时间内的高阶模式反统一（2017）
14. Brandt，Jörgen；Reisig，Wolfgang；Leser，Ulf:功能科学工作流语言楔形文字的计算语义（2017）
15. David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit:Erlang代码进化控制（2017）阿尔十四
16. Nishida，Naoki；Palacios，Adrián；Vidal，Germanán:Erlang的可逆语义（2017）
17. 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）阿尔十四
18. Dieterle，M.；Horstmeyer，T.；Loogen，R.；Berthold，J.：骨架成分与伊甸园中的稳定过程系统（2016）
19. Drăgoi，Cezara；Henzinger，Thomas A.；Zuffrey，Damien:\textscPSync:容错分布式算法的部分同步语言（2016）
20. Fördősy，Viktória；Tóth，Melinda:用重构器识别代码克隆（2016）ioport公司