Alfred V. Aho Jeffrey D. Ullman Optimization of Straight Line Programs. 1-19 1972 1 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp1.html#AhoU72 http://dx.doi.org/10.1137/0201002