1. J. Arsac. Construction de programmes structurés. Dunod éd. 1977
2. A.J. Bernstein. Analysis of programs for parallel processing. IEEE. Trans. EC-15, no 5, oct. 1967
3. G. Cousineau. Les arbres à feuilles indicées: un cadre algébrique pour l'étude des structures de contrôle. Thèse d'état, Université Paris VI
4. M.P. Flé. Etude et mise en oeuvre de quelques transformations de programme. Thèse de зème cycle, Institut de Programmation Paris VI, 1979
5. R.M. Keller. Parallel program schemata and maximal parallelism. JACM, vol. 20, no 3, 4, 1973