Barany, Krall, 2013. Optimal and Heuristic Global Code Motion for Minimal Spilling, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-37051-9_2