Dynamic Slicing In Higher-Order Programming Languages (1997)

by Sandip K. Biswas, Carl A. Gunter, Insup Lee