美国公民自由联盟2 12份文件引用(2007–2021) 软件作者： 彼得·迪林杰（Peter C.Dillinger）。；Manolios、Panagiotis；达隆·弗隆；J Strother摩尔 相关软件： ACL2；芝诺；NQTHM… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
校样板 1份文件引用(2018) 软件作者： Caleb Eggensperger公司 相关软件： ACL2；ACuLa博士；DrJava… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）