Proof of algorithms by general snapshots, pp.310-316, 1966. ,
Assigning meaning to programs, Proceedings of symposia in applied mathematics, pp.19-32, 1967. ,
DOI : 10.1007/978-94-011-1793-7_4
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
The art of computer programming, NAU69] P. NAUR. Programming by action clusters. BIT 9, pp.250-258, 1968. ,
Structured programming, 1972. ,
Les procédures de traitement et leurs données. Editions d'organisation, 1973. ,
Principles of program design, 1975. ,
A discipline of programming, 1976. ,
La construction de programmes structurés'éducation et l'informatisation de la société. La documentation française, 1977. ,
Premières leçons de programmation The science of programming, DUC84] DUCRIN. Programmation, 1980. ,