巴特·雅各布斯;汤姆·梅尔姆 将依赖型理论转化为高阶逻辑。 （英语） Zbl 0788.68130号 Bezem，Marc（编辑）等人，《类型化Lambda结石及其应用》。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。664, 209-229 (1993).MSC公司：68吨15 03B15号机组 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}和\textit{T.Melham}，莱克特。注释计算。科学。664209--229（1993；Zbl 0788.68130）
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） 全文： 内政部