汤姆·梅尔姆 符号轨迹评估。 （英语） Zbl 1392.68261号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。831-870 (2018).MSC公司：60年第68季度 03B44号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{T.Melham}，in：模型检查手册。查姆：斯普林格。831--870（2018；Zbl 1392.68261） 全文： 内政部
巴特·雅各布斯;汤姆·梅尔姆 将依赖型理论转化为高阶逻辑。 （英语） Zbl 0788.68130号 Bezem，Marc（编辑）等人，《类型化Lambda结石及其应用》。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。柏林：施普林格出版社。莱克特。注释计算。科学。664, 209-229 (1993).MSC公司：68吨15 03年11月15日 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}和\textit{T.Melham}，莱克特。注释计算。科学。664209--229（1993；Zbl 0788.68130）