zbMATH中的参考文献（参考文献113篇,2标准条款)

1. 德尼古拉，罗科；法拉利，吉安鲁吉；普利斯，罗萨里奥；Tiezzi，Francesco:一种域特定分布式系统工程的正式方法（2020）
2. 加林多，卡洛斯；西田、直木；席尔瓦，约瑟普；萨尔瓦多塔马里特：ReverCSP:CSP计算中的时间旅行（2020）
3. 沙巴诺夫，B.M。；库兹涅佐娃，东欧。；Rybakov，A.A.：数据流处理器仿真器实现特性（2020）
4. 叶希亚，阿布德·阿尔拉赫曼；Torres Vieira，Hugo:电网运行控制的协调协议语言（2019）
5. 哈勒，菲利普；Miller，Heather:直接式异步可观测的简化语义（2019）
6. 约翰森，基督徒；Owe，Olaf：动态结构操作语义（2019）
7. Mostowski，Wojciech:用于测试灰盒系统的基于模型的故障注入（2019）
8. 巴托莱蒂，马西莫；波奇，劳拉；Murgia，Maurizio:CTA的进步保持改进（2018）
9. 卡巴莱罗，拉斐尔；马丁·马丁，恩里克；里斯科，阿德里安；萨尔瓦多塔马里特：并发Erlang程序的声明性调试（2018）
10. 格雷奇，纳威；费舍尔，伯恩德；Rathke，Julian:抢占式检查（2018）
11. 因萨，大卫；佩雷斯，塞尔吉奥；席尔瓦，约瑟普；萨尔瓦多塔马里特：Erlang代码进化控制（2018）
12. 伊万·兰内斯；西田、直木；帕拉西奥斯，阿德里安；维达尔，格曼：厄兰的可逆性理论（2018）
13. 弗朗西斯科J.；López Fraguas。；黑山，曼努埃尔；Suárez García，Gorka:Erlang的多态成功类型（2018）
14. 穆勒，彼得（编辑）；Schaefer，Ina（编辑）：原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月（2018年），德国凯泽斯劳滕，研讨会上的演讲精选论文
15. 艾伯特，艾薇拉；贝齐尔吉安尼斯，尼古拉斯；德波尔，弗兰克；Martin Martin，Enrique:演员到Haskell的正式、资源消耗保护翻译（2017）
16. 艾伯特，艾薇拉；弗洛雷斯·蒙托亚，安东尼奥；杰纳姆，萨米尔；Martin Martin，Enrique:并行交织循环的信赖保证终止和成本分析（2017）
17. 鲍姆加特纳，亚历山大；特穆尔库兹亚；乔迪，利维；Villaret，Mateu：线性时间的高阶模式反统一（2017）
18. 勃兰特，约根；莱希格，沃尔夫冈；Leser，Ulf:功能科学工作流语言楔形文字的计算语义（2017）
19. David Insa、Sergio Pérez、Josep Silva、Salvador Tamarit:Erlang代码进化控制（2017）阿尔十四
20. 西田、直木；帕拉西奥斯，阿德里安；维达尔，格曼：Erlang的可逆语义（2017）