Sarvani, VVNS and Govindarajan, R (2003) Unified instruction reordering and algebraic transformations for minimum cost offset. In: Lecture Notes in Computer Science, 2826 . pp. 270-284.