Diagrammatic Reasoning in Separation Logic. - M. Ridsdale; Mateja Jamnik; Nick Benton; Josh Berdine (Diagrams, 2008)