Reinhard Wilhelm Computation and Use of Data Flow Information in Optimizing Compilers. 209-225 1979 12 Acta Inf. db/journals/acta/acta12.html#Wilhelm79