Graphical models of separation logic (Inf. Process. Lett., 2009)

(untitled) - Wehrman, I; Hoare, C; O'Hearn, P