TLA公司 29篇文献引用(1992–2023) 软件作者： L.兰波特 相关软件： 自旋蛋白；z3；加号… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
薄层色谱法 15篇文献引用(2000–2023) 软件作者： Lamport L、Yu Y 相关软件： 自旋蛋白；TLAPS；常春藤… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
IronFleet公司 16篇文献引用(2017–2023) 软件作者： Hawblitzel，C。；豪厄尔，J。；卡普里特索斯，M。；Lorch，J.R。；巴诺，B。；罗伯茨，M.L。；Setty，S.T.V.公司。；齐尔，B 相关软件： z3；达夫尼；常春藤… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
TLAPS（TLAPS） 14篇文献引用(1999–2023) 软件作者： 拉波特 相关软件： 薄层色谱法；常春藤；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
PlusCal（加号） 10篇文献引用(2009–2023) 软件作者： 莱斯利·兰波特 相关软件： 自旋蛋白；薄层色谱法；TLA… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
DiskPaxos公司 3份文件引用(2006–2023) 软件作者： 毛罗·贾斯克利奥夫（Mauro Jaskelioff）；斯蒂芬·默兹 相关软件： 存档正式证据；Isabelle/HOL；TLAPS… 主要字段： 计算机科学（68-XX）