Analysis of Programs by Reduction of Their Structure. - Manfred Rosendahl; Karl Peter Mankwald (Graph-Grammars and Their Application to Computer Science and Biology, 1978)