Richard Johnson Efficient Program Analysis Using Dependence Flow Graphs. Cornell University, USA 1994