1. Aho, A. V., Sethi, R. & Ullman, J. D. (1986). Compilers, Principles, Techniques, and Tools, Addison-Wesley, Reading, Massachusetts.
2. Allen, F. E. (1969). Program optimization, Annual Review of Automatic Programming, Vol. 5, Pergamon Press, New York, pp. 239–307.
3. Allen, F. E., Cocke, J. & Kennedy, K. (1981). Reduction of operator strength, in S. S. Muchnick & N. D. Jones (eds), Program Flow Analysis, Prentice-Hall, Englewood Cliffs, New Jersey, chapter 3, pp. 79–101.
4. Banerjee, U. (1990). Unimodular transformations of double loops, Proceedings of the Workshop on Advances in Languages and Compilers for Parallel Processing, pp. 192–219.
5. Bauer, F. L., Möller, B., Partsch, H. & Pepper, P. (1989). Formal program construction by transformations—Computer-aided, intuition-guided programming, IEEE Transactions on Software Engineering 15 (2): 165–180.