Ken Kennedy Linda Zucconi Applications of Graph Grammar for Program Control Flow Analysis. 72-85 1977 POPL db/conf/popl/popl77.html#KennedyZ77 POPL/00001432.PDF