Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs.
Sjaak SmetsersErik BarendsenMarko C. J. D. van EekelenMarinus J. PlasmeijerPublished in: Dagstuhl Seminar on Graph Transformations in Computer Science (1993)