&quot;SSA-based Compiler Design&quot; [1] is awesome, heaps of interesting algorithms.<p>[1] <a href="http:&#x2F;&#x2F;ssabook.gforge.inria.fr&#x2F;latest&#x2F;book.pdf" rel="nofollow">http:&#x2F;&#x2F;ssabook.gforge.inria.fr&#x2F;latest&#x2F;book.pdf</a>