HipSpec（髋关节规范） 23篇文献引用(2013–2023) 软件作者： 科恩·克莱森；穆阿·约翰逊（Moa Johansson）；丹·罗斯恩；尼古拉斯·斯莫尔博内 相关软件： IsaCoSy；吸血鬼；CVC4… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）
UTP2型 5份文件引用（2010年至2019年） 软件作者： 安德鲁·布特菲尔德 相关软件： Saoithin；Isabelle/HOL；Isabelle/UTP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
苏氨酸 4份文件引用（2010年至2017年） 软件作者： 安德鲁·布特菲尔德 相关软件： UTP2；Isabelle/HOL；PVS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
深海 1份文件引用(2021) 软件作者： Sjöberg，V.、Sang，Y.、Weng，S.c.、Shao，Z。 相关软件： solc-verify；版本X 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）