Cormac Flanagan Shaz Qadeer Types for atomicity. 1-12 2003 conf/tldi/2003 TLDI http://doi.acm.org/10.1145/604174.604176 db/conf/tldi/tldi2003.html#FlanaganQ03