Slicing Programs With Arbitrary Control Flow - Ball, Thomas J; Horwitz, Susan (University of Wisconsin-Madison Department of Computer Sciences, 1992)