Ron Cytron Andy Lowry F. Kenneth Zadeck Code Motion of Control Structures in High-Level Languages. 70-85 1986 POPL db/conf/popl/popl86.html#CytronLZ86