HOL/旋转 22篇文献引用(2000–2017) 软件作者： Bhargavan，Karthikeyan；卡尔·A·冈特。；达沃·奥布拉多维奇 相关软件： 自旋蛋白；Uppaal；AODV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CRDT公司 1份文件引用（2020年） 软件作者： 维克托·戈麦斯（Victor B.F.Gomes）；马丁·克莱普曼；多米尼克·P·穆利根（Dominic P.Mulligan）；阿拉斯泰尔·贝雷斯福德 相关软件： github；存档正式证据；布吉 主要字段： 计算机科学（68-XX）