Dodds, M. and Plump, D. (2009) “From Hyperedge Replacement to Separation Logic and Back”, Electronic Communications of the EASST, 16. doi: 10.14279/tuj.eceasst.16.237.