Program Dependences, Slicing, And Verification door Venkatesh-Pras Ranganath