1. Program optimization;Allen,1969
2. A catalogue of optimizing transformations;Allen,1972
3. Reduction of operator strength;Allen,1981
4. Optimizing Compilers for Modern Architectures;Allen,2001
5. Verifying temporal properties without temporal logic;Alpern;ACM Transactions on Programming Languages and Systems (TOPLAS),1989