Contract-based slicing - Cruz, Daniela da (2010)