菲利普·加德纳;杜鹃花拉德;舵手，马克;亚当·赖特 并发库的抽象局部推理：注意差距。 （英语） Zbl 1337.68069号 Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308，147-166，仅电子版（2014）。MSC公司：68号30 03B70号 68第05页 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardner}等人，《电子》。注释Theor。计算。科学。308147--166（2014年；Zbl 1337.68069） 全文： 内政部
菲利普·加德纳;Gian Ntzik;亚当·赖特 POSIX文件系统的本地推理。 （英语） Zbl 1405.68080号 Shao，Zhong（编辑），《程序设计语言和系统》。2014年4月5日至13日，第23届欧洲编程研讨会，ESOP 2014，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2014，法国格勒诺布尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54832-1/pbk）。计算机科学课堂讲稿8410，169-188（2014）。MSC公司：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardner}等人，Lect。注释计算。科学。8410、169--188（2014年；Zbl 1405.68080） 全文： 内政部