Yong-Fong Lee Barbara G. Ryder Marc E. Fiuczynski Region Analysis: A Parallel Elimination Method for Data Flow Analysis. 31-42 1994 conf/iccl/1994 ICCL db/conf/iccl/iccl1994.html#LeeRF94