M. Ridsdale Mateja Jamnik Nick Benton Josh Berdine Diagrammatic Reasoning in Separation Logic. 408-411 2008 Diagrams http://dx.doi.org/10.1007/978-3-540-87730-1_50 conf/diagrams/2008 db/conf/diagrams/diagrams2008.html#RidsdaleJBB08