zbMATH参考文献（参考 163篇，1标准件)

1. Diaconescu，Răzvan:引入（H），一种基于机构的正式规范和验证语言（2020）
2. 德兰，弗朗西斯科；梅斯盖尔，何塞；罗查，卡米洛：有序有序条件规范的基本汇合模公理（2020）
3. Iohara，Kenji（编辑）；Malbos，Philippe（编辑）；Saito，Masa Hiko（编辑）；Takayama，Nobuki（编辑）：微分方程的两个代数旁路：Gröbner基和quivers（2020）
4. 马丁内尔·马丁内尔·马丁内尔（Manuisael，2018）简介
5. Lucas，萨尔瓦多；Gutiérrez，Raúl:有序排序一阶理论逻辑模型的自动合成（2018）
6. Lucas，Salvador；Meseguer，José；Gutiérrez，Raúl:条件重写系统的2D依赖对框架。一： 定义和基本处理器（2018）
7. Găină，丹尼尔：用户定义共享的混合逻辑中的逻辑编程基础（2017）
8. Lucas，Salvador；Meseguer，José：证明条件项重写系统终止性质的依赖对（2017）
9. Meseguer，José：条件重写模公理的严格一致性（2017）
10. Meseguer，José；Skeirik，Stephen:初始序排序代数中的方程公式和模式运算（2017）
11. Riesco，Adrián；Ogata，Kazuhiro；Futatsugi，Kokichi：CafeOBJ的Maude环境（2017）
12. Roşu，Grigore:匹配逻辑（2017）
13. Diaconescu，Răzvan:一阶视图的函数语义（2016）
14. Lucas，Salvador；Meseguer，José：条件重写中的范式和范式理论（2016）
15. Meseguer，José：有序排序重写和同余闭包（2016）
16. Ahmed，Waqar；Hasan，Osman:使用定理证明走向形式化故障树分析（2015）
17. Futatsugi，Kokichi:用于验证CafeOBJ过渡系统的生成和检查方法（2015）
18. Găină，Daniel；Futatsugi，Kokichi:带构造器的逻辑中的初始语义（2015）
19. Klein，Dominik:PACE与OTS/CafeOBJ的关键秘密（2015）ioport公司
20. Li，Yongjian；Pang，Jun:Isabelle/HOL中可证明匿名性的形式化（2015）