蛋糕ML 60篇文献引用(2014–2023) 软件作者： 拉马纳库马尔；玛格努斯·奥·米林（Magnus O.Myreen）。；迈克尔·诺里什（Michael Norrish）；斯科特·欧文斯 相关软件： Isabelle/HOL；Coq；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
J流量 23篇文献引用(2002–2022) 软件作者： 安德鲁·C·迈尔斯 相关软件： TaintDroid；哈斯克尔；TALx86… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SAFE代码 4份文件引用(2008–2013) 软件作者： Dhurjati，D.，Kowshik，S.，Adve，V。 相关软件： CCured公司；Coq；有限责任公司 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）
TS公司# 2份文件引用(2014–2017) 软件作者： 尼基尔·斯瓦米；Fornet，塞德里克；拉斯托吉（Aseem Rastogi）；Bhargavan，Karthikeyan；Chen，Juan；支柱，Pierre-Yves；加文·比尔曼 相关软件： JavaScript；ProVerify；网址（Ur/Web）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
RISCAL公司 2份文件引用(2018) 软件作者： 沃尔夫冈·施莱纳 相关软件： Nitpick公司；数学聊天；CoqHammer… 主要字段： 一般性和全局性主题；藏品（00-XX）；计算机科学（68-XX）