James C. Beatty An axiomatic approach to code optimization for expressions. 613-640 1972 19 J. ACM 4 http://doi.acm.org/10.1145/321724.321728 db/journals/jacm/jacm19.html#Beatty72