Program slices: Formal, psychological, and practical investigations of an automatic program abstraction method (1979)

by M Weiser