Torben Amtoft Slicing for modern program structures: a theory for eliminating irrelevant loops. 45-51 2008 106 Inf. Process. Lett. 2 http://dx.doi.org/10.1016/j.ipl.2007.10.002 db/journals/ipl/ipl106.html#Amtoft08