Program slicing by calculation - Barbosa, L. S. (2006)