菲利普·加德纳;杜鹃花拉德;舵手，马克;亚当·赖特 并发库的抽象局部推理：注意差距。 （英语） 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） 全文： 内政部
Leino，K.Rustan M。;夸特·叶塞诺夫 Chalice中堆操作代码的逐步细化。 （英语） Zbl 1259.68034号 正式Asp。计算。 24，编号4-6，519-535（2012）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.R.M.Leino}和\textit{K.Yessenov}，正式Asp。计算。24、编号4--6519--535（2012；Zbl 1259.68034） 全文： 内政部 链接
戴维·诺曼（David A.Naumann）。;奥古斯托·桑帕约;莱拉·席尔瓦 类层次结构的重构和表示独立性。 （英语） Zbl 1278.68145号 西奥。计算。科学。 433, 60-97 (2012).MSC公司：68问题55 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛D.A.Naumann｝等人，Theor。计算。科学。433、60-97（2012年；Zbl 1278.68145） 全文： 内政部