Cormac Flanagan Shaz Qadeer A type and effect system for atomicity. 338-349 2003 conf/pldi/2003 PLDI http://doi.acm.org/10.1145/781131.781169 db/conf/pldi/pldi2003.html#FlanaganQ03