zbMATH中的参考文献（引用于，3标准条款)

1. Alpuente，M.；Ballis，D.；Sapiña，J.：通过在\textsfÁTAME系统中的项目专业化，有效实施Maude项目的安全性（2020年）
2. Alpuente，M.；Cuenca-Ortega，A.；Escobar，S.；Meseguer，J.：有序等式程序的部分评估框架-模公理（2020）
3. De Nicola，Rocco；Ferrari，Gianluigi；Pugliese，Rosario；Tiezzi，Francesco：特定领域分布式系统工程的正式方法（2020）
4. Diaconescu，Răzvan:引入（H），一种基于机构的正式规范和验证语言（2020）
5. 德兰，弗朗西斯科；埃克尔，史蒂文；埃克尔，圣地亚哥；马蒂奥利特，纳西索；梅斯盖尔，何塞；鲁比奥，鲁宾；卡罗琳塔尔科特：莫德的编程和符号计算（2020年）
6. 德兰，弗朗西斯科；梅斯盖尔，何塞；罗查，卡米洛：有序有序条件规范的基本汇合模公理（2020）
7. 卢卡斯，萨尔瓦多：使用有根据的关系证明运营终止（2020年）
8. Martín，Óscar；Verdejo，Alberto；MartíOliet，Narcisco:重写逻辑中的组合规范（2020）
9. Meseguer，José：广义重写理论，连贯完成和符号方法（2020）
10. Zhao，Xin；Haller，Philipp:统一最终一致性和可观测原子一致性的复制数据类型（2020）
11. Alpuente，María；Ballis，Demis；Cuenca Ortega，Angel；Escobar，Santiago；Meseguer，José：（\mathsfACUOS^\mathbf2）：一个高性能的模块化ACU泛化系统（2019年）
12. 阿普特，马里亚；埃斯科巴，圣地亚哥；萨皮娜，茱莉亚；巴利斯，德米斯：莫德理论与纳瓦尔的象征分析（2019）
13. Aman，Bogdan；Ciobanu，Gabriel:验证迁移和通信超时的多代理系统（2019年）
14. Găină，Daniel；Ţuţu，Ionuţ：混合动态一阶逻辑的Birkhoff完备性（2019）
15. Gutiérrez，劳尔；Lucas，Salvador:随年龄自动生成逻辑模型（2019）
16. Hamana，Makoto:如何用二阶计算分析仪SOL证明方程理论的可判定性（2019）
17. Johansen，Christian；Owe，Olaf：动态结构操作语义（2019）
18. Liu，Si；嫘lveczky，Peter Csaba；Wang，Qi；Gupta，Indranil；Meseguer，José：Read atomic transactions with prevention of lost updates:ROLA及其形式分析（2019年）
19. 卢卡斯，萨尔瓦多：证明语义属性为一阶可满足性（2019）
20. Nigam，Vivek；Talcott，Carolyn；Urquiza，Abraão Aires:符号时间轨迹等效（2019）