乔托 17篇文献引用(2001–2022) 软件作者： 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件： 卢斯特；Uppaal；酯类… 主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）
门德尔斯 1份文件引用(1988) 软件作者： 内希拉（Uchihira，Naoshi）；松本一郎（Kazunori Matsumoto）；Honiden，Shinichi；中村秀雄 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
REFLP公司 1份文件引用(1997) 软件作者： 罗伯特·科尔文；伊恩·海耶斯（Ian Hayes）；雷·尼克森（Ray Nickson）；保罗·斯特罗珀 相关软件： Ergo 6号机组 主要字段： 计算机科学（68-XX）