Pugh. Uniform Techniques for Loop Optimization. ACM Press, 1991, doi:10.1145/109025.109108.