1. Cliff Click. 1995. Combining Analyses Combining Optimizations. Ph. D. Dissertation. Rice University. https://hdl.handle.net/1911/96451
2. Keith D. Cooper and Linda Torczon. 2004. Engineering a Compiler. Morgan Kaufmann. isbn:1-55860-699-8
3. Efficiently computing static single assignment form and the control dependence graph
4. Gilles Duboscq, Lukas Stadler, Thomas Würthinger, Doug Simon, Christian Wimmer, and Hanspeter Mössenböck. 2013. Graal IR: An Extensible Declarative Intermediate Representation. In Proceedings of the Asia-Pacific Programming Languages and Compilers Workshop. http://ssw.jku.at/General/Staff/GD/APPLC-2013-paper_12.pdf
5. Monotone data flow analysis frameworks