1. On the (im)possibility of obfuscating programs;Barak,2001
2. Introduction to Functional Programming in Haskell;Bird,1998
3. Christian Collberg, Clark Thomborson, Douglas Low, A taxonomy of obfuscating transformations, Technical Report 148, Department of Computer Science, University of Auckland, July 1997.
4. Introduction to Algorithms;Cormen,2001
5. Data Refinement: Model-Oriented Proof Methods and their Comparison;de Roever,1998