02xx
200: The variable size machine
201: A sequel to EWD200
206: A sequel to EWD201
209: A constructive approach to the problem of program correctness
209A: A constructive approach to the problem of program correctness
214: ACM Symposium in Gatlinburg “Operating System Principles”
215: A case against the GO TO statement
221: [Raw code for computing De Bruijn-sequences]
222: Verslag van het bezoek aan Grenoble en Parijs (6–11 december 1967)
224: HEEL VERTROUWELIJK
227: Stepwise program construction
229: Aan de leden van de Commissie Wetenschapsbeleid
230: To the EDITOR ALGOL 68
231: De Rekenautomaat als Gebruiksvoorwerp
232: Pretentie en doelstelling van het THE multiprogrammeringsproject
235: Contractie en expansie
236: Complexity controlled by hierarchical ordering of function and variability
237: A preliminary investigation into Computer Assisted Programming
238: Computation versus program
239: On trading storage against computation time
240: The moral of EWD237 – EWD239
241: Towards correct programs
243: Bijdrage voor de subcommissie Aanschaffingsbeleid Rekenautomaten
244: Een educatief dilemma
245: On useful structuring
246: Verslag van het bezoek aan de NATO Conference on Software Engineering
247: [“Journal for half-baked Ideas”]
247a: [Beantwoording ener enquete]
251: Requirements of programming tools
252: Mijn laatste verslag van een bijeenkomst van W.G.2.1.
252a: Ontwerp voorwoord [afstudeerrichting Fundamentele Programmering]
253: Tentamen Co-operating Sequential Processes (jan. 1969)
253a: Ontwerp Collegebeschrijving “Inleiding tot de kunst van het programmere
254: Computer Science of enkel Software Engineering?
254a: Hoger orde adressering
255: Over de IBM360
257: Verslag bezoek aan MIT
259: Toekomstverwachting Fundamentele Programmering
260: Plotting a curve with a printer
261: Hoe wiskundig programmeren is
264: On understanding programs
267: Over de toekomst van Computer Science
268: Structured programming
270: Aan de keuzecommissie rekenmachine
272: Verslag van de tweede “Conference on Software Engineering”, georganiseerd door de NATO Science Committee te Rome, 27–31 oktober 1969
273: The programming task considered as an intellectual challenge
275: Structure of an extendable operating system
278: Organisatie van onderzoek en onderwijs van Fundamentele Programmering
279: The programming laboratory project
281: Aan de Commissie Wetenschapsbeleid
282: A tree-structured system
286: Verslag van mijn reis naar California
287: Sans titre (but most definitely a predecessor to EWD316, “A short introduction into the art of programming”)
288: Concern for correctness as a guiding principle for program construction
288a: Recensie voor het tijdschrift “Informatie”
292: Letter to professor C.A.R. Hoare (31 August 1970)
295: Reisverslag van bezoek aan het Seminar on the Teaching of Programming at University Level
298: Informatica als wiskundige discipline