1. A. V. Aho R. Sethi and J. D. Ullman. 1986. Compilers principles techniques and tools . Addison-Wesley Reading MA. A. V. Aho R. Sethi and J. D. Ullman. 1986. Compilers principles techniques and tools . Addison-Wesley Reading MA.
2. SSA is functional programming
3. A Functional Perspective on SSA Optimisation Algorithms
4. Cristina Cifuentes. 1994. Reverse Compilation Techniques. Ph.D. Dissertation. Queensland University of Technology. School of Computing Science. Cristina Cifuentes. 1994. Reverse Compilation Techniques. Ph.D. Dissertation. Queensland University of Technology. School of Computing Science.