LOTOS公司 135份文件引用(1988–2023) 软件作者： 博洛涅西，T.，布林克斯马，E。 相关软件： CADP；自旋蛋白；Uppaal… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
红宝石 22篇文献引用(2002–2017) 软件作者： 弗拉纳根博士。；松本，Y。 相关软件： 蟒蛇；JavaScript；PERL… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
射击类游戏 16篇文献引用（2002年-2014年） 软件作者： 邓肯·克拉克；蒂埃里·杰伦；弗拉德·鲁苏；埃琳娜·齐诺维耶娃 相关软件： CADP；TorX；网关… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
法尔科 10篇文献引用(2000–2012) 软件作者： 西门子；贝格尔，伊贡；彼得·帕平豪斯；乔阿希姆·施密德 相关软件： 核心ASM；元声波；罗丹… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
VPM公司 4份文件引用(2005–2007) 软件作者： 达尼尔·瓦罗（Dániel Varró），安德拉斯·帕塔里察（András Pataricza） 相关软件： VIATRA2；进度；AGG… 主要字段： 计算机科学（68-XX）
UMM公司 6篇文献引用(2007–2016) 软件作者： Yang Y、Gopalakrishnan G、Lindstrom G 相关软件： Coq；检查围栏；TSOTool… 主要字段： 计算机科学（68-XX）
卢特斯 5份文件引用（1999年至2012年） 软件作者： 杜布斯克，L。；夸布迪斯拉姆，F。；巴黎，I。；Richier，J.-L。；北卡罗来纳州佐安诺。 相关软件： ATGen公司；卢斯特；网关… 主要字段： 计算机科学（68-XX）
帕瓦内 4份文件引用(2002) 软件作者： G.-C.Roman、K.C.Cox、Donald Wilcox、Jerome Y.Plun 相关软件： 探戈；利奥纳多；宙斯… 主要字段： 计算机科学（68-XX）
塞马诺 引用于3份文件（1976年至1984年） 软件作者： 安德森，E.R。；Belz，F.C。；英国布鲁姆。 相关软件： ALGOL 68；Refal；阿尔戈60 主要字段： 通用代数系统（08-XX）；交换代数（13-XX）；群论与推广（20-XX）…