Alexey Gotsman Josh Berdine Byron Cook Noam Rinetzky Mooly Sagiv Local Reasoning for Storable Locks and Threads. 19-37 2007 conf/aplas/2007 APLAS http://dx.doi.org/10.1007/978-3-540-76637-7_3 db/conf/aplas/aplas2007.html#GotsmanBCRS07