安德鲁·戈登。;保罗·汉金。;瑟伦·拉森。 命令对象的编译和等价。 （英语） Zbl 0942.68025号 J.功能。程序。 9，第4期，373-426（1999）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Gordon}等人，J.Funct。程序。9，第4号，373--426（1999；Zbl 0942.68025） 全文： 内政部
A.D.戈登。;宾夕法尼亚州汉金。 并发对象演算：约简和类型化。 （英语） Zbl 0917.68064号 Nestmann，Uwe（编辑）等人，HLCL’98。第三届高级并发语言国际研讨会。法国尼斯，1998年9月12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。16.3，第7号电子文件（1998年）。MSC公司：2010年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Gordon}和\textit{P.D.Hankin}，in：HLCL'98。第三届高级并发语言国际研讨会。法国尼斯，1998年9月12日。阿姆斯特丹：爱思唯尔。第7号电子文件（1998；Zbl 0917.68064） 全文： 链接