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