cminor（小） 17篇文献引用(2007–2016) 软件作者： A.W.阿佩尔、S.布拉齐。 相关软件： Coq；CompCert；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Jinja线程 9份文件引用(2009–2020) 软件作者： Lochbihler，A。 相关软件： Isabelle/HOL；存档正式证据；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
Jinja而非Java 2份文件引用(2016–2018) 软件作者： 格温·克莱因（Gerwin Klein）；托比亚斯·尼普科 相关软件： 存档正式证据；Isabelle/HOL；CompCertTSO… 主要字段： 计算机科学（68-XX）