HOL-OCL公司 13份文件引用(2002–2016) 软件作者： Achim D.布鲁克。；沃尔夫，伯克哈特 相关软件： ATL；凯伊；ETPS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
UML2合金 6篇文献引用(2008–2015) 软件作者： Anastasakis，K.、Bordbar，B.、Georg，G.、Ray，I 相关软件： HOL-OCL；莫德；ATL… 主要字段： 计算机科学（68-XX）
ITP/OCL公司 5份文件引用(2011–2016) 软件作者： Manuel Clavel；玛丽娜·埃加 相关软件： 莫德；时刻2；咖啡OBJ… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
OCL2AC公司 4份文件引用(2019–2020) 软件作者： 内布拉斯加州纳赛尔；Jens Kosiol；托尔斯滕·阿伦特；加布里埃尔·坦泽尔 相关软件： 亨欣；OCLinEcore；ENFORCe… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
元模型Isabelle 1份文件引用(2016) 软件作者： Tuong神父；伯克哈特·沃尔夫 相关软件： 辅酶q；Isabelle/HOL；密度编译器… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）