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