CoCasl公司 26篇文献引用(2003–2014) 软件作者： 莫萨科夫斯基（Till Mossakowski）；马库斯·罗根巴赫；卢茨·施罗德 相关软件： CASL；莫德；Hets… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
签名 4份文件引用(2010–2018) 软件作者： 金，H.A.，卡普，B。 相关软件： 多谱仪；用鼻子哼哼；哈马斯… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
Java Jr语言 13份文件引用(2005–2020) 软件作者： 阿兰·杰弗里（Alan Jeffrey）；朱利安·拉特克 相关软件： Z；埃菲尔；多重显示… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
海伦娜 5份文件引用(2014–2019) 软件作者： Hennicker，R.、Klarl，A.和Wirsing，M。 相关软件： DEECO公司；SCEL；重新规范… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
羚羊 2份文件引用(1991) 软件作者： 詹姆斯·莫里斯。；马克·霍华德 相关软件： 卡利班；克利奥；米兰达 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
BYTESURGEON公司 2份文件引用(2006–2008) 软件作者： 马库斯·丹克（Marcus Denker）；Stéphane Ducasse；埃里克·坦特 相关软件： SmallJS；JavaScript；WhyLine… 主要字段： 计算机科学（68-XX）
SeVe公司 2份文件引用(2012–2015) 软件作者： Luu，Anh Tuan；孙军；刘，杨；董金松 相关软件： 棱镜；拍打；Casper… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
宾西姆 1份文件引用(2019) 软件作者： Ming，J.，Xu，D.，Jiang，Y.，Wu，D。 相关软件： 戴坦；DynOpVm；VOT4CS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）