D Blostein, H Fahmy, A Grbavec - … , VA, USA, November 13–18, 1994 …, 1996 - Springer
Graphs are a popular data structure, and graph-manipulation programs are common. Graph
manipulations can be cleanly, compactly, and explicitly described using graph-rewriting …