Peter W. O'Hearn Separation logic and concurrent resource management. 1 2007 conf/iwmm/2007 ISMM http://doi.acm.org/10.1145/1296907.1296908 db/conf/iwmm/ismm2007.html#OHearn07