托马斯·丁斯代尔-杨 迈克·多兹 菲利普·加德纳 马修·帕金森 维克托·瓦菲亚迪斯 并发抽象谓词。 504-528 2010 ECOOP公司 https://doi.org/10.1007/978-3-642-14107-2_24 conf/ecop/2010 db/conf/ecoop/ecoop2010.html#Dinsdale-YoungDGPV10