zbMATH中的参考文献，1标准件)

1. Diaconescu，Răzvan:引入（H），一种基于机构的正式规范和验证语言（2020）
2. 哈夫雷恩，马格纳；罗根巴赫，马库斯：用句法理论函子指定（2020）
3. 拉贝，弗洛里安；沙罗达，亚斯敏：MMT中的图表组合（2019）
4. 曼弗雷德·埃佩（Eppe）；麦克莱恩（Ewen）；康法罗尼埃里（Roberto）；库茨（Kutz），奥利弗（Oliver）；斯科勒默（Schorlemmer），马尔科（Marco）；普拉斯（Plaza），恩里克（Enric）；凯·乌韦（Kai-Uwe）：概念融合的计算框架（2018年）
5. Madeira，Alexandre；Barbosa，Luís s.；Hennicker，Rolf；Martins，Manuel A.：反应系统逐步发展的逻辑（2018）
6. Mossakowski，Till；Krieg Brückner，Bernd:DOL中泛型的部分推出语义（2018）
7. 纳瓦罗设计学院（Fernando Elvaro，2018年；适用于Lambero Logical structures）
8. Zhang，Min；Ogata，Kazuhiro:从隐藏到可见：将行为理论转化为重写理论的统一框架（2018）
9. Găină，丹尼尔：用户定义共享的混合逻辑中的逻辑编程基础（2017）
10. Găină，丹尼尔：混合逻辑的Birkhoff式计算（2017）
11. Alexander Maletzky；Wolfgang Windsteiger:Vickrey拍卖的形式化：Isabelle和Theorema中两种方法的比较（2017）
12. Meseguer，José：条件重写模公理的严格一致性（2017）
13. 拉贝，弗洛里安：态射公理（2017）
14. Riesco，Adrián；Ogata，Kazuhiro；Futatsugi，Kokichi：CafeOBJ的Maude环境（2017）
15. Roşu，Grigore:匹配逻辑（2017）
16. 杰勒斯泰尔德（Alex Termens，2017年版）的《约束》杂志（Alex Termens，layout）；编辑：杰勒克斯·泽尔德（Alex Termenser）；编辑：杰勒斯泰尔（Alex Termens）；编辑
17. 《功能语义学》2016年第1期
18. Jin，Miaomiao；Short，Michael:多孔腐蚀沉积物中两相薄膜沸腾的多物理模型（2016）
19. Madeira，Alexandre；Barbosa，Luis；Hennicker，Rolf；Martins，Manuel A.：带绑定的动态逻辑及其在反应系统开发中的应用（2016）
20. 张庆磊；Khedri，Ridha:论面向方面产品族代数的编织过程（2016）