The Semantics of Program Slicing - Reps, Thomas; Yang, Wuu (University of Wisconsin-Madison Department of Computer Sciences, 1988)