皮埃尔·甘蒂；鲁帕克·马朱姆达尔；安德烈·里巴尔琴科 验证异步程序的活动性。 （英语） Zbl 1315.68064号 2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。102-113 (2009).MSC公司：68甲19 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}等人，摘自：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。102-113（2009年；Zbl 1315.68064） 全文： 内政部
拜伦·库克；阿列克谢·戈茨曼；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科；莫舍·瓦尔迪。 证明这些程序最终会有好处。 （英语） Zbl 1295.68083号 2007年1月17日至19日，法国尼斯，POPL'07，第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。265-276 (2007).MSC公司：68号30 64岁以下 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人，摘自：第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'07，法国尼斯，2007年1月17-19日。纽约州纽约市：计算机协会（ACM）。265--276（2007年；Zbl 1295.68083） 全文： 内政部 链接
安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科 转移谓词抽象和公平终止。 （英语） Zbl 1369.68152号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。132-144 (2005).MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{A.Rybalchenko}，摘自：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。132-144（2005年；Zbl 1369.68152） 全文： 内政部