Freshml公司 在48份文件中引用(2003–2021) 软件作者： M.R.Shinwell、A.M.Pitts、M.Gabbay。 相关软件： 辅酶q；名义上的伊莎贝尔；Twelf… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
效率 30篇文献引用(2013–2023) 软件作者： 安德烈·鲍尔（Andrej Bauer）；普雷特纳，马蒂亚 相关软件： 科卡；GitHub；ML… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
管道 28篇文献引用(2002–2017) 软件作者： 萨加尔查基；Rajamani，Sriram K。；雅各布·雷霍夫 相关软件： SLMC；旋风；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
甲酚 25篇文献引用(2006–2022) 软件作者： 约翰森（Einar Broch Johnsen）；Owe、Olaf；Yu，Ingrid Chieh女士 相关软件： 羽量级Java；ABCL；莫德… 主要字段： 计算机科学（68-XX）
科卡 19份文件引用(2014–2023) 软件作者： Leijen博士。 相关软件： 效率；GitHub；ML… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
美赞臣 9份文件引用（2006年至2019年） 软件作者： Bierman GM、Parkinson MJ、Pitts AM 相关软件： 羽量级Java；中量级爪哇；旋风… 主要字段： 计算机科学（68-XX）
XcelLog公司 引用于3份文件(2006–2014) 软件作者： 罗马克里希南，C.R。；拉马克里希南，I.V。；大卫·沃伦。 相关软件： XSB；YAP-Prolog；可选（P）… 主要字段： 计算机科学（68-XX）