Cytron, R., Ferrante, J., Rosen, B.K., Wegman, M.N.,
"Efficiently computing static single assignment form and the control dependence graph",
ACM Transactions on Programming Languages and Systems, 13, 4, October 1991, pp. 451-490.
452 ;;Quote: efficiently compute the static single assignment (SSA) form and control dependency graph using dominance frontiers; result is usually linear in size
452+;;Quote: static single assignment (SSA) is useful for optimization