Richard Johnson David Pearson Keshav Pingali The Program Structure Tree: Computing Control Regions in Linear Time. 171-185 1994 PLDI db/conf/pldi/pldi94.html#JohnsonPP94