Rodrigues N, Barbosa LS.? 2005.??Slicing Functional Programs by Calculation. Beyond Program Slicing. 05451