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