Dodds, M.; Plump, D. From Hyperedge Replacement to Separation Logic and Back. eceasst 2009, 16.