1. Program optimization;ALLEN F.E;Annu. Rev. Aurora. Program.,1969
2. ALLEN F.E. COCKE J. AND KENNEDY K. Reduction of operator strength. In Program Flow Analysis S. Muchnick and N. Jones (Eds.). Prentice-Hall Englewood Cliffs N.j. 1981 pp. 79-101. ALLEN F.E. COCKE J. AND KENNEDY K. Reduction of operator strength. In Program Flow Analysis S. Muchnick and N. Jones (Eds.). Prentice-Hall Englewood Cliffs N.j. 1981 pp. 79-101.
3. Semantic relations in programming languages;BROY M.;Information Processing,1980
4. A Transformation System for Developing Recursive Programs