轻松检查 10篇文献引用(2009–2020) 软件作者： 扬·克里斯蒂安森（Jan Christiansen）；塞巴斯蒂安·费舍尔 相关软件： 快速检查；咖喱；SmallCheck… 主要字段： 计算机科学（68-XX）
工厂 11份文件引用(2011–2020) 软件作者： 安德鲁·麦卡勒姆、卡尔·舒尔茨、萨米尔·辛格 相关软件： 教会；IBAL；ProbLog… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
PFLP公司 3份文件引用(2020–2022) 软件作者： 桑德拉·戴卢斯（Sandra Dylus）、扬·克里斯蒂安森（Jan Christiansen）、芬兰·蒂根（Finn Teegen） 相关软件： 教会；EasyCheck；瑞士… 主要字段： 计算机科学（68-XX）