seL4级 95篇文献引用(2009–2023) 软件作者： Klein，G.、Elphinstone，K.、Heiser，G.、Andronick，J.、Cock，D.、Derrin，P.、Elkaduwe，D.、Engelhardt，K.、Kolanski，R.、Norrish，M.、Sewell，T.、Tuch，H.、Winwood，S。 相关软件： Isabelle/HOL；Coq；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
旋风 在30份文件中引用(2003–2022) 软件作者： 弗雷德里克·史密斯；Dan Grossman；格雷格·莫里塞特（Greg Morrisett）；卢克·霍诺夫（Luke Hornof）；吉姆·特雷弗 相关软件： 哈斯克尔；CCured；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）