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. Eeralla，Ajay Kumar；Lynch，Christopher:有界ACh统一（2020）
8. Găină，Daniel；Nakamura，Masaki；Ogata，Kazuhiro；Futatsugi，Kokichi：通过合并推出的终止稳定性和充分完整性（2020年）
9. 卢卡斯，萨尔瓦多：使用有根据的关系证明运营终止（2020年）
10. Martín，Óscar；Verdejo，Alberto；MartíOliet，Narcisco:重写逻辑中的组合规范（2020）
11. Meseguer，José：广义重写理论，连贯完成和符号方法（2020）
12. Miranda Perea，Favio E.；González Huesca，Lourdes del Carmen；Linares Arévalo，P.Selene:用于等式推理的交互式证明搜索（2020）
13. Zhao，Xin；Haller，Philipp:统一最终一致性和可观测原子一致性的复制数据类型（2020）
14. Alpuente，María；Ballis，Demis；Cuenca Ortega，Angel；Escobar，Santiago；Meseguer，José：（\mathsfACUOS^\mathbf2）：一个高性能的模块化ACU泛化系统（2019年）
15. 阿普特，马里亚；埃斯科巴，圣地亚哥；萨皮娜，茱莉亚；巴利斯，德米斯：莫德理论与纳瓦尔的象征分析（2019）
16. Aman，Bogdan；Ciobanu，Gabriel:验证迁移和通信超时的多代理系统（2019年）
17. Găină，Daniel；Ţuţu，Ionuţ：混合动态一阶逻辑的Birkhoff完备性（2019）
18. Gutiérrez，劳尔；Lucas，Salvador:随年龄自动生成逻辑模型（2019）
19. Hamana，Makoto:如何用二阶计算分析仪SOL证明方程理论的可判定性（2019）
20. Johansen，Christian；Owe，Olaf：动态结构操作语义（2019）