@收款{zbMATH06282622，作者={Sinha，Nishant和Wang，Chao}，标题={关于干涉抽象}，BookTitle={第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，国际标准图书编号={978-1-4503-0490-0}，页码={423--434}，年份={2011}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/1926385.1926433}，关键词={68N30,68N19}，zbMATH＝{6282622}，Zbl={1284.68203}}