Higher-order lazy functional slicing - Rodrigues, Nuno F. (2007)