03xx
- 300: Exit “The Programming Laboratory”
- 301: Over de bewijsbaartheid van programmacorrectheid
- 302: Design considerations in more detail
- 303: On the reliability of programs
- 306: Over het gewicht van een informatica-opleiding
- 307: (over een voorgestelde configuratie van een P1400 en vier P880’s)
- 308: Reisverslag bezoek van E.W.Dijkstra aan IFIP W.G.2.3 te Warwick, Engeland
- 309: (over een voorgestelde configuratie van een P1400 en vier P880’s)
- 310: Hierarchical ordering of sequential processes
- 311: [Review of] Bauer, Goos: “Informatik, Erster Teil” Heidelberger Taschenbuecher, Band 80 Springer Verlag, 1971
- 312: Verslag van reis van E.W.Dijkstra naar Noord Amerika
- 316: A short introduction to the art of programming
- 316A: Reisverslag van Edsger W.Dijkstra aan Summer School Marktoberdorf, juli 1971
- 317: On a methodology of design
- 319: A class of allocation strategies inducing bounded delays only
- 325: Poging tot plaatsbepaling van de Informatica
- 330: [Book review of: Bauer-Goos, Informatik, Zweiter Teil]
- 338: Parallelism in multi-record transactions (with C.S.Scholten)
- 340: The humble programmer
- 341: [Toespraak over de noodzaak van programmeermethodologie]
- 343: Reisverslag betreffende het bezoek aan de USA van 14 tot 30 mei 1972 door E.W.Dijkstra
- 345: Ter zake van wiskundige modelvorming
- 348: Verslag van de reis van E.W.Dijkstra naar Boston, 12–18 augustus 1972
- 349: Ontwikkelingsplan Informatica
- 351: Verslag bezoek Engeland 30 augustus – 9 september 1972
- 353: Elementen ener afstudeerrichting in de informatica
- 356: Advanced Course on Computer Systems Architecture (Grenoble, December 1972)
- 361: Programming as a discipline of mathematical nature
- 362: Bezoek van E.W.Dijkstra aan l’Alpe d’Huez, 8–15 december 1972
- 363: Reisverslag E.W.Dijkstra: Open house on semantics, Aarhus, 7–18 jan. 1973
- 364: Weledelgestrenge Heer, Ingenieur Swinkels
- 365: A parabel
- 366: Waarom ik niet gewoon hoogleraar wil blijven
- 368: Verslag van bezoek aan Washington, maart 1973
- 374: The analysis of multiprogrammed systems of unspecified degree of parallellism
- 375: A non algebraic example of a constructive correctness proof
- 376: Finding the maximum strong components in a directed graph
- 379: On a connection pattern between 2**N elements
- 384: Betrouwbaarheid van programma's
- 385: Trip report E.W.Dijkstra Summer School Munich, July 25 to August 4, 1973
- 386: The solution to a cyclic relaxation problem
- 387: Trip report IBM Seminar “Communication and Computers”, Newcastle, Sept. 1973
- 389: Trip report I.U.C.C. Colloquium, Canterbury, 18th–21st Sept. 1973
- 391: Self-stabilization in spite of distributed control
- 392: Self-stabilization with four-state machines
- 393: On representational abstraction
- 395: Trip report E.W.Dijkstra IFIP Working Group W.G.2.3 “On Programming Methodology”, 21st–26th October 1973, Blanchland, England
- 396: Self-stabilization with three-state machines
- 397: Self-stabilizing systems with distributed control
- 398: Sequencing primitives revisited
- 399: An immediate sequel to EWD398: “Sequencing primitives revisited”