D. Barthou, P. Feautrier, and X. Redon, On the Equivalence of Two Systems of Affine Recurrence Equations, Proceedings of the 8th International Euro-Par Conference on Parallel Processing , Euro-Par '02, pp.309-313, 2002.
DOI : 10.1007/3-540-45706-2_40

URL : https://hal.archives-ouvertes.fr/inria-00072302

T. Risset, D. Cachera, S. Rajopadhye, and C. Tadonki, Parallelization of the Algebraic Path Problem on Linear SIMD/SPMD Arrays, 2000.

G. Iooss, C. Alias, and S. Rajopadhye, On Program Equivalence with Reductions
DOI : 10.1007/978-3-319-10936-7_11

URL : https://hal.archives-ouvertes.fr/hal-01096110

I. Kodukula, N. Ahmed, and K. Pingali, Data-centric multi-level blocking, ACM SIGPLAN Notices, vol.32, issue.5, pp.346-357, 1997.
DOI : 10.1145/258916.258946

URL : http://www.cs.cornell.edu/Info/Projects/Bernoulli/papers/pldi97.ps