Selected references James C. Beatty. An axiomatic approach to code optimization for expressions. Journal of the ACM, 19(4):613-640, October 1972.