Sebastian Hack, Gerhard Goos: Optimal register allocation for SSA-form programs in polynomial time. Inf. Process. Lett. 98(4): 150-155 (2006)