玩具 56篇文献引用(2001–2022) 软件作者： F.J.López Fraguas，J.Sánchez Hernández 相关软件： 巴贝尔；哈斯克尔；PAKCS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
廷巴克 49份文件中引用(2001–2023) 软件作者： 托马斯·杰奈特；Yohan Boichut；贝尼特·博耶；Valérie Viet Triem Tong。。 相关软件： 莫德；AVISPA；ELAN… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
增值税 7份文件引用(2012–2019) 软件作者： 安大略省Lengál；Šimáček，Jiří；汤姆·沃纳 相关软件： MTBDD；MONA；幻灯片… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
X速度 6篇文献引用(2017–2022) 软件作者： Rayarshi Ray；阿米特·古龙 相关软件： SpaceEx；JuliaReach；流量*… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
平均无故障时间 5份文件引用(2012–2019) 软件作者： 安大略省Lengál；Šimáček，Jiří；汤姆·沃纳 相关软件： 增值税；MONA；幻灯片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）