. [. Naur, Proof of algorithms by general snapshots, pp.310-316, 1966.

. [. Floyd, Assigning meaning to programs, Proceedings of symposia in applied mathematics, pp.19-32, 1967.
DOI : 10.1007/978-94-011-1793-7_4

. [. Dijkstra, Letters to the editor: go to statement considered harmful, Communications of the ACM, vol.11, issue.3, pp.147-148, 1968.
DOI : 10.1145/362929.362947

. [. Knuth, The art of computer programming, NAU69] P. NAUR. Programming by action clusters. BIT 9, pp.250-258, 1968.

E. [. Dahl, C. A. Dijkstra, and . Hoare, Structured programming, 1972.

J. D. Warnier, Les procédures de traitement et leurs données. Editions d'organisation, 1973.

M. A. Jackson, Principles of program design, 1975.

. [. Dijkstra, A discipline of programming, 1976.

J. Arsac, La construction de programmes structurés'éducation et l'informatisation de la société. La documentation française, 1977.

. [. Gries, Premières leçons de programmation The science of programming, DUC84] DUCRIN. Programmation, 1980.