Dodds, M., & Plump, D. (2009). From Hyperedge Replacement to Separation Logic and Back. Electronic Communications of the EASST, 16. https://doi.org/10.14279/tuj.eceasst.16.237