Graphical models of separation logic - Wehrman, I; Hoare, C; O'Hearn, P (Inf. Process. Lett., 2009)