Rodrigues N, Barbosa LS.? 2007.??Higher-Order Lazy Functional Slicing. Journal of Universal Computer Science. 13:854?873.