C. Alias and D. Barthou, On Domain Specific Languages Re- Engineering, In ACM Int. Conf. on Generative Programming and Component Engineering Lect. Notes in Computer Science, vol.3676, pp.63-77, 2005.

D. Barthou, P. Feautrier, and X. Redon, On the Equivalence of Two Systems of Affine Recurrence Equations, Euro-Par Conference, pp.309-313, 2002.
DOI : 10.1007/3-540-45706-2_40
URL : https://hal.archives-ouvertes.fr/inria-00072302

A. Beletska, W. Bielecki, and P. Pietro, Extracting coarsegrained parallelism in program loops with the slicing framework, ISPDC '07: Proceedings of the Sixth International Symposium on Parallel and Distributed Computing, p.29, 2007.

W. Bielecki, T. Klimek, and K. Trifonuwic, Calculating exact transitive closure for a normalized affine integer tuple relation. To be published in the, Journal of Electronic Notes in Discrete Mathematics, 2009.
DOI : 10.1016/j.endm.2009.03.002
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.4674

B. Boigelot, Symbolic Methods for Exploring Infinite State Spaces, 1998.

B. Boigelot and P. Wolper, Symbolic verification with periodic sets, Proceedings of the 6th International Conference on Computer-Aided Verification, pp.55-67, 1994.
DOI : 10.1007/3-540-58179-0_43
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.6568

H. Comon and Y. Jurski, Multiple counters automata, safety analysis and presburger arithmetic, CAV'98, pp.268-279, 1998.
DOI : 10.1007/BFb0028751
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.6334

A. Darte, Y. Robert, and F. Vivien, Scheduling and Automatic Parallelization, 2000.
DOI : 10.1007/978-1-4612-1362-8
URL : https://hal.archives-ouvertes.fr/hal-00856645

W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman et al., The omega library interface guide, 1995.

W. Kelly, W. Pugh, E. Rosser, and T. Shpeisman, Transitive Closure of Infinite Graphs and Its Applications, International Journal of Parallel Programming, vol.36, issue.12, pp.579-598, 1996.
DOI : 10.1007/BF03356760

K. C. Shashidhar, M. Bruynooghe, F. Catthoor, and G. Janssens, An automatic verification technique for loop and data reuse transformations based on geometric modeling of programs, Journal of Universal Computer Science, vol.9, issue.3, pp.248-269, 2003.