Slicing functional programs by calculation - F. Rodrigues, Nuno (2006)