吉姆·格兰迪;汤姆·梅尔姆;约翰·奥利里 用于硬件设计和定理证明的反射函数语言。 （英语） Zbl 1086.68526号 J.功能。程序。 16，第2期，157-196（2006）.MSC公司：68甲18 68吨15 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Grundy}等人，J.Funct。程序。16，第2号，157--196（2006；Zbl 1086.68526） 全文： 内政部
赫德，乔（编辑）;汤姆·梅尔姆（编辑） 高阶逻辑中的定理证明。第18届国际会议，2005年TPHOLs，英国牛津，2005年8月22日至25日。诉讼程序。 （英语） Zbl 1087.68005号 计算机科学课堂讲稿3603.柏林：施普林格出版社（ISBN 3-540-28372-2/pbk）。ix，409页。(2005).MSC公司：68-06 68吨15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hurd}（编辑）和textit{T.Melham}（主编），高阶逻辑中的定理证明。第18届国际会议，TPHOLs 2005，牛津，英国，2005年8月22日至25日。诉讼程序。柏林：施普林格出版社（2005；Zbl 1087.68005） 全文： 内政部