The EWDs A list of all of the EWDs in the EWD online archive 28 Substitution processes 1962 376 Finding the maximum strong components in a directed graph 1973 553pubOn a gauntlet thrown by David Gries1976 683 To a new member of The Tuesday Afternoon Club 1978 31 Synchronisatie van parallelle sequentiele processen 376pubFinding the maximum strong components in a directed graph 1982 554 A personal summary of the Gries-Owicki theory 1976 684 Termination detection for diffusing computations 33 Over uitwisselbaarheid 379 On a connection pattern between 2**N elements 1973 554pubA personal summary of the Gries-Owicki Theory 1982 (with C.S.Scholten)685 The problem of the Swiss football players 1978 35 Over de sequentialiteit van procesbeschrijvingen 384 Betrouwbaarheid van programma’s 1973 555 Aan de Raad van Advies 1976 687 Termination detection for diffusing computations (with C.S.Scholten)687a Termination detection for 36 Over ongewenste faciliteiten 385 Trip report E.W.Dijkstra Summer School Munich, July 25 to August 4, 1973 1973 556 Zesde toespraak tot mijn studenten, voorjaar 1976 1976 diffusing computations (with C.S.Scholten) 37 A review of the IBM 1620 Data Processing System 1963 385pubTrip report E.W.Dijkstra Summer School Munich, July 25 to August 4, 1973 1982 557 Zevende toespraak tot mijn studenten, voorjaar 1976 1976 687apubTermination detection for diffusing computations 1980 41 Het vectorgeheugen n.d. 386 The solution to a cyclic relaxation problem 1973 558 Achtste toespraak tot mijn studenten, voorjaar 1976 1976 688 A trifle 1978 51 Multiprogrammering en de X8 n.d. 386pubThe solution to a cyclic relaxation problem 1982 559 Negende toespraak tot mijn studenten, voorjaar 1976 1976 689 Tripreport E.W.Dijkstra, Valley Forge, 28 Oct. -2 Nov. 1978 1978 54 Multiprogrammering en de X8 (Vervolg van EWD51) n.d. 387 Trip report IBM Seminar “Communication and Computers”, Newcastle, Sept. 1973 1973 560 Tiende toespraak tot mijn studenten, voorjaar 1976 1976 690 The pragmatic engineer versus the scientific designer 1978 56 Korte notitie over de buffering van startopdrachten 387pubTrip report IBM Seminar “Communication and Computers”, Newcastle, Sept. 1973 1982 561 A “non trip report” from E.W.Dijkstra 1976 691 On improving the state of the art (A somewhat open letter to dr. Martin Rem) 1978 57 Multiprogrammering en de X8 (Vervolg van EWD54) 1963 389 Trip report I.U.C.C. Colloquium, Canterbury, 18th—21st Sept. 1973 1973 561pubA “non trip report” from E.W.Dijkstra 1982 692 A review of the 1977 Turing Award Lecture by John Backus 1978 62 Notitie over de aansluiting en de programmering van de teleprinter 1963 391 Self-stabilization in spite of distributed control 1973 562 The effective arrangement of logical systems 1976 693 About polygons in Detroit 1978 65 Over Jansen 1963 391pubSelf-stabilization in spite of distributed control 1982 563 Formal techniques and sizeable programs 1976 694 Tripreport E.W.Dijkstra, Detroit, Austin, Philadelphia, 25 Nov. - 9 Dec. 1978 1978 68 Some comments on the aims of MIRFAC n.d. 392 Self-stabilization with four-state machines 1973 563pubFormal techniques and sizeable programs 1982 695 Mathematics in an easy chair 1978 69 Over stapeladministratie 1963 393 On representational abstraction 1973 564 A superficial book 1976 696 Written in anger 1978 70 Over stapeladministratie. II n.d. 395 Trip report E.W.Dijkstra IFIP Working Group W.G.2.3 “On Programming Methodology’’, 21st - 26th 564a Aan de Raad van Advies, in tweede ronde. 1976 697 Some beautiful arguments using mathematical induction 1978 71 Over pagina-administratie n.d. October 1973, Blanchland, England 1973 565 Elfde toespraak tot mijn studenten, voorjaar 1976 1976 697pubSome beautiful arguments using mathematical induction 1980 72 Over trommelpaginatransporten 1963 396 Self-stabilization with three-state machines 1973 566 Programming: from craft to scientific discipline 1976 698 Trip report E.W.Dijkstra, Oxford University, 10-15 Jan. 1979 1979 74 Over seinpalen n.d. 397 Self-stabilizing systems with distributed control 1973 567 Twaalfde toespraak tot mijn studenten, voorjaar 1976 1976 699 Een reactie 1979 75 Over standaardroutines 398 Sequencing primitives revisited 1973 568 A programmer’s early memories 1976 700 An examination exercise, designed by W.H.J.Feijen 1979 77 Het controlerende communicatieapparaat n.d. 399 An immediate sequel to EWD398: “Sequencing primitives revisited’’ 1973 568pubA programmer’s early memories 1980 701 Two theorems on (what I have called) continuously mixed sequences 1979 82 Een ponsbandorganisatie voor de X8 n.d. 401 The characterization of semantics n.d. 569 Dertiende en laatste toespraak tot mijn studenten, voorjaar 1976 1976 702 In reaction to Ernest Chang’s “Deadlock Detection” 1979 84 Over paginaadministratie 1964 401pubThe characterization of semantics 1976 570 An exercise for Dr.R.M.Burstall 1976 703 A tutorial on the split binary semaphore 1979 86 Bezettingsadministratie der trommelpagina’s1964 404 A trip to France: 13th-20th December 1973 1973 570pubAn exercise for Dr.R.M.Burstall 1982 704 A machine for image construction in tomography 1979 89 Over formal locations 1964 405 Synchronisatie en sequencingn.d. 571 A simple consideration with far-reaching consequences (DRAFT) 1976 705 Verkavelde berekeningen, hun mogelijkheden en moeilijkheden 1979 91 Samenvatting van oordeel over het “Voorstel tot aanschaffing van een digitale 406 A trip to the U.S.A., 5th - 25th January 1974 1974 572 Tripreport E.W.Dijkstra, U.S.A. and U.K., 8 June - 10 July 1976 1976 705pubVerkavelde berekeningen, hun mogelijkheden en moeilijkheden 1979 informatieverwerkende machine voor de afdeling der elektrotechniek’’ 1964 407 Acceptance speech for the AFIPS Harry Goode Memorial Award 1974 1974 573 A great improvement 1976 706 Image reconstruction in two-dimensional tomography 1979 96 Embedding complex arithmetic 1964 407pubAcceptance speech for the AFIPS Harry Goode Memorial Award 1974 1974 573pubA great improvement 1982 707 Dear Mr.X of Company Y 1979 101 Description of the object program n.d. 408 A time-wise hierarchy imposed upon the use of a two-level store n.d. 574 A letter to Professor Zohar Manna, 26 July 1976 1976 708 When messages may crawl 1979 102 Description of the object program, II 1964 409 The semantic characterization of a programming language 575 To H.D.Mills, Chairman Software Methodology Panel 1976 709 My hopes of computing science 1979 105 Description of the object program (a sequel to EWD102) n.d. 410 Two theorems 575pubTo H.D.Mills, Chairman Software Methodology Panel 1982 709pubMy hopes of computing science 1979 108 Een algorithme ter voorkoming van de dodelijke omarming n.d. 411 On the design of properly terminating constructs 576 On subgoal induction 1976 710 When messages may crawl, II (A sequel to EWD708) 1979 111 Error checking1964 412 Euclid’s algorithm revisited 576pubOn subgoal induction 1982 711 Trip report E.W.Dijkstra, Ithaca, Albany, Austin (Texas), 26/5 - 10/6 1979 1979 112 Ruwe schets vertaalproces 1964 413 The formal treatment of some small examples 577 Tripreport E.W.Dijkstra, ECI-conference 9-12 August 1976, Amsterdam 1976 712 Trip report E.W.Dijkstra, Antwerp, 24-29 June 19791979 113 Segment control 1964 415 A beautiful proof of a probably useless theorem (with W.H.J.Feijen) n.d. 577pubTripreport E.W.Dijkstra, ECI-conference 9-12 August 1976, Amsterdam 1982 713 On a problem posed by W.H.J.Feijen 1979 116 De bankiersalgorithme en verfijningen daarvan n.d. 416 On avoiding the infinite n.d. 578 More about the function “fusc” (A sequel to EWD570) 1976 714 Trip report E.W.Dijkstra, Mission Viejo, Santa Cruz, Austin, 29 July - 8 September 1979 1979 117 Programming considered as a human activity n.d. 417 On the abolishment of the subscripted variable 1974 578pubMore about the function “fusc” (A sequel to EWD570) 1982 715 Trip report E.W.Dijkstra, Munich - London, 16-29 September 19791979 117pubProgramming considered as a human activity n.d. 418 Guarded commands, non-determinacy and a calculus for the derivation of programs 1974 580 Waarom de onderafdeling der wiskunde zich met de informatica moet bezighouden 1976 716 A short talk to my students about money 1979 118 Communicatiebuffering voor de EL-X8 - T.H.E. 1965 420 Tripreport E.W.Dijkstra, Luxembourg, 7 - 12 April 1974 1974 581 A somewhat open letter to Professor John McCarthy1976 717 An exercise in exposition 1979 123 Cooperating sequential processes 1968 423 Trip report E.W.Dijkstra, W.G.2.3 Meeting “Boldern” 28th April - 3rd May 1974 1974 582 A proof of a theorem communicated to us by S.Ghosh (with C.S.Scholten) 1976 718 Assembly conventions for the EDSAC 1979 123pubCooperating sequential processes 1968 424 An essay on the notion: “the scope of variables” 582pubA proof of a theorem communicated to us by S.Ghosh 1982 719 On not duplicating volatile information 1979 126 The multiprogramming system for the EL X8 THE 1965 425 Trip report E.W.Dijkstra, USA and Canada, 5th - 25th May 1974 1974 583 Eerste toespraak tot mijn studenten, najaar 1976 1976 720 Why correctness must be a mathematical concern 1979 130 A sequel to EWD126 n.d. 426 Self-stabilizing systems in spite of distributed control 1974 584 Tripreport E.W.Dijkstra, Poland and USSR, 4-25 September 1976 1976 721 The design of a state space with a useful structure (I) 1979 NN131Verslag van bezoek aan de Arbeitstagung fuer Automatentheorie te Hanover 426pubSelf-stabilizing systems in spite of distributed control 1974 584pubTripreport E.W.Dijkstra, Poland and USSR, 4-25 September 1976 1982 722 A book review for the IBM Systems Journal 1979 137 Heel kort verslag bezoek aan het symposium over Multi Access Computers, 2-4 november 427 Speech at the occasion of an anniversary 1974 585 Tripreport E.W.Dijkstra, Tokyo, 28 Sep.—3 Oct.