M. Dodds and D. Plump, “From Hyperedge Replacement to Separation Logic and Back”, eceasst, vol. 16, Jul. 2009.