安德鲁·戈登。（编辑）;安德鲁·皮特斯（Andrew M.Pitts）。（编辑） 语义学中的高阶操作技术。HOOTS研讨会论文，英国剑桥，1995年10月。 （英语） Zbl 0942.00062号 牛顿研究所出版物. 12. 剑桥：剑桥大学出版社。viii，第390页（1998年）。MSC公司：00B25型 68-06 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Gordon}（编辑）和\textit{A.M.Pitts}（主编），语义学中的高阶操作技术。HOOTS研讨会论文，英国剑桥，1995年10月。剑桥：剑桥大学出版社（1998；Zbl 0942.00062）
安德鲁·M·皮茨。（编辑）;彼得·戴比杰（编辑） 计算的语义和逻辑。1995年9月，英国剑桥艾萨克·牛顿数学科学研究所暑期学校。 （英语） Zbl 0894.00050号 牛顿研究所出版物14.剑桥：剑桥大学出版社（ISBN 0-521-58057-9/hbk）。第361页。(1997).MSC公司：00B25型 68-06 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Pitts}（编辑）和\textit{P.Dybjer}（主编），计算的语义和逻辑。1995年9月，英国剑桥艾萨克·牛顿数学科学研究所暑期学校。剑桥：剑桥大学出版社（1997；Zbl 0894.00050）