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

1. Alpuente，M.；Cuenca-Ortega，A.；Escobar，S.；Meseguer，J.：有序等式程序的部分评估框架-模公理（2020）
2. De Nicola，Rocco；Ferrari，Gianluigi；Pugliese，Rosario；Tiezzi，Francesco：特定领域分布式系统工程的正式方法（2020）
3. 德兰，弗朗西斯科；埃克尔，史蒂文；埃克尔，圣地亚哥；马蒂奥利特，纳西索；梅斯盖尔，何塞；鲁比奥，鲁宾；卡罗琳塔尔科特：莫德的编程和符号计算（2020年）
4. 德兰，弗朗西斯科；梅斯盖尔，何塞；罗查，卡米洛：有序有序条件规范的基本汇合模公理（2020）
5. 卢卡斯，萨尔瓦多：使用有根据的关系证明运营终止（2020年）
6. Martín，Óscar；Verdejo，Alberto；MartíOliet，Narcisco:重写逻辑中的组合规范（2020）
7. Meseguer，José：广义重写理论，连贯完成和符号方法（2020）
8. Alpuente，María；Ballis，Demis；Cuenca Ortega，Angel；Escobar，Santiago；Meseguer，José：（\mathsfACUOS^\mathbf2）：一个高性能的模块化ACU泛化系统（2019年）
9. 阿普特，马里亚；埃斯科巴，圣地亚哥；萨皮娜，茱莉亚；巴利斯，德米斯：莫德理论与纳瓦尔的象征分析（2019）
10. Aman，Bogdan；Ciobanu，Gabriel:验证迁移和通信超时的多代理系统（2019年）
11. Gutiérrez，劳尔；Lucas，Salvador:随年龄自动生成逻辑模型（2019）
12. Johansen，Christian；Owe，Olaf：动态结构操作语义（2019）
13. Liu，Si；嫘lveczky，Peter Csaba；Wang，Qi；Gupta，Indranil；Meseguer，José：Read atomic transactions with prevention of lost updates:ROLA及其形式分析（2019年）
14. 卢卡斯，萨尔瓦多：证明语义属性为一阶可满足性（2019）
15. Nigam，Vivek；Talcott，Carolyn；Urquiza，Abraão Aires:符号时间轨迹等效（2019）
16. Pavlovic，Dusko（编辑）；Hanna，Erin；Lynch，Christopher；Myers，David Jaz；Richardson，Corey:通过cap匹配查找入侵者知识（2019年）
17. van Binsbergen，L.Thomas；Mosses，Peter D.；Sculthorpe，Neil：《基于组件的可执行语义》（2019）
18. Aguirre，Luis；MartíOliet，Narciso；Palomino，Miguel；Pita，Isabel：《重写逻辑中的句子规范化条件缩小模》和Maude（2018）
19. 阿普特，马利亚；巴利斯，德米斯；萨皮尼亚，茱莉亚：推断安全的莫德计划与ÁTAME（2018年）
20. Basin，David；Cremers，Cas；Meadows，Catherine:模型检查安全协议（2018）