R. R. Oldehoeft Program Graphs and Execution Behavior. 103-108 1983 9 IEEE Trans. Software Eng. 1 db/journals/tse/tse9.html#Oldehoeft83