1. Arsac J., Nolin L., Vasseur J.P. and G. Ruggiu: Le système de programmation structurée EXEL. Revue Thomson-CSF, Vol. 6 (1974).
2. Arsac J.: La construction de programmes structurés. Dunod, Paris (1977).
3. Ashcroft E. and Z. Manna: The translation of goto programs to while programs, in Proc. IFIP Cong, Amsterdam (1971).
4. Böhm C. and G. Jacopini: Flow diagrams, turing machines and languages with only two formation rules, Proc. IFIP Cong. Amsterdam (1971).
5. Casteran P.: Structures de contrôle: définitions opérationnelles et algébriques. Thèse de 3ème cycle, Université Paris VII (1979).