William Baxter Henry R. Bauer III The Program Dependence Graph and Vectorization. 1-11 1989 POPL db/conf/popl/popl89.html#BaxterB89