1. “Compilers: Principles, Techniques, and Tools”;Aho,1986
2. “Modern compiler implementation in ML”;Appel,1998
3. Assmann U., How To Uniformly Specify Program Analysis and Transformation, in: T. Gyimóthy, editor, International Conference on Compiler Construction (CC'96), Lecture Notes in Computer Science 1060 (1996), pp. 121–135.
4. Bagge O., M. Haveraaen and E. Visser, CodeBoost: A framework for the transformation of C++ programs, Technical Report UU-CS-2001-32, Institute of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands (2001).
5. Binkley D., Interprocedural constant propagation using dependence graphs and a data-flow model, in: P. A. Fritzson, editor, International Conference on Compiler Construction (CC'94), Lecture Notes in Computer Science 786 (1994), pp. 374–388.