Thomas Dinsdale-Young Mike Dodds Philippa Gardner Matthew J. Parkinson Viktor Vafeiadis Concurrent Abstract Predicates. 504-528 2010 ECOOP http://dx.doi.org/10.1007/978-3-642-14107-2_24 conf/ecoop/2010 db/conf/ecoop/ecoop2010.html#Dinsdale-YoungDGPV10