格温·克莱恩 操作系统验证概述。 （英语） Zbl 1192.68432号 萨达纳 34，第1期，27-69（2009）.MSC公司：60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Klein}，萨达纳34，第1号，第27-69页（2009年；Zbl 1192.68432） 全文： 内政部
拉斐尔·科兰斯基;格温·克莱恩 类型、映射和分离逻辑。 （英语） Zbl 1252.03079号 Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记5674276-292（2009）。MSC公司：03B70型 68甲15 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛R.Kolanski｝和\textit｛G.Klein｝，Lect。注释计算。科学。5674276-292（2009年；兹比尔1252.03079） 全文： 内政部