安德鲁·戈登。（编辑） 编程语言和系统。2010年3月20日至28日在塞浦路斯帕福斯举行的第19届欧洲编程研讨会（ESOP 2010），是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。 （英语） Zbl 1182.68003号 计算机科学课堂讲稿6012.柏林：施普林格出版社（ISBN 978-3-642-11956-9/pbk）。xv，632页。(2010).MSC公司：68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛A.D.Gordon｝（编辑），《编程语言与系统》。2010年3月20日至28日，作为欧洲软件理论与实践联合会议的一部分，在塞浦路斯帕福斯举行了第19届欧洲编程研讨会（ESOP 2010）。诉讼程序。柏林：施普林格出版社（2010；Zbl 1182.68003） 全文： 内政部
安德鲁·戈登。（编辑） 软件科学和计算结构基础。2003年4月7日至11日在波兰华沙举行的第六届国际会议FOSSACS 2003，是欧洲软件理论与实践联合会议ETAPS 2003的一部分。诉讼程序。 （英语） Zbl 1017.00036号 计算机科学课堂讲稿.2620。柏林：斯普林格。xii，441页（2003年）。MSC公司：00B25型 68-06 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.D.Gordon}（编辑），软件科学和计算结构基础。2003年4月7日至11日在波兰华沙举行的第六届国际会议FOSSACS 2003，该会议是欧洲软件理论与实践联合会议ETAPS 2003的一部分。诉讼程序。柏林：施普林格出版社（2003；Zbl 1017.00036） 全文： 内政部 链接