赫德，乔（编辑）;汤姆·梅尔姆（编辑） 高阶逻辑中的定理证明。第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） 全文： 内政部
蒂齐亚娜·玛格丽亚（编辑）;汤姆·梅尔姆（编辑） 正确的硬件设计和验证方法。第11届IFIP工作组10。5高级研究工作会议，CHARME 2001，苏格兰利文斯顿，英国，2001年9月4日至7日。诉讼程序。 （英语） Zbl 0971.00031号 计算机科学课堂讲稿2144.柏林：施普林格出版社（ISBN 3-540-42541-1）。xii，482页（2001年）。MSC公司：00B25型 68-06 6800万 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Margaria}（编辑）和\textit{T.Melham}（编），正确的硬件设计和验证方法。第11届IFIP工作组10。5高级研究工作会议，CHARME 2001，英国苏格兰利文斯顿，2001年9月4日-7日。诉讼程序。柏林：施普林格（2001年；Zbl 0971.00031）
T·梅尔姆。 高阶逻辑和硬件验证。 （英语） 兹伯利0819.68015 剑桥理论计算机科学丛书. 31. 剑桥：大学出版社。十三、 165页24.95英镑；39.95美元/hc（1993年）。MSC公司：68M99型 68-02 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Melham}，高阶逻辑和硬件验证。剑桥：大学出版社（1993；Zbl 0819.68015） 全文： 内政部