马丁·霍夫曼（编辑）;大卫·阿斯皮纳尔（编辑）;布莱恩·坎贝尔（编辑）;伊恩·斯塔克（编辑）;佩迪塔·史蒂文斯（编辑） 前言。 （英语） Zbl 1398.00101号 西奥。计算。科学。 741, 1-2 (2018).MSC公司：00B25型 00B30型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}（编辑）等人，Theor。计算。科学。741，1-2（2018年；兹bl 1398.00101） 全文： 内政部
大卫·阿斯皮纳尔;马丁·霍夫曼;米查尔·科内奇 具有使用方面的类型系统。 （英语） Zbl 1142.68019号 J.功能。程序。 18，第2期，141-178（2008）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人，J.Funct。程序。18，第2号，141--178（2008；Zbl 1142.68019） 全文： 内政部
大卫·阿斯皮纳尔;Lennart贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺 资源的程序逻辑。 （英语） Zbl 1133.68010号 西奥。计算。科学。 389，第3期，411-445（2007）.MSC公司：68甲15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人，Theor。计算。科学。389，第3号，411--445（2007；Zbl 1133.68010） 全文： 内政部 链接
大卫·阿斯皮纳尔;Lennart贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺 一种用于资源验证的程序逻辑。 （英语） Zbl 1099.68584号 Slind，Konrad（编辑）等人，《高阶逻辑中的定理证明》。第17届国际会议，TPHOLs 2004，美国犹他州帕克城，2004年9月14-17日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23017-3/pbk）。《计算机科学讲义》3223，34-49（2004）。MSC公司：68号30 03B70号 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人，Lect。注释计算。科学。3223、34-49（2004年；Zbl 1099.68584） 全文： 内政部
大卫·阿斯皮纳尔;马丁·霍夫曼 用于就地更新的另一种类型系统。 （英语） Zbl 1077.68565号 Le Métayer，Daniel（编辑），《编程语言和系统》。2002年4月8日至12日在法国格勒诺布尔举行的第11届欧洲编程研讨会，ESOP 2002，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43363-5）。莱克特。注释计算。科学。2305, 36-52 (2002).MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}和\textit{M.Hofmann}，莱克特。注释计算。科学。2305，36-52（2002；Zbl 1077.68565） 全文： 链接