J. R. Allen, K. Kennedy, C. Porterfield, and J. Warren, Conversion of control dependence to data dependence, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, POPL '83, pp.177-189, 1983.

P. Amiranoff, A. Cohen, and P. Feautrier, Beyond iteration vectors: Instancewise relational abstract domains, Static Analysis Symposium (SAS'06), 2006.
DOI : 10.1007/11823230_11

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

J. Arsac, La construction de programmes structurés, 1977.

A. J. Bernstein, Analysis of programs for parallel processing, IEEE Trans. on El. Computers, EC, vol.15, pp.757-762, 1966.

P. Feautrier, Dataflow analysis of scalar and array references, Int. J. of Parallel Programming, vol.20, issue.1, pp.23-53, 1991.
DOI : 10.1007/bf01407931

P. Feautrier, Array dataflow analysis, Compiler Optimizations for Scalable Parallel Systems, vol.1808, pp.173-216, 2001.
DOI : 10.1007/3-540-45403-9_6

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

K. Kennedy and R. Allen, Optimizing Compilers for Modern Architectures: A Dependence-based Approach, 2001.

H. Leverge, C. Mauras, and P. Quinton, The alpha language and its use for the design of systolic arrays, Journal of VLSI Signal Processing, vol.3, pp.173-182, 1991.

L. G. Tesler and H. J. Enea, A language design for concurrent processes, SJCC, pp.403-408, 1968.
DOI : 10.1145/1468075.1468134

S. Verdoolaege, H. Nikolov, and T. Stefanov, Improved derivation of process networks, 4th Workshop on Optimization for DSP and Embedded Systems, pp.1-10, 2006.
DOI : 10.1155/2007/75947