Program dependence analysis. - Panos E. Livadas; Prabal K. Roy (ICSM, 1992)