Paper1991
Efficiently Computing Static Single Assignment Form and the Control Dependence Graph
Cytron et al.
Gives an efficient algorithm for converting a program into static single assignment form, the representation that made a generation of dataflow optimisations simpler and faster to implement.
FreeAdvanced