J. F. Collard, P. , and T. Risset, Construction of DO loops from systems of aane constraints, 1993.

A. Darte, Techniques de parall elisation automatique de nids de boucle, 1993.

P. Eautrier, Parametric integer programming. RAIRO R echerche Op erationnelle, vol.22, pp.243-268, 1988.

P. Feautrier and N. Tawbi, R esolution de syst emes d'in equations lin eairess mode d'emploi du logiciel pip, 1990.

T. Risset, Parall elisation automatique: du mod ele systolique a l a c ompilation de nids de boucles, 1994.

A. Schrijver, Theory of Linear and Integer Programming, 1986.