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