Program Analisys and Transformation survey and links (particular focus on SSA) - View it on GitHub