Slicing Obfuscations: Design‚ Correctness and Evaluation - Majumdar, A; Drape, S; Thomborson, C (ACM Press, 2007)