Nels Beckman Verifying correct usage of atomic blocks using access permissions. 905-906 2008 OOPSLA Companion http://doi.acm.org/10.1145/1449814.1449901 conf/oopsla/2008c db/conf/oopsla/oopsla2008c.html#Beckman08