EWDthesis. Communication with an Automatic Computer, Edsger W. Dijkstra
@phdthesis{EWD:EWDthesis,
author = "Edsger W. Dijkstra",
title = "Communication with an {A}utomatic {C}omputer",
year = "1959",
publisher = "Excelsior",
school = "University of Amsterdam",
url = "http://www.cs.utexas.edu/users/EWD/PhDthesis/PhDthesis.PDF",
fileSize = 5263 KB
}
CR1956.008. Capita uit de numerieke wiskunde, A. van Wijngaarden and J. Berghuis and Edsger W. Dijkstra
@techreport{EWD:CR1956.008,
author = "A. van Wijngaarden and J. Berghuis and Edsger W. Dijkstra",
title = "Capita uit de numerieke wiskunde",
year = "1956",
institution = "Mathematisch Centrum, Amsterdam",
number = 8,
series = "Colloquium 1955/56",
url = "http://www.cs.utexas.edu/users/EWD/MCReps/CR1956-008.PDF",
fileSize = 140 KB
}
CR1957.009. Cursus: Programmeren voor automatische rekenmachines, T. J. Dekker and Edsger W. Dijkstra and A. van Wijngaarden
@techreport{EWD:CR1957.009,
author = "T. J. Dekker and Edsger W. Dijkstra and A. van Wijngaarden",
title = "Cursus: {P}rogrammeren voor automatische rekenmachines",
year = "1957",
institution = "Mathematisch Centrum, Amsterdam",
number = 9,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/CR1957-009.PDF",
fileSize = 3194 KB
}
CR1970.013. Cursus programmeren in algol 60 : 11e uitg, Edsger W. Dijkstra
@techreport{EWD:CR1970.013,
author = "Edsger W. Dijkstra",
title = "Cursus programmeren in algol 60 : 11e uitg",
year = "1970",
institution = "Mathematisch Centrum, Amsterdam",
url = "http://www.cs.utexas.edu/users/EWD/MCReps/CR1970-013.PDF",
fileSize = 2034 KB
}
MR12. Functionele beschrijving van de arra, Edsger W. Dijkstra
@techreport{EWD:MR12,
author = "Edsger W. Dijkstra",
title = "Functionele beschrijving van de arra",
year = "1953",
institution = "Mathematisch Centrum, Amsterdam",
number = 12,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR12.PDF",
fileSize = 1423 KB
}
MR14. In- en uitvoer van de arra, Edsger W. Dijkstra
@techreport{EWD:MR14,
author = "Edsger W. Dijkstra",
title = "In- en uitvoer van de arra",
year = "1954",
institution = "Mathematisch Centrum, Amsterdam",
number = 14,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR14.PDF",
fileSize = 523 KB
}
MR16. ``Drijvende-Komma''-Rekentechniek : (ARRA-subroutines Rd1 en Rd2), Edsger W. Dijkstra
@techreport{EWD:MR16,
author = "Edsger W. Dijkstra",
title = "``Drijvende-{K}omma''-{R}ekentechniek : ({ARRA}-subroutines {Rd1} en {Rd2})",
month = sep,
year = "1954",
institution = "Mathematisch Centrum, Amsterdam",
number = 16,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR16.PDF",
fileSize = 513 KB
}
MR17. Handboek voor de programmeur (ferta), 1, Edsger W. Dijkstra
@techreport{EWD:MR17,
author = "Edsger W. Dijkstra",
title = "Handboek voor de programmeur (ferta), 1",
year = "1955",
institution = "Mathematisch Centrum, Amsterdam",
number = 17,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR17.PDF",
fileSize = 1515 KB
}
MR20. Handboek voor de programmeur (ferta), 2, Edsger W. Dijkstra
@techreport{EWD:MR20,
author = "Edsger W. Dijkstra",
title = "Handboek voor de programmeur (ferta), 2",
year = "1955",
institution = "Mathematisch Centrum, Amsterdam",
number = 20,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR20.PDF",
fileSize = 1118 KB
}
MR21. Het communicatieprogramma van de arra, Edsger W. Dijkstra
@techreport{EWD:MR21,
author = "Edsger W. Dijkstra",
title = "Het communicatieprogramma van de arra",
year = "1955",
institution = "Mathematisch Centrum, Amsterdam",
number = 21,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR21.PDF",
fileSize = 907 KB
}
MR23. Korte beschrijving van de opdrachtencode etc. voor ARMAC, Edsger W. Dijkstra
@techreport{EWD:MR23,
author = "Edsger W. Dijkstra",
title = "Korte beschrijving van de opdrachtencode etc. voor {ARMAC}",
year = "1956",
institution = "Mathematisch Centrum, Amsterdam",
number = 23,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR23.PDF",
fileSize = 389 KB
}
MR24. Het standaard-typprogramma van ARMAC, Edsger W. Dijkstra
@techreport{EWD:MR24,
author = "Edsger W. Dijkstra",
title = "Het standaard-typprogramma van {ARMAC}",
year = "1956",
institution = "Mathematisch Centrum, Amsterdam",
number = 24,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR24.PDF",
fileSize = 337 KB
}
MR25. Programmering voor de ARMAC, 1 : Algemeen, Edsger W. Dijkstra
@techreport{EWD:MR25,
author = "Edsger W. Dijkstra",
title = "Programmering voor de {ARMAC}, 1 : {A}lgemeen",
year = "1956",
institution = "Mathematisch Centrum, Amsterdam",
number = 25,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR25.PDF",
fileSize = 1814 KB
}
MR25a. Programmering voor de ARMAC, 1a : Algemeen, Edsger W. Dijkstra
@techreport{EWD:MR25a,
author = "Edsger W. Dijkstra",
title = "Programmering voor de {ARMAC}, 1a : {A}lgemeen",
year = "1957",
institution = "Mathematisch Centrum, Amsterdam",
number = 25a,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR25a.PDF",
fileSize = 787 KB
}
MR26. Programmering voor de ARMAC, 2 : De inhoud der geblokkeerde kanalen, Edsger W. Dijkstra
@techreport{EWD:MR26,
author = "Edsger W. Dijkstra",
title = "Programmering voor de {ARMAC}, 2 : {D}e inhoud der geblokkeerde kanalen",
year = "1956",
institution = "Mathematisch Centrum, Amsterdam",
number = 26,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR26.PDF",
fileSize = 555 KB
}
MR27. Programmering voor de ARMAC, 3, Edsger W. Dijkstra
@techreport{EWD:MR27,
author = "Edsger W. Dijkstra",
title = "Programmering voor de {ARMAC}, 3",
year = "1956",
institution = "Mathematisch Centrum, Amsterdam",
number = 27,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR27.PDF",
fileSize = 786 KB
}
MR29. Programmering voor de ARMAC, 5 , Edsger W. Dijkstra
@techreport{EWD:MR29,
author = "Edsger W. Dijkstra",
title = "Programmering voor de {ARMAC}, 5 ",
year = "1957",
institution = "Mathematisch Centrum, Amsterdam",
number = 29,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR29.PDF",
fileSize = 618 KB
}
NumerMath59. A note on two problems in connexion with graphs., Edsger. W. Dijkstra
@article{EWD:NumerMath59,
author = "Edsger. W. Dijkstra",
title = "A note on two problems in connexion with graphs.",
year = "1959",
journal = "Numerische Mathematik",
volume = 1,
pages = {269--271}
url = "http://gdzdoc.sub.uni-goettingen.de/sub/digbib/loader?did=D196313",
filesize = 256 KB
}
NumerMath60. Recursive Programming, Edsger W. Dijkstra
@article{EWD:NumerMath60,
author = "Edsger W. Dijkstra",
title = "Recursive Programming",
year = "1960",
journal = "Numerische Mathematik",
volume = 2,
pages = {312--318},
url = "http://gdzdoc.sub.uni-goettingen.de/sub/digbib/loader?did=D196346",
fileSize = 912 KB
}
MR34. On the design of machine independent programming languages, Edsger W. Dijkstra
@techreport{EWD:MR34,
author = "Edsger W. Dijkstra",
title = "On the design of machine independent programming languages",
month = oct,
year = "1961",
institution = "Mathematisch Centrum, Amsterdam",
number = 34,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR34.PDF",
fileSize = 731 KB
}
MR35. Algol 60 translation : An Algol 60 translator for the x1 and Making a translator for Algol 60, Edsger W. Dijkstra
@techreport{EWD:MR35,
author = "Edsger W. Dijkstra",
title = "Algol 60 translation : {A}n {A}lgol 60 translator for the x1 and {M}aking a translator for {A}lgol 60",
year = "1961",
institution = "Mathematisch Centrum, Amsterdam",
number = 35,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR35.PDF",
fileSize = 1032 KB
}
MR46. An attempt to unify the constituent concepts of serial program execution , Edsger W. Dijkstra
@techreport{EWD:MR46,
author = "Edsger W. Dijkstra",
title = "An attempt to unify the constituent concepts of serial program execution ",
month = jan,
year = "1962",
institution = "Mathematisch Centrum, Amsterdam",
number = 46,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR46.PDF",
fileSize = 509 KB
}
MR55. Objectprogramma, gegenereerd door de M.C.-vertaler : (intern rapport), Edsger W. Dijkstra
@techreport{EWD:MR55,
author = "Edsger W. Dijkstra",
title = "Objectprogramma, gegenereerd door de {M.C.}-vertaler : (intern rapport)",
month = jan,
year = "1963",
institution = "Mathematisch Centrum, Amsterdam",
number = 55,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/MR55.PDF",
fileSize = 551 KB
}
ZW1957-002. A method to investigate primality, Edsger W. Dijkstra
@techreport{EWD:ZW1957-002,
author = "Edsger W. Dijkstra",
title = "A method to investigate primality",
month = jan,
year = "1957",
institution = "Mathematisch Centrum, Amsterdam",
number = 2,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/ZW1957-002.PDF",
fileSize = 84 KB
}
ZW1960-001. Kortste bomen uit een graph, Edsger W. Dijkstra
@techreport{EWD:ZW1960-001,
author = "Edsger W. Dijkstra",
title = "Kortste bomen uit een graph",
month = jan,
year = "1960",
institution = "Mathematisch Centrum, Amsterdam",
number = 1,
url = "http://www.cs.utexas.edu/users/EWD/MCReps/ZW1960-001.PDF",
fileSize = 264 KB
}
EWD28. Substitution processes, Edsger W. Dijkstra
@unpublished{EWD:EWD28,
author = "Edsger W. Dijkstra",
title = "Substitution processes",
month = jan,
year = "1962",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD28.PDF",
fileSize = 312 KB
}
EWD32. Some meditations on Advanced Programming, Edsger W. Dijkstra
@unpublished{EWD:EWD35,
author = "Edsger W. Dijkstra",
title = "Some meditations on Advanced Programming",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD32.PDF",
fileSize = 584 KB
}
NN33. Ontwerpschets ontwikkelingsplan. 24 oktober 1962, Edsger W. Dijkstra
@unpublished{EWD:NN33,
author = "Edsger W. Dijkstra",
title = "Ontwerpschets ontwikkelingsplan. 24 oktober 1962",
month = oct,
year = "1962",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN033.PDF",
fileSize = 63 KB
}
NN34. Ontwerp voor ``Letter to the Manufacturers'', Edsger W. Dijkstra
@unpublished{EWD:NN34,
author = "Edsger W. Dijkstra",
title = "Ontwerp voor ``{L}etter to the {M}anufacturers''",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN034.PDF",
fileSize = 156 KB
}
NN35. De logische automaat in academisch milieu, Edsger W. Dijkstra
@unpublished{EWD:NN35,
author = "Edsger W. Dijkstra",
title = "De logische automaat in academisch milieu",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN035.PDF",
fileSize = 705 KB
}
EWD35. Over de sequentialiteit van procesbeschrijvingen, Edsger W. Dijkstra
@unpublished{EWD:EWD35,
author = "Edsger W. Dijkstra",
title = "Over de sequentialiteit van procesbeschrijvingen",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD35.PDF",
fileSize = 888 KB
}
NN36. Excerpt reactie's van fabrikanten, Edsger W. Dijkstra
@unpublished{EWD:NN36,
author = "Edsger W. Dijkstra",
title = "Excerpt reactie's van fabrikanten",
month = jan,
year = "1963",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN036.PDF",
fileSize = 201 KB
}
NN37. 2de Excerpt reactie van fabrikanten, Edsger W. Dijkstra
@unpublished{EWD:NN37,
author = "Edsger W. Dijkstra",
title = "2de {E}xcerpt reactie van fabrikanten",
month = jan,
year = "1963",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN037.PDF",
fileSize = 234 KB
}
EWD37. A review of the IBM 1620 Data Processing System, Edsger W. Dijkstra
@unpublished{EWD:EWD37,
author = "Edsger W. Dijkstra",
title = "A review of the {IBM} 1620 {D}ata {P}rocessing {S}ystem",
month = jan,
year = "1963",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD37.PDF",
fileSize = 205 KB
}
NN38. My dear friends, Edsger W. Dijkstra
@unpublished{EWD:NN38,
author = "Edsger W. Dijkstra",
title = "My dear friends",
month = jan,
year = "1963",
note = "cover letter for submission of {\cite EWD:EWD37} to {\it Commun. ACM}; circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN038.PDF",
fileSize = 36 KB
}
EWD41. Het vectorgeheugen, Edsger W. Dijkstra
@unpublished{EWD:EWD41,
author = "Edsger W. Dijkstra",
title = "Het vectorgeheugen",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD41.PDF",
fileSize = 272 KB
}
NN41. 3de Excerpt reactie's van fabrikanten, Edsger W. Dijkstra
@unpublished{EWD:NN41,
author = "Edsger W. Dijkstra",
title = "3de {E}xcerpt reactie's van fabrikanten",
month = feb,
year = "1963",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN041.PDF",
fileSize = 266 KB
}
NN42. Excerpt reactie's van fabrikanten. no 4, Edsger W. Dijkstra
@unpublished{EWD:NN42,
author = "Edsger W. Dijkstra",
title = "Excerpt reactie's van fabrikanten. no 4",
month = mar,
year = "1963",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN042.PDF",
fileSize = 230 KB
}
EWD51. Multiprogrammering en de X8, Edsger W. Dijkstra
@unpublished{EWD:EWD51,
author = "Edsger W. Dijkstra",
title = "Multiprogrammering en de X8",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD51.PDF",
fileSize = 296 KB
}
EWD54. Multiprogrammering en de X8 (Vervolg van EWD51), Edsger W. Dijkstra
@unpublished{EWD:EWD54,
author = "Edsger W. Dijkstra",
title = "Multiprogrammering en de {X8} ({V}ervolg van {EWD51})",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD54.PDF",
fileSize = 468 KB
}
EWD57. Multiprogrammering en de X8 (Vervolg van EWD54), Edsger W. Dijkstra
@unpublished{EWD:EWD57,
author = "Edsger W. Dijkstra",
title = "Multiprogrammering en de {X8} ({V}ervolg van {EWD54})",
month = jun,
year = "1963",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD57.PDF",
fileSize = 449 KB
}
EWD62. Notitie over de aansluiting en de programmering van de teleprinter, Edsger W. Dijkstra
@unpublished{EWD:EWD62,
author = "Edsger W. Dijkstra",
title = "Notitie over de aansluiting en de programmering van de teleprinter",
month = jul,
year = "1963",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD62.PDF",
fileSize = 252 KB
}
NN62. Motivering van de keuze, Edsger W. Dijkstra
@unpublished{EWD:NN62,
author = "Edsger W. Dijkstra",
title = "Motivering van de keuze",
month = jun,
year = "1963",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN062.PDF",
fileSize = 135 KB
}
EWD65. Over Jansen, Edsger W. Dijkstra
@unpublished{EWD:EWD65,
author = "Edsger W. Dijkstra",
title = "Over {J}ansen",
month = sep,
year = "1963",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD65.PDF",
fileSize = 153 KB
}
EWD68. Some comments on the aims of MIRFAC, Edsger W. Dijkstra
@unpublished{EWD:EWD68,
author = "Edsger W. Dijkstra",
title = "Some comments on the aims of {MIRFAC}",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD68.PDF",
fileSize = 87 KB
}
EWD69. Over stapeladministratie, Edsger W. Dijkstra
@unpublished{EWD:EWD69,
author = "Edsger W. Dijkstra",
title = "Over stapeladministratie",
month = nov,
year = "1963",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD69.PDF",
fileSize = 109 KB
}
EWD70. Over stapeladministratie. II, Edsger W. Dijkstra
@unpublished{EWD:EWD70,
author = "Edsger W. Dijkstra",
title = "Over stapeladministratie. {II}",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD70.PDF",
fileSize = 105 KB
}
EWD71. Over pagina-administratie, Edsger W. Dijkstra
@unpublished{EWD:EWD71,
author = "Edsger W. Dijkstra",
title = "Over pagina-administratie",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD71.PDF",
fileSize = 145 KB
}
EWD72. Over trommelpaginatransporten, Edsger W. Dijkstra
@unpublished{EWD:EWD72,
author = "Edsger W. Dijkstra",
title = "Over trommelpaginatransporten",
month = dec,
year = "1963",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD72.PDF",
fileSize = 149 KB
}
EWD74. Over seinpalen, Edsger W. Dijkstra
@unpublished{EWD:EWD74,
author = "Edsger W. Dijkstra",
title = "Over seinpalen",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD74.PDF",
fileSize = 309 KB
}
EWD75. Over standaardroutines, Edsger W. Dijkstra
@unpublished{EWD:EWD75,
author = "Edsger W. Dijkstra",
title = "Over standaardroutines",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD75.PDF",
fileSize = 602 KB
}
EWD77. Het controlerende communicatieapparaat, Edsger W. Dijkstra
@unpublished{EWD:EWD77,
author = "Edsger W. Dijkstra",
title = "Het controlerende communicatieapparaat",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD77.PDF",
fileSize = 138 KB
}
EWD82. Een ponsbandorganisatie voor de X8, Edsger W. Dijkstra
@unpublished{EWD:EWD82,
author = "Edsger W. Dijkstra",
title = "Een ponsbandorganisatie voor de {X8}",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD82.PDF",
fileSize = 275 KB
}
EWD84. Over paginaadministratie, Edsger W. Dijkstra
@unpublished{EWD:EWD84,
author = "Edsger W. Dijkstra",
title = "Over paginaadministratie",
month = may,
year = "1964",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD84.PDF",
fileSize = 516 KB
}
EWD86. Bezettingsadministratie der trommelpagina's, Edsger W. Dijkstra
@unpublished{EWD:EWD86,
author = "Edsger W. Dijkstra",
title = "Bezettingsadministratie der trommelpagina's",
month = may,
year = "1964",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD86.PDF",
fileSize = 64 KB
}
EWD89. Over formal locations, Edsger W. Dijkstra
@unpublished{EWD:EWD89,
author = "Edsger W. Dijkstra",
title = "Over formal locations",
month = jun,
year = "1964",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD89.PDF",
fileSize = 358 KB
}
EWD91. Samenvatting van oordeel over het ``Voorstel tot aanschaffing van een digitale informatieverwerkende machine voor de afdeling der elektrotechniek'', Edsger W. Dijkstra
@unpublished{EWD:EWD91,
author = "Edsger W. Dijkstra",
title = "Samenvatting van oordeel over het ``{V}oorstel tot aanschaffing van een digitale informatieverwerkende machine voor de afdeling der elektrotechniek''",
month = jun,
year = "1964",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD91.PDF",
fileSize = 327 KB
}
EWD96. Embedding complex arithmetic, Edsger W. Dijkstra
@unpublished{EWD:EWD96,
author = "Edsger W. Dijkstra",
title = "Embedding complex arithmetic",
month = aug,
year = "1964",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd00xx/EWD96.PDF",
fileSize = 137 KB
}
EWD101. Description of the object program, Edsger W. Dijkstra
@unpublished{EWD:EWD101,
author = "Edsger W. Dijkstra",
title = "Description of the object program",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD101.PDF",
fileSize = 394 KB
}
EWD102. Description of the object program, II, Edsger W. Dijkstra
@unpublished{EWD:EWD102,
author = "Edsger W. Dijkstra",
title = "Description of the object program, {II}",
month = sep,
year = "1964",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD102.PDF",
fileSize = 180 KB
}
EWD105. Description of the object program (a sequel to EWD102), Edsger W. Dijkstra
@unpublished{EWD:EWD105,
author = "Edsger W. Dijkstra",
title = "Description of the object program (a sequel to {EWD102})",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD105.PDF",
fileSize = 232 KB
}
EWD108. Een algorithme ter voorkoming van de dodelijke omarming, Edsger W. Dijkstra
@unpublished{EWD:EWD108,
author = "Edsger W. Dijkstra",
title = "Een algorithme ter voorkoming van de dodelijke omarming",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD108.PDF",
fileSize = 33 KB
}
EWD111. Error checking, Edsger W. Dijkstra
@unpublished{EWD:EWD111,
author = "Edsger W. Dijkstra",
title = "Error checking",
month = dec,
year = "1964",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD111.PDF",
fileSize = 72 KB
}
EWD112. Ruwe schets vertaalproces, Edsger W. Dijkstra
@unpublished{EWD:EWD112,
author = "Edsger W. Dijkstra",
title = "Ruwe schets vertaalproces",
month = dec,
year = "1964",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD112.PDF",
fileSize = 41 KB
}
EWD113. Segment control, Edsger W. Dijkstra
@unpublished{EWD:EWD113,
author = "Edsger W. Dijkstra",
title = "Segment control",
month = dec,
year = "1964",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD113.PDF",
fileSize = 286 KB
}
EWD116. De bankiersalgorithme en verfijningen daarvan, Edsger W. Dijkstra
@unpublished{EWD:EWD116,
author = "Edsger W. Dijkstra",
title = "De bankiersalgorithme en verfijningen daarvan",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD116.PDF",
fileSize = 128 KB
}
EWD117. Programming considered as a human activity, Edsger W. Dijkstra
@unpublished{EWD:EWD117,
author = "Edsger W. Dijkstra",
title = "Programming considered as a human activity",
year = "n.d.",
organization = "IFIP",
note = "published as {\cite EWD:EWD117pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD117.PDF",
fileSize = 230 KB
}
NN117. Problem/Solution, Edsger W. Dijkstra
@unpublished{EWD:NN117,
author = "Edsger W. Dijkstra",
title = "Problem/{S}olution",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN117.PDF",
fileSize = 22 KB
}
EWD117pub. Programming considered as a human activity, Edsger W. Dijkstra
@inproceedings{EWD:EWD117pub,
author = "Edsger W. Dijkstra",
title = "Programming considered as a human activity",
year = "n.d.",
booktitle = "Proc. IFIP Congress",
volume = 65,
pages = {213--217}
}
EWD118. Communicatiebuffering voor de EL-X8 -- T.H.E., Edsger W. Dijkstra
@unpublished{EWD:EWD118,
author = "Edsger W. Dijkstra",
title = "Communicatiebuffering voor de {EL-X8 -- T.H.E.}",
month = feb,
year = "1965",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD118.PDF",
fileSize = 261 KB
}
EWD123. Cooperating sequential processes, Edsger W. Dijkstra
@unpublished{EWD:EWD123,
author = "Edsger W. Dijkstra",
title = "Cooperating sequential processes",
year = "1968",
note = "published as {\cite EWD:EWD123pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD123.PDF",
fileSize = 1691 KB
}
EWD123pub. Cooperating sequential processes, Edsger W. Dijkstra
@incollection{EWD:EWD123pub,
author = "Edsger W. Dijkstra",
title = "Cooperating sequential processes",
year = "1968",
booktitle = "Programming Languages: NATO Advanced Study Institute",
editor = "F. Genuys ",
publisher = "Academic Press",
pages = {43--112}
}
EWD126. The multiprogramming system for the EL X8 THE, Edsger W. Dijkstra
@unpublished{EWD:EWD126,
author = "Edsger W. Dijkstra",
title = "The multiprogramming system for the {EL X8 THE}",
month = jun,
year = "1965",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD126.PDF",
fileSize = 311 KB
}
EWD130. A sequel to EWD126, Edsger W. Dijkstra
@unpublished{EWD:EWD130,
author = "Edsger W. Dijkstra",
title = "A sequel to {EWD126}",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD130.PDF",
fileSize = 472 KB
}
NN130. Verslag van het bezoek aan het IFIP-congres te New York, 24--29 mei 1965, Edsger W. Dijkstra
@unpublished{EWD:NN130,
author = "Edsger W. Dijkstra",
title = "Verslag van het bezoek aan het {IFIP}-congres te {N}ew {Y}ork, 24--29 mei 1965",
month = jun,
year = "1965",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN130.PDF",
fileSize = 69 KB
}
EWD131. Verslag van bezoek aan de Arbeitstagung fuer Automatentheorie te Hanover, Edsger W. Dijkstra
@unpublished{EWD:EWD131,
author = "Edsger W. Dijkstra",
title = "Verslag van bezoek aan de Arbeitstagung fuer Automatentheorie te Hanover.",
year = "1965",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD131.PDF",
fileSize = 216 KB
}
EWD132. An Experiment with the "record class" as suggested by C.A.R.Hoare, Edsger W. Dijkstra
@unpublished{EWD:EWD132,
author = "Edsger W. Dijkstra",
title = "An Experiment with the ``record class'' as suggested by C.A.R.Hoare.",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD132.PDF",
fileSize = 304 KB
}
CACM 8,9:569. Solution of a problem in concurrent programming control, Edsger W. Dijkstra
@article{EWD:CACM1965,
author = "Edsger W. Dijkstra",
title = "Solution of a problem in concurrent programming control",
year = "1965",
journal = "Comm. ACM",
volume = 8,
number = 9,
pages = {569},
url = "http://doi.acm.org/10.1145/365559.365617",
fileSize = 115 KB
}
EWD137. Heel kort verslag bezoek aan het symposium over Multi Access Computers, 2--4 november 1965 in het NPL, Edsger W. Dijkstra
@unpublished{EWD:EWD137,
author = "Edsger W. Dijkstra",
title = "Heel kort verslag bezoek aan het symposium over {M}ulti {A}ccess {C}omputers, 2--4 november 1965 in het {NPL}",
month = nov,
year = "1965",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD137.PDF"
}
EWD139. Appreciatie van ponskaarten, Edsger W. Dijkstra
@unpublished{EWD:EWD139,
author = "Edsger W. Dijkstra",
title = "Appreciatie van ponskaarten",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD139.PDF",
fileSize = 144 KB
}
EWD140. Documentatie over de communicatie apparatuur aan de EL X8, Edsger W. Dijkstra
@unpublished{EWD:EWD140,
author = "Edsger W. Dijkstra",
title = "Documentatie over de communicatie apparatuur aan de {EL X8}",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD140.PDF",
fileSize = 549 KB
}
EWD145. Globale beschrijving van de drijvende arithmetiek van de EL X8, Edsger W. Dijkstra
@unpublished{EWD:EWD145,
author = "Edsger W. Dijkstra",
title = "Globale beschrijving van de drijvende arithmetiek van de {EL X8}",
month = dec,
year = "1965",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD145.PDF",
fileSize = 83 KB
}
EWD147. Proposal for the input and the notation of the system, Edsger W. Dijkstra
@unpublished{EWD:EWD147,
author = "Edsger W. Dijkstra",
title = "Proposal for the input and the notation of the system",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD147.PDF",
fileSize = 153 KB
}
EWD149. Documentatie over de communicatieapparatuur aan de EL X8 (vervanging van EWD140), Edsger W. Dijkstra
@unpublished{EWD:EWD149,
author = "Edsger W. Dijkstra",
title = "Documentatie over de communicatieapparatuur aan de {EL X8} (vervanging van {EWD140})",
month = jan,
year = "1966",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD149.PDF",
fileSize = 597 KB
}
EWD150. Tentamenopgave ``Cooperating Sequential Processes'', Edsger W. Dijkstra
@unpublished{EWD:EWD150,
author = "Edsger W. Dijkstra",
title = "Tentamenopgave ``{C}ooperating {S}equential {P}rocesses''",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD150.PDF",
fileSize = 58 KB
}
EWD155. Context dependent names, Edsger W. Dijkstra
@unpublished{EWD:EWD155,
author = "Edsger W. Dijkstra",
title = "Context dependent names",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD155.PDF",
fileSize = 269 KB
}
EWD157. Over de sequentiele interpretatie van een ponsband, Edsger W. Dijkstra
@unpublished{EWD:EWD157,
author = "Edsger W. Dijkstra",
title = "Over de sequentiele interpretatie van een ponsband",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD157.PDF",
fileSize = 181 KB
}
EWD158. Tentamenopgave ``Cooperating Sequential Processes'' (april 1966), Edsger W. Dijkstra
@unpublished{EWD:EWD158,
author = "Edsger W. Dijkstra",
title = "Tentamenopgave ``{C}ooperating {S}equential {P}rocesses'' (april 1966)",
month = apr,
year = "1966",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD158.PDF",
fileSize = 19 KB
}
NN158. Aan de leden van de Z8-commissie [Over Michael], Edsger W. Dijkstra
@unpublished{EWD:NN158,
author = "Edsger W. Dijkstra",
title = "Aan de leden van de {Z8}-commissie [{O}ver {M}ichael]",
month = may,
year = "1966",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN158.PDF",
fileSize = 40 KB
}
EWD161. Sequentiele interpretatie van ponsband, Edsger W. Dijkstra
@unpublished{EWD:EWD161,
author = "Edsger W. Dijkstra",
title = "Sequentiele interpretatie van ponsband",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD161.PDF",
fileSize = 332 KB
}
EWD163. Eerste verkenning over de dood van programma's, Edsger W. Dijkstra
@unpublished{EWD:EWD163,
author = "Edsger W. Dijkstra",
title = "Eerste verkenning over de dood van programma's",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD163.PDF",
fileSize = 135 KB
}
EWD164. Keuze tussen symcharf en symchart, Edsger W. Dijkstra
@unpublished{EWD:EWD164,
author = "Edsger W. Dijkstra",
title = "Keuze tussen symcharf en symchart",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD164.PDF",
fileSize = 30 KB
}
EWD167. Aan de leden van de onderafdelingsvergadering, Edsger W. Dijkstra
@unpublished{EWD:EWD167,
author = "Edsger W. Dijkstra",
title = "Aan de leden van de onderafdelingsvergadering",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD167.PDF",
fileSize = 65 KB
}
EWD184. Ir.Medema, Ir.Hendriks, weledelgestrenge heren!, Edsger W. Dijkstra
@unpublished{EWD:EWD184,
author = "Edsger W. Dijkstra",
title = "Ir.{M}edema, {I}r.{H}endriks, weledelgestrenge heren!",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD184.PDF",
fileSize = 52 KB
}
EWD188. Over een academische opleiding tot ``Computer Scientist'', Edsger W. Dijkstra
@unpublished{EWD:EWD188,
author = "Edsger W. Dijkstra",
title = "Over een academische opleiding tot ``{C}omputer {S}cientist''",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD188.PDF",
fileSize = 162 KB
}
NN188. Over de ``hot line'' (VERTROUWELIJK), Edsger W. Dijkstra
@unpublished{EWD:NN188,
author = "Edsger W. Dijkstra",
title = "Over de ``hot line'' ({VERTROUWELIJK})",
month = feb,
year = "1962",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN188.PDF",
fileSize = 47 KB
}
EWD190. Tentamen ``Co-operating Sequential Processes'', Edsger W. Dijkstra
@unpublished{EWD:EWD190,
author = "Edsger W. Dijkstra",
title = "Tentamen ``{Co}-operating {S}equential {P}rocesses''",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD190.PDF",
fileSize = 43 KB
}
EWD191. Aan de Commissie Wetenschapsbeleid ter zake van Automatiseringswiskunde aan de THE, Edsger W. Dijkstra
@unpublished{EWD:EWD191,
author = "Edsger W. Dijkstra",
title = "Aan de {C}ommissie {W}etenschapsbeleid ter zake van {A}utomatiseringswiskunde aan de {THE}",
month = feb,
year = "1967",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD191.PDF",
fileSize = 127 KB
}
EWD194. Het einde van een ambacht, Edsger W. Dijkstra
@unpublished{EWD:EWD194,
author = "Edsger W. Dijkstra",
title = "Het einde van een ambacht",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD194.PDF",
fileSize = 69 KB
}
EWD196. The structure of the ``THE''-multiprogramming system, Edsger W. Dijkstra
@unpublished{EWD:EWD196,
author = "Edsger W. Dijkstra",
title = "The structure of the ``{THE}''-multiprogramming system",
year = "1968",
note = "published as {\cite EWD:EWD196pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD196.PDF",
fileSize = 337 KB
}
EWD196pub. The structure of the ``THE''-multiprogramming system, Edsger W. Dijkstra
@article{EWD:EWD196pub,
author = "Edsger W. Dijkstra",
title = "The structure of the ``{THE}''-multiprogramming system",
year = "1968",
journal = "Comm. ACM ",
volume = 11,
number = 5,
pages = {341--346}
}
EWD198. An effort towards structuring of programmed processes, Edsger W. Dijkstra
@unpublished{EWD:EWD198,
author = "Edsger W. Dijkstra",
title = "An effort towards structuring of programmed processes",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd01xx/EWD198.PDF",
fileSize = 325 KB
}
EWD200. The variable size machine, Edsger W. Dijkstra
@unpublished{EWD:EWD200,
author = "Edsger W. Dijkstra",
title = "The variable size machine",
month = jun,
year = "1967",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD200.PDF",
fileSize = 90 KB
}
EWD201. A sequel to EWD200, Edsger W. Dijkstra
@unpublished{EWD:EWD201,
author = "Edsger W. Dijkstra",
title = "A sequel to {EWD200}",
month = jun,
year = "1967",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD201.PDF",
fileSize = 96 KB
}
EWD206. A sequel to EWD201, Edsger W. Dijkstra
@unpublished{EWD:EWD206,
author = "Edsger W. Dijkstra",
title = "A sequel to {EWD201}",
month = jul,
year = "1967",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD206.PDF",
fileSize = 86 KB
}
EWD209. A constructive approach to the problem of program correctness, Edsger W. Dijkstra
@unpublished{EWD:EWD209,
author = "Edsger W. Dijkstra",
title = "A constructive approach to the problem of program correctness",
month = aug,
year = "1967",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD209.PDF",
fileSize = 305 KB
}
EWD209A. A constructive approach to the problem of program correctness, Edsger W. Dijkstra
@unpublished{EWD:EWD209A,
author = "Edsger W. Dijkstra",
title = "A constructive approach to the problem of program correctness",
month = feb,
year = "1968",
note = "published as {\cite EWD:EWD209Apub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD209A.PDF",
fileSize = 373 KB
}
EWD209Apub. A constructive approach to the problem of program correctness, Edsger W. Dijkstra
@article{EWD:EWD209Apub,
author = "Edsger W. Dijkstra",
title = "A constructive approach to the problem of program correctness",
month = feb,
year = "1968",
journal = "BIT ",
volume = 8,
pages = {174--186}
}
EWD214. ACM Symposium in Gatlinburg ``Operating System Principles'', Edsger W. Dijkstra
@unpublished{EWD:EWD214,
author = "Edsger W. Dijkstra",
title = "{ACM} {S}ymposium in {G}atlinburg ``{O}perating {S}ystem {P}rinciples''",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD214.PDF",
fileSize = 48 KB
}
EWD215. A case against the GO TO statement, Edsger W. Dijkstra
@unpublished{EWD:EWD215,
author = "Edsger W. Dijkstra",
title = "A case against the {GO TO} statement",
year = "1968",
note = "letter to the Editor: ``Go To Statement Considered Harmful''; published as {\cite EWD:EWD215pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD215.PDF",
fileSize = 122 KB
}
NN215. Tentamenopgave ``Cooperating Sequential Processes'' (21 juni 1967), Edsger W. Dijkstra
@unpublished{EWD:NN215,
author = "Edsger W. Dijkstra",
title = "Tentamenopgave ``{C}ooperating {S}equential {P}rocesses'' (21 juni 1967)",
month = jun,
year = "1967",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN215.PDF",
fileSize = 18 KB
}
EWD215pub. Go To statement considered harmful, Edsger W. Dijkstra
@article{EWD:EWD215pub,
author = "Edsger W. Dijkstra",
title = "Go {T}o statement considered harmful",
year = "1968",
journal = "Comm. ACM",
volume = 11,
number = 3,
pages = {147--148},
note = "letter to the Editor"
}
EWD221. [Raw code for computing De Bruijn-sequences] , Edsger W. Dijkstra
@unpublished{EWD:EWD221,
author = "Edsger W. Dijkstra",
title = "[Raw code for computing {D}e {B}ruijn-sequences] ",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD221.PDF",
fileSize = 10 KB
}
EWD222. Verslag van het bezoek aan Grenoble en Parijs (6--11 december 1967), Edsger W. Dijkstra
@unpublished{EWD:EWD222,
author = "Edsger W. Dijkstra",
title = "Verslag van het bezoek aan {G}renoble en {P}arijs (6--11 december 1967)",
year = "1967",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD222.PDF",
fileSize = 132 KB
}
EWD224. HEEL VERTROUWELIJK, Edsger W. Dijkstra
@unpublished{EWD:EWD224,
author = "Edsger W. Dijkstra",
title = "{HEEL} {VERTROUWELIJK}",
month = jan,
year = "1968",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD224.PDF",
fileSize = 93 KB
}
EWD227. Stepwise program construction, Edsger W. Dijkstra
@unpublished{EWD:EWD227,
author = "Edsger W. Dijkstra",
title = "Stepwise program construction",
month = feb,
year = "1968",
note = "published as {\cite EWD:EWd227pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD227.PDF",
fileSize = 417 KB
}
EWD227pub. Stepwise program construction, Edsger W. Dijkstra
@incollection{EWD:EWD227pub,
author = "Edsger W. Dijkstra",
title = "Stepwise program construction",
year = "1982",
booktitle = "Selected Writings on Computing: A Personal Perspective",
publisher = "Springer-Verlag",
pages = {1--14}
}
EWD229. Aan de leden van de Commissie Wetenschapsbeleid, Edsger W. Dijkstra
@unpublished{EWD:EWD229,
author = "Edsger W. Dijkstra",
title = "Aan de leden van de {C}ommissie {W}etenschapsbeleid",
month = mar,
year = "1968",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD229.PDF",
fileSize = 47 KB
}
EWD230. To the EDITOR ALGOL 68, Edsger W. Dijkstra
@unpublished{EWD:EWD230,
author = "Edsger W. Dijkstra",
title = "To the {EDITOR} {ALGOL 68}",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD230.PDF",
fileSize = 47 KB
}
EWD231. De Rekenautomaat als Gebruiksvoorwerp, Edsger W. Dijkstra
@unpublished{EWD:EWD231,
author = "Edsger W. Dijkstra",
title = "De {R}ekenautomaat als {G}ebruiksvoorwerp",
month = apr,
year = "1968",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD231.PDF",
fileSize = 399 KB
}
NN231. Tentamenopgave ``Co-operating Sequential Processes'' [22 mei 1968], Edsger W. Dijkstra
@unpublished{EWD:NN231,
author = "Edsger W. Dijkstra",
title = "Tentamenopgave ``{C}o-operating {S}equential {P}rocesses'' [22 mei 1968]",
month = may,
year = "1968",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN231.PDF",
fileSize = 12 KB
}
EWD232. Pretentie en doelstelling van het THE multiprogrammeringsproject, Edsger W. Dijkstra
@unpublished{EWD:EWD232,
author = "Edsger W. Dijkstra",
title = "Pretentie en doelstelling van het {THE} multiprogrammeringsproject",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD232.PDF",
fileSize = 275 KB
}
EWD235. Contractie en expansie, Edsger W. Dijkstra
@unpublished{EWD:EWD235,
author = "Edsger W. Dijkstra",
title = "Contractie en expansie",
month = jun,
year = "1968",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD235.PDF",
fileSize = 165 KB
}
EWD236. Complexity controlled by hierarchical ordering of function and variability, Edsger W. Dijkstra
@unpublished{EWD:EWD236,
author = "Edsger W. Dijkstra",
title = "Complexity controlled by hierarchical ordering of function and variability",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD236.PDF",
fileSize = 124 KB
}
EWD236pub. Complexity controlled by hierarchical ordering of function and variability, Edsger W. Dijkstra
@incollection{EWD:EWD236pub,
author = "Edsger W. Dijkstra",
title = "Complexity controlled by hierarchical ordering of function and variability",
year = "1969",
booktitle = "Software Engineering",
publisher = "NATO Science Committee"
url = "http://homepages.cs.ncl.ac.uk/brian.randell/NATO/nato1968.PDF",
fileSize = 2.3 MB
}
EWD237. A preliminary investigation into Computer Assisted Programming, Edsger W. Dijkstra
@unpublished{EWD:EWD237,
author = "Edsger W. Dijkstra",
title = "A preliminary investigation into {C}omputer {A}ssisted {P}rogramming",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD237.PDF",
fileSize = 214 KB
}
EWD238. Computation versus program, Edsger W. Dijkstra
@unpublished{EWD:EWD238,
author = "Edsger W. Dijkstra",
title = "Computation versus program",
year = "n.d.",
note = "incomplete; circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD238.PDF",
fileSize = 123 KB
}
EWD239. On trading storage against computation time, Edsger W. Dijkstra
@unpublished{EWD:EWD239,
author = "Edsger W. Dijkstra",
title = "On trading storage against computation time",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD239.PDF",
fileSize = 306 KB
}
EWD240. The moral of EWD237 --EWD239, Edsger W. Dijkstra
@unpublished{EWD:EWD240,
author = "Edsger W. Dijkstra",
title = "The moral of {EWD237} --{EWD239}",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD240.PDF",
fileSize = 29 KB
}
EWD241. Towards correct programs, Edsger W. Dijkstra
@unpublished{EWD:EWD241,
author = "Edsger W. Dijkstra",
title = "Towards correct programs",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD241.PDF",
fileSize = 199 KB
}
EWD243. Bijdrage voor de subcommissie Aanschaffingsbeleid Rekenautomaten, Edsger W. Dijkstra
@unpublished{EWD:EWD243,
author = "Edsger W. Dijkstra",
title = "Bijdrage voor de subcommissie {A}anschaffingsbeleid {R}ekenautomaten",
month = sep,
year = "1968",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD243.PDF",
fileSize = 131 KB
}
EWD244. Een educatief dilemma, Edsger W. Dijkstra
@unpublished{EWD:EWD244,
author = "Edsger W. Dijkstra",
title = "Een educatief dilemma",
month = sep,
year = "1968",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD244.PDF",
fileSize = 65 KB
}
EWD245. On useful structuring, Edsger W. Dijkstra
@unpublished{EWD:EWD245,
author = "Edsger W. Dijkstra",
title = "On useful structuring",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD245.PDF",
fileSize = 98 KB
}
EWD246. Verslag van het bezoek aan de NATO Conference on Software Engineering, Edsger W. Dijkstra
@unpublished{EWD:EWD246,
author = "Edsger W. Dijkstra",
title = "Verslag van het bezoek aan de {NATO} {C}onference on {S}oftware {E}ngineering",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD246.PDF",
fileSize = 96 KB
}
EWD247. [``Journal for half-baked Ideas''], Edsger W. Dijkstra
@unpublished{EWD:EWD247,
author = "Edsger W. Dijkstra",
title = "[``Journal for half-baked {I}deas'']",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD247.PDF",
fileSize = 64 KB
}
EWD247a. [Beantwoording ener enquete], Edsger W. Dijkstra
@unpublished{EWD:EWD247,
author = "Edsger W. Dijkstra",
title = "[Beantwoording ener enquete]",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD247a.PDF",
fileSize = 92 KB
}
NN247. Commentaar op het Concept van Benders en Veltkamp, Edsger W. Dijkstra
@unpublished{EWD:NN247,
author = "Edsger W. Dijkstra",
title = "Commentaar op het {C}oncept van {B}enders en {V}eltkamp",
month = dec,
year = "1968",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN247.PDF",
fileSize = 43 KB
}
EWD249. Notes on Structured Programming, Edsger W. Dijkstra
@unpublished{EWD:EWD249,
author = "Edsger W. Dijkstra",
title = "Notes on {S}tructured {P}rogramming",
month = apr,
year = "1970",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF",
fileSize = 2054 KB
}
EWD251. Requirements of programming tools, Edsger W. Dijkstra
@unpublished{EWD:EWD251,
author = "Edsger W. Dijkstra",
title = "Requirements of programming tools",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD251.PDF",
fileSize = 26 KB
}
EWD252. Mijn laatste verslag van een bijeenkomst van W.G.2.1., Edsger W. Dijkstra
@unpublished{EWD:EWD252,
author = "Edsger W. Dijkstra",
title = "Mijn laatste verslag van een bijeenkomst van {W.G.2.1}.",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD252.PDF",
fileSize = 83 KB
}
EWD252a. Ontwerp voorwoord [afstudeerrichting Fundamentele Programmering], Edsger W. Dijkstra
@unpublished{EWD:EWD252a,
author = "Edsger W. Dijkstra",
title = "Ontwerp voorwoord [afstudeerrichting {F}undamentele {P}rogrammering]",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD252a.PDF",
fileSize = 130 KB
}
NN252. Aan de leden van de Onderafdeling der Wiskunde, Edsger W. Dijkstra
@unpublished{EWD:NN252,
author = "Edsger W. Dijkstra",
title = "Aan de leden van de {O}nderafdeling der {W}iskunde",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN252.PDF",
fileSize = 20 KB
}
EWD253. Tentamen Co-operating Sequential Processes (jan. 1969), Edsger W. Dijkstra
@unpublished{EWD:EWD253,
author = "Edsger W. Dijkstra",
title = "Tentamen {C}o-operating {S}equential {P}rocesses (jan. 1969)",
month = jan,
year = "1969",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD253.PDF",
fileSize = 17 KB
}
EWD253a. Ontwerp Collegebeschrijving ``Inleiding tot de kunst van het programmeren'', Edsger W. Dijkstra
@unpublished{EWD:EWD253a,
author = "Edsger W. Dijkstra",
title = "Ontwerp {C}ollegebeschrijving ``{I}nleiding tot de kunst van het programmeren''",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD253a.PDF",
fileSize = 31 KB
}
EWD254. Computer S]cience of enkel Software Engineering?, Edsger W. Dijkstra
@unpublished{EWD:EWD254,
author = "Edsger W. Dijkstra",
title = "Computer {S]cience of enkel {S}oftware {E}ngineering?",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD254.PDF",
fileSize = 72 KB
}
EWD254a. Hoger orde adressering, Edsger W. Dijkstra
@unpublished{EWD:EWD254a,
author = "Edsger W. Dijkstra",
title = "Hoger orde adressering",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD254a.PDF",
fileSize = 193 KB
}
EWD255. Over de IBM360, Edsger W. Dijkstra
@unpublished{EWD:EWD255,
author = "Edsger W. Dijkstra",
title = "Over de {IBM360}",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD255.PDF",
fileSize = 90 KB
}
EWD257. Verslag bezoek aan MIT, Edsger W. Dijkstra
@unpublished{EWD:EWD257,
author = "Edsger W. Dijkstra",
title = "Verslag bezoek aan {MIT}",
month = apr,
year = "1969",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD257.PDF",
fileSize = 69 KB
}
EWD259. Toekomstverwachting Fundamentele Programmering, Edsger W. Dijkstra
@unpublished{EWD:EWD259,
author = "Edsger W. Dijkstra",
title = "Toekomstverwachting {F}undamentele {P}rogrammering",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD259.PDF",
fileSize = 85 KB
}
EWD260. Plotting a curve with a printer, Edsger W. Dijkstra
@unpublished{EWD:EWD260,
author = "Edsger W. Dijkstra",
title = "Plotting a curve with a printer",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD260.PDF",
fileSize = 30 KB
}
EWD261. Hoe wiskundig programmeren is, Edsger W. Dijkstra
@unpublished{EWD:EWD261,
author = "Edsger W. Dijkstra",
title = "Hoe wiskundig programmeren is",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD261.PDF",
fileSize = 20 KB
}
EWD264. On understanding programs, Edsger W. Dijkstra
@unpublished{EWD:EWD264,
author = "Edsger W. Dijkstra",
title = "On understanding programs",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD264.PDF",
fileSize = 112 KB
}
EWD267. Over de toekomst van Computer Science, Edsger W. Dijkstra
@unpublished{EWD:EWD267,
author = "Edsger W. Dijkstra",
title = "Over de toekomst van {C}omputer {S}cience",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD267.PDF",
fileSize = 91 KB
}
EWD268. Structured programming, Edsger W. Dijkstra
@unpublished{EWD:EWD268,
author = "Edsger W. Dijkstra",
title = "Structured programming",
month = aug,
year = "1969",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD268.PDF",
fileSize = 173 KB
}
EWD268pub. Structured programming, Edsger W. Dijkstra
@incollection{EWD:EWD268pub,
author = "Edsger W. Dijkstra",
title = "Structured programming",
month = aug,
year = "1970",
booktitle = "Software Engineering Techniques",
publisher = "NATO Science Committee",
url = "http://homepages.cs.ncl.ac.uk/brian.randell/NATO/nato1969.PDF",
fileSize = 3.2 MB
}
EWD270. Aan de keuzecommissie rekenmachine, Edsger W. Dijkstra
@unpublished{EWD:EWD270,
author = "Edsger W. Dijkstra",
title = "Aan de keuzecommissie rekenmachine",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD270.PDF",
fileSize = 80 KB
}
EWD272. Verslag van de tweede ``Conference on Software Engineering'', georganiseerd door de NATO Science Committee te Rome, 27--31 oktober 1969, Edsger W. Dijkstra
@unpublished{EWD:EWD272,
author = "Edsger W. Dijkstra",
title = "Verslag van de tweede ``{C}onference on {S}oftware {E}ngineering'', georganiseerd door de {NATO} {S}cience {C}ommittee te {R}ome, 27--31 oktober 1969",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD272.PDF",
fileSize = 43 KB
}
EWD273. The programming task considered as an intellectual challenge, Edsger W. Dijkstra
@unpublished{EWD:EWD273,
author = "Edsger W. Dijkstra",
title = "The programming task considered as an intellectual challenge",
month = dec,
year = "1969",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD273.PDF",
fileSize = 504 KB
}
EWD275. Structure of an extendable operating system, Edsger W. Dijkstra
@unpublished{EWD:EWD275,
author = "Edsger W. Dijkstra",
title = "Structure of an extendable operating system",
month = nov,
year = "1969",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD275.PDF",
fileSize = 134 KB
}
EWD278. Organisatie van onderzoek en onderwijs van Fundamentele Programmering, Edsger W. Dijkstra
@unpublished{EWD:EWD278,
author = "Edsger W. Dijkstra",
title = "Organisatie van onderzoek en onderwijs van {F}undamentele {P}rogrammering",
month = nov,
year = "1969",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD278.PDF",
fileSize = 75 KB
}
EWD279. The programming laboratory project, Edsger W. Dijkstra
@unpublished{EWD:EWD279,
author = "Edsger W. Dijkstra",
title = "The programming laboratory project",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD279.PDF",
fileSize = 203 KB
}
EWD281. Aan de Commissie Wetenschapsbeleid, Edsger W. Dijkstra
@unpublished{EWD:EWD281,
author = "Edsger W. Dijkstra",
title = "Aan de {C}ommissie {W}etenschapsbeleid",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD281.PDF",
fileSize = 132 KB
}
EWD282. A tree-structured system, Edsger W. Dijkstra
@unpublished{EWD:EWD282,
author = "Edsger W. Dijkstra",
title = "A tree-structured system",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD282.PDF",
fileSize = 242 KB
}
NN282. Dear WG2.3 Member, Edsger W. Dijkstra
@unpublished{EWD:NN282,
author = "Edsger W. Dijkstra",
title = "Dear {WG2.3} {M}ember",
month = feb,
year = "1970",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/OtherDocs/NN282.PDF",
fileSize = 21 KB
}
EWD286. Verslag van mijn reis naar California, Edsger W. Dijkstra
@unpublished{EWD:EWD286,
author = "Edsger W. Dijkstra",
title = "Verslag van mijn reis naar {C}alifornia",
month = apr,
year = "1970",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD286.PDF",
fileSize = 103 KB
}
EWD287. Sans titre (but most definitely a predecessor to EWD316, ``A short introduction into the art of programming''), Edsger W. Dijkstra
@unpublished{EWD:EWD287,
author = "Edsger W. Dijkstra",
title = "Sans titre (but most definitely a predecessor to {EWD316}, ``{A} short introduction into the art of programming'')",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD287.PDF",
fileSize = 2372 KB
}
EWD288. Concern for correctness as a guiding principle for program construction, Edsger W. Dijkstra
@unpublished{EWD:EWD288,
author = "Edsger W. Dijkstra",
title = "Concern for correctness as a guiding principle for program construction",
month = jul,
year = "1970",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD288.PDF",
fileSize = 279 KB
}
EWD288a. Recensie voor het tijdschrift ``Informatie'', Edsger W. Dijkstra
@unpublished{EWD:EWD288a,
author = "Edsger W. Dijkstra",
title = "Recensie voor het tijdschrift ``{I}nformatie''",
month = jun,
year = "1970",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD288a.PDF",
fileSize = 69 KB
}
EWD292. Letter to professor C.A.R. Hoare (31 August 1970), Edsger W. Dijkstra
@unpublished{EWD:EWD292,
author = "Edsger W. Dijkstra",
title = "Letter to professor {C.A.R.} {H}oare (31 {A}ugust 1970)",
month = aug,
year = "1970",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD292.PDF",
fileSize = 123 KB
}
EWD295. Reisverslag van bezoek aan het Seminar on the Teaching of Programming at University Level, Edsger W. Dijkstra
@unpublished{EWD:EWD295,
author = "Edsger W. Dijkstra",
title = "Reisverslag van bezoek aan het {S}eminar on the {T}eaching of {P}rogramming at {U}niversity {L}evel",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD295.PDF",
fileSize = 82 KB
}
EWD298. Informatica als wiskundige discipline, Edsger W. Dijkstra
@unpublished{EWD:EWD298,
author = "Edsger W. Dijkstra",
title = "Informatica als wiskundige discipline",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD298.PDF",
fileSize = 58 KB
}
EWD300. Exit ``The Programming Laboratory'', Edsger W. Dijkstra
@unpublished{EWD:EWD300,
author = "Edsger W. Dijkstra",
title = "Exit ``{T}he {P}rogramming {L}aboratory''",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD300.PDF",
fileSize = 104 KB
}
EWD302. Design considerations in more detail, Edsger W. Dijkstra
@unpublished{EWD:EWD302,
author = "Edsger W. Dijkstra",
title = "Design considerations in more detail",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD302.PDF",
fileSize = 448 KB
}
EWD303. On the reliability of programs, Edsger W. Dijkstra
@unpublished{EWD:EWD303,
author = "Edsger W. Dijkstra",
title = "On the reliability of programs",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD303.PDF",
fileSize = 427 KB
}
EWD306. Over het gewicht van een informatica-opleiding, Edsger W. Dijkstra
@unpublished{EWD:EWD306,
author = "Edsger W. Dijkstra",
title = "Over het gewicht van een informatica-opleiding",
month = mar,
year = "1971",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD306.PDF",
fileSize = 81 KB
}
EWD307. (over een voorgestelde configuratie van een P1400 en vier P880's), Edsger W. Dijkstra
@unpublished{EWD:EWD307,
author = "Edsger W. Dijkstra",
title = "(over een voorgestelde configuratie van een {P}1400 en vier {P}880's)",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD307.PDF",
fileSize = 174 KB
}
EWD308. Reisverslag bezoek van E.W.Dijkstra aan IFIP W.G.2.3 te Warwick, Engeland, Edsger W. Dijkstra
@unpublished{EWD:EWD308,
author = "Edsger W. Dijkstra",
title = "Reisverslag bezoek van {E.W.Dijkstra} aan {IFIP W.G.2.3} te {W}arwick, {E}ngeland",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD308.PDF",
fileSize = 87 KB
}
EWD309. (over een voorgestelde configuratie van een P1400 en vier P880's), Edsger W. Dijkstra
@unpublished{EWD:EWD309,
author = "Edsger W. Dijkstra",
title = "(over een voorgestelde configuratie van een {P1400} en vier {P880}'s)",
month = apr,
year = "1971",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD309.PDF",
fileSize = 48 KB
}
EWD310. Hierarchical ordering of sequential processes, Edsger W. Dijkstra
@unpublished{EWD:EWD310,
author = "Edsger W. Dijkstra",
title = "Hierarchical ordering of sequential processes",
year = "n.d.",
note = "published as {\cite EWD:EWD310pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD310.PDF",
fileSize = 1017 KB
}
EWD310pub. Hierarchical ordering of sequential processes, Edsger W. Dijkstra
@incollection{EWD:EWD310pub,
author = "Edsger W. Dijkstra",
title = "Hierarchical ordering of sequential processes",
year = "n.d.",
booktitle = "Operating Systems Techniques ",
pages = {72--93 }
}
EWD311. [Review of] Bauer, Goos: ``Informatik, Erster Teil'' Heidelberger Taschenbuecher, Band 80 Springer Verlag, 1971, Edsger W. Dijkstra
@unpublished{EWD:EWD311,
author = "Edsger W. Dijkstra",
title = "[Review of] {B}auer, {G}oos: ``{I}nformatik, {E]rster {T]eil'' {H}eidelberger {T]aschenbuecher, {B}and 80 {S}pringer {V}erlag, 1971",
month = may,
year = "1971",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD311.PDF",
fileSize = 91 KB
}
EWD312. Verslag van reis van E.W.Dijkstra naar Noord Amerika, Edsger W. Dijkstra
@unpublished{EWD:EWD312,
author = "Edsger W. Dijkstra",
title = "Verslag van reis van {E.W.Dijkstra} naar {N}oord {A}merika",
month = jun,
year = "1971",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD312.PDF",
fileSize = 126 KB
}
EWD316A. Reisverslag van Edsger W.Dijkstra aan Summer School Marktoberdorf, juli 1971, Edsger W. Dijkstra
@unpublished{EWD:EWD316A,
author = "Edsger W. Dijkstra",
title = "Reisverslag van {Edsger W.Dijkstra} aan {S]ummer {S}chool {M}arktoberdorf, juli 1971",
month = aug,
year = "1971",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD316A.PDF",
fileSize = 155 KB
}
EWD316. A short introduction to the art of programming, Edsger W. Dijkstra
@unpublished{EWD:EWD316,
author = "Edsger W. Dijkstra",
title = "A short introduction to the art of programming",
month = aug,
year = "1971",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD316.PDF",
fileSize = 2104 KB
}
EWD317. On a methodology of design, Edsger W. Dijkstra
@unpublished{EWD:EWD317,
author = "Edsger W. Dijkstra",
title = "On a methodology of design",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD317.PDF",
fileSize = 255 KB
}
EWD319. A class of allocation strategies inducing bounded delays only, Edsger W. Dijkstra
@unpublished{EWD:EWD319,
author = "Edsger W. Dijkstra",
title = "A class of allocation strategies inducing bounded delays only",
year = "1972",
booktitle = "Spring Joint Computer Conference ",
publisher = "AFIPS?",
pages = {933--936},
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD319.PDF",
fileSize = 183 KB
}
EWD325. Poging tot plaatsbepaling van de Informatica, Edsger W. Dijkstra
@unpublished{EWD:EWD325,
author = "Edsger W. Dijkstra",
title = "Poging tot plaatsbepaling van de {I}nformatica",
month = apr,
year = "1972",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD325.PDF",
fileSize = 660 KB
}
EWD329. Information streams sharing a finite buffer, Edsger W. Dijkstra
@unpublished{EWD:EWD329,
author = "Edsger W. Dijkstra",
title = "Information streams sharing a finite buffer",
year = "1972",
note = "published as {\cite EWD:EWD329pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD329.PDF",
fileSize = 55 KB
}
EWD329pub. Information streams sharing a finite buffer, Edsger W. Dijkstra
@article{EWD:EWD329pub,
author = "Edsger W. Dijkstra",
title = "Information streams sharing a finite buffer",
year = "1972",
journal = "Inf. Proc. Letters",
volume = 1,
pages = {179--180}
}
EWD330. [Book review of: Bauer-Goos, Informatik, Zweiter Teil], Edsger W. Dijkstra
@unpublished{EWD:EWD330,
author = "Edsger W. Dijkstra",
title = "[Book review of: {B}auer-{G}oos, {I}nformatik, {Z}weiter {T}eil]",
month = mar,
year = "1972",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD330.PDF",
fileSize = 82 KB
}
EWD338. Parallelism in multi-record transactions , Edsger W. Dijkstra and C.S.Scholten
@unpublished{EWD:EWD338,
author = "Edsger W. Dijkstra and C.S.Scholten",
title = "Parallelism in multi-record transactions ",
year = "1972",
note = "published as {\cite EWD:EWD338pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD338.PDF",
fileSize = 201 KB
}
EWD338pub. Parallelism in multi-record transactions, Edsger W. Dijkstra and C.S.Scholten
@incollection{EWD:EWD338pub,
author = "Edsger W. Dijkstra and C.S.Scholten",
title = "Parallelism in multi-record transactions",
year = "1972",
booktitle = "Selected Writings on Computing: A Personal Perspective",
publisher = "Springer-Verlag",
pages = {15--21}
}
EWD340. The humble programmer, Edsger W. Dijkstra
@unpublished{EWD:EWD340,
author = "Edsger W. Dijkstra",
title = "The humble programmer",
year = "1972",
note = "Turing Award lecture; published as {\cite EWD:EWD340pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD340.PDF",
fileSize = 473 KB
}
EWD340pub. The humble programmer, Edsger W. Dijkstra
@article{EWD:EWD340pub,
author = "Edsger W. Dijkstra",
title = "The humble programmer",
year = "1972",
publisher = "ACM",
journal = "Commun. ACM ",
volume = 15,
number = 10,
pages = {859--866},
note = "Turing Award lecture"
}
EWD341. [Toespraak over de noodzaak van programmeermethodologie], Edsger W. Dijkstra
@unpublished{EWD:EWD341,
author = "Edsger W. Dijkstra",
title = "[Toespraak over de noodzaak van programmeermethodologie]",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD341.PDF",
fileSize = 87 KB
}
EWD343. Reisverslag betreffende het bezoek aan de USA van 14 tot 30 mei 1972 door E.W.Dijkstra, Edsger W. Dijkstra
@unpublished{EWD:EWD343,
author = "Edsger W. Dijkstra",
title = "Reisverslag betreffende het bezoek aan de {USA} van 14 tot 30 mei 1972 door {E.W.Dijkstra}",
month = jun,
year = "1972",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD343.PDF",
fileSize = 142 KB
}
EWD345. Ter zake van wiskundige modelvorming, Edsger W. Dijkstra
@unpublished{EWD:EWD345,
author = "Edsger W. Dijkstra",
title = "Ter zake van wiskundige modelvorming",
month = jun,
year = "1972",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD345.PDF",
fileSize = 51 KB
}
EWD348. Verslag van de reis van E.W.Dijkstra naar Boston, 12--18 augustus 1972, Edsger W. Dijkstra
@unpublished{EWD:EWD348,
author = "Edsger W. Dijkstra",
title = "Verslag van de reis van {E.W.Dijkstra} naar {B}oston, 12--18 augustus 1972",
month = aug,
year = "1972",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD348.PDF",
fileSize = 151 KB
}
EWD349. Ontwikkelingsplan Informatica, Edsger W. Dijkstra
@unpublished{EWD:EWD349,
author = "Edsger W. Dijkstra",
title = "Ontwikkelingsplan {I}nformatica",
month = sep,
year = "1972",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD349.PDF",
fileSize = 118 KB
}
EWD351. Verslag bezoek Engeland 30 augustus--9 september 1972, Edsger W. Dijkstra
@unpublished{EWD:EWD351,
author = "Edsger W. Dijkstra",
title = "Verslag bezoek {E}ngeland 30 augustus--9 september 1972",
month = sep,
year = "1972",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD351.PDF",
fileSize = 82 KB
}
EWD353. Elementen ener afstudeerrichting in de informatica, Edsger W. Dijkstra
@unpublished{EWD:EWD353,
author = "Edsger W. Dijkstra",
title = "Elementen ener afstudeerrichting in de informatica",
month = oct,
year = "1972",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD353.PDF",
fileSize = 81 KB
}
EWD361. Programming as a discipline of mathematical nature, Edsger W. Dijkstra
@unpublished{EWD:EWD361,
author = "Edsger W. Dijkstra",
title = "Programming as a discipline of mathematical nature",
month = may,
year = "1973",
note = "published as {\cite EWD:EWD361pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD361.PDF",
fileSize = 170 KB
}
EWD361pub. Programming as a discipline of mathematical nature, Edsger W. Dijkstra
@article{EWD:EWD361pub,
author = "Edsger W. Dijkstra",
title = "Programming as a discipline of mathematical nature",
year = "1974",
journal = " Am. Math. Monthly",
volume = 81,
number = 6,
pages = {608--612}
}
EWD362. Bezoek van E.W.Dijkstra aan l'Alpe d'Huez, 8--15 december 1972, Edsger W. Dijkstra
@unpublished{EWD:EWD362,
author = "Edsger W. Dijkstra",
title = "Bezoek van {E.W.Dijkstra} aan l'{A}lpe d'{H}uez, 8--15 december 1972",
year = "1972",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD362.PDF",
fileSize = 154 KB
}
EWD363. Reisverslag E.W.Dijkstra: Open house on semantics, Aarhus, 7--18 jan. 1973, Edsger W. Dijkstra
@unpublished{EWD:EWD363,
author = "Edsger W. Dijkstra",
title = "Reisverslag {E.W.Dijkstra}: {O}pen house on semantics, {A}arhus, 7--18 jan. 1973",
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD363.PDF",
fileSize = 103 KB
}
EWD364. Weledelgestrenge H]eer, Ingenieur Swinkels, Edsger W. Dijkstra
@unpublished{EWD:EWD364,
author = "Edsger W. Dijkstra",
title = "Weledelgestrenge {H]eer, {I}ngenieur {S}winkels",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD364.PDF",
fileSize = 68 KB
}
EWD365. A parabel, Edsger W. Dijkstra
@unpublished{EWD:EWD365,
author = "Edsger W. Dijkstra",
title = "A parabel",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD365.PDF",
fileSize = 61 KB
}
EWD366. Waarom ik niet gewoon hoogleraar wil blijven, Edsger W. Dijkstra
@unpublished{EWD:EWD366,
author = "Edsger W. Dijkstra",
title = "Waarom ik niet gewoon hoogleraar wil blijven",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD366.PDF",
fileSize = 134 KB
}
EWD367. On the axiomatic definition of semantics, Edsger W. Dijkstra
@unpublished{EWD:EWD367,
author = "Edsger W. Dijkstra",
title = "On the axiomatic definition of semantics",
month = apr,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD367.PDF",
fileSize = 336 KB
}
EWD368. Verslag van bezoek aan Washington, maart 1973, Edsger W. Dijkstra
@unpublished{EWD:EWD368,
author = "Edsger W. Dijkstra",
title = "Verslag van bezoek aan {W}ashington, maart 1973",
month = mar,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD368.PDF",
fileSize = 127 KB
}
EWD372. A simple axiomatic basis for programming language constructs, Edsger W. Dijkstra
@unpublished{EWD:EWD372,
author = "Edsger W. Dijkstra",
title = "A simple axiomatic basis for programming language constructs",
month = may,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD372.PDF",
fileSize = 422 KB
}
EWD374. The analysis of multiprogrammed systems of unspecified degree of parallellism, Edsger W. Dijkstra
@unpublished{EWD:EWD374,
author = "Edsger W. Dijkstra",
title = "The analysis of multiprogrammed systems of unspecified degree of parallellism",
month = may,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD374.PDF",
fileSize = 93 KB
}
EWD375. A non algebraic example of a constructive correctness proof, Edsger W. Dijkstra
@unpublished{EWD:EWD375,
author = "Edsger W. Dijkstra",
title = "A non algebraic example of a constructive correctness proof",
month = may,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD375.PDF",
fileSize = 151 KB
}
EWD376. Finding the maximum strong components in a directed graph, Edsger W. Dijkstra
@unpublished{EWD:EWD376,
author = "Edsger W. Dijkstra",
title = "Finding the maximum strong components in a directed graph",
month = may,
year = "1973",
note = "published as {\cite EWD:EWD376pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD376.PDF",
fileSize = 261 KB
}
EWD376pub. Finding the maximum strong components in a directed graph, Edsger W. Dijkstra
@incollection{EWD:EWD376pub,
author = "Edsger W. Dijkstra",
title = "Finding the maximum strong components in a directed graph",
year = "1982",
booktitle = "Selected Writings on Computing: A Personal Perspective",
publisher = "Springer-Verlag",
pages = {22--30}
}
EWD379. On a connection pattern between 2**N elements, Edsger W. Dijkstra
@unpublished{EWD:EWD379,
author = "Edsger W. Dijkstra",
title = "On a connection pattern between 2**{N} elements",
month = jun,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD379.PDF",
fileSize = 110 KB
}
EWD383pub. Executional abstraction, Edsger W. Dijkstra
@inbook{EWD:EWD383pub,
author = "Edsger W. Dijkstra",
title = "Executional abstraction",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 0,
publisher = "Prentice-Hall"
}
EWD384. Betrouwbaarheid van programma's, Edsger W. Dijkstra
@unpublished{EWD:EWD384,
author = "Edsger W. Dijkstra",
title = "Betrouwbaarheid van programma's",
month = jul,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD384.PDF",
fileSize = 101 KB
}
EWD384pub. The role of programming languages, Edsger W. Dijkstra
@inbook{EWD:EWD384pub,
author = "Edsger W. Dijkstra",
title = "The role of programming languages",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 1,
publisher = "Prentice-Hall"
}
EWD385. Trip report E.W.Dijkstra Summer School Munich, July 25 to August 4, 1973, Edsger W. Dijkstra
@unpublished{EWD:EWD385,
author = "Edsger W. Dijkstra",
title = "Trip report {E.W.Dijkstra} {S}ummer {S}chool {M}unich, July 25 to August 4, 1973",
month = aug,
year = "1973",
publisher = "Springer-Verlag",
note = "published as {\cite EWD:EWD365pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD385.PDF",
fileSize = 116 KB
}
EWD385pub. Trip report E.W.Dijkstra Summer S]chool Munich, July 25 to August 4, 1973, Edsger W. Dijkstra
@incollection{EWD:EWD385pub,
author = "Edsger W. Dijkstra",
title = "Trip report {E.W.Dijkstra} {S}ummer {S]chool {M}unich, {J}uly 25 to {A}ugust 4, 1973",
year = "1982",
booktitle = "Selected Writings on Computing: A Personal Perspective",
publisher = "Springer-Verlag",
pages = {31--33}
}
EWD386. The solution to a cyclic relaxation problem, Edsger W. Dijkstra
@unpublished{EWD:EWD386,
author = "Edsger W. Dijkstra",
title = "The solution to a cyclic relaxation problem",
month = aug,
year = "1973",
note = "published as {\cite EWD:EWD386pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD386.PDF",
fileSize = 72 KB
}
EWD386pub. The solution to a cyclic relaxation problem, Edsger W. Dijkstra
@incollection{EWD:EWD386pub,
author = "Edsger W. Dijkstra",
title = "The solution to a cyclic relaxation problem",
year = "1982",
booktitle = "Selected Writings on Computing: A Personal Perspective",
publisher = "Springer-Verlag",
pages = {34--35}
}
EWD387. Trip report IBM Seminar ``Communication and Computers'', Newcastle, Sept. 1973, Edsger W. Dijkstra
@unpublished{EWD:EWD387,
author = "Edsger W. Dijkstra",
title = "Trip report {IBM} {S}eminar ``{C}ommunication and {C}omputers'', {N}ewcastle, {S}ept. 1973",
month = sep,
year = "1973",
note = "published as {\cite EWD:EWD387pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD387.PDF",
fileSize = 197 KB
}
EWD387pub. Trip report IBM Seminar ``Communication and Computers'', Newcastle, Sept. 1973, Edsger W. Dijkstra
@incollection{EWD:EWD387pub,
author = "Edsger W. Dijkstra",
title = "Trip report {IBM} {S}eminar ``{C}ommunication and {C}omputers'', {N}ewcastle, {S}ept. 1973",
year = "1982",
booktitle = "Selected Writings on Computing: A Personal Perspective",
publisher = "Springer-Verlag",
pages = {36--40}
}
EWD389. Trip report I.U.C.C. Colloquium, Canterbury, 18th--21st Sept. 1973, Edsger W. Dijkstra
@unpublished{EWD:EWD389,
author = "Edsger W. Dijkstra",
title = "Trip report {I.U.C.C.} {C}olloquium, {C}anterbury, 18th--21st Sept. 1973",
month = sep,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD389.PDF",
fileSize = 95 KB
}
EWD391. Self-stabilization in spite of distributed control, Edsger W. Dijkstra
@unpublished{EWD:EWD391,
author = "Edsger W. Dijkstra",
title = "Self-stabilization in spite of distributed control",
month = oct,
year = "1973",
publisher = "Springer-Verlag",
note = "published as {\cite EWD:EWD391pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD391.PDF",
fileSize = 218 KB
}
EWD391pub. Self-stabilization in spite of distributed control, Edsger W. Dijkstra
@incollection{EWD:EWD391pub,
author = "Edsger W. Dijkstra",
title = "Self-stabilization in spite of distributed control",
year = "1982",
booktitle = "Selected Writings on Computing: A Personal Perspective",
publisher = "Springer-Verlag",
pages = {41--46}
}
EWD392. Self-stabilization with four-state machines, Edsger W. Dijkstra
@unpublished{EWD:EWD392,
author = "Edsger W. Dijkstra",
title = "Self-stabilization with four-state machines",
month = oct,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD392.PDF",
fileSize = 122 KB
}
EWD393. On representational abstraction, Edsger W. Dijkstra
@unpublished{EWD:EWD393,
author = "Edsger W. Dijkstra",
title = "On representational abstraction",
month = nov,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD393.PDF",
fileSize = 210 KB
}
EWD395. Trip report E.W.Dijkstra IFIP Working Group W.G.2.3 ``On Programming Methodology'', 21st--26th October 1973, Blanchland, England, Edsger W. Dijkstra
@unpublished{EWD:EWD395,
author = "Edsger W. Dijkstra",
title = "Trip report {E.W.Dijkstra} {IFIP} {W}orking {G}roup {W.G.2.3} ``{O}n {P}rogramming {M}ethodology'', 21st--26th {O}ctober 1973, {B}lanchland, {E}ngland",
month = oct,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD395.PDF",
fileSize = 186 KB
}
EWD396. Self-stabilization with three-state machines, Edsger W. Dijkstra
@unpublished{EWD:EWD396,
author = "Edsger W. Dijkstra",
title = "Self-stabilization with three-state machines",
month = nov,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD396.PDF",
fileSize = 73 KB
}
EWD397. Self-stabilizing systems with distributed control, Edsger W. Dijkstra
@unpublished{EWD:EWD397,
author = "Edsger W. Dijkstra",
title = "Self-stabilizing systems with distributed control",
month = nov,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD397.PDF",
fileSize = 76 KB
}
EWD398. Sequencing primitives revisited, Edsger W. Dijkstra
@unpublished{EWD:EWD398,
author = "Edsger W. Dijkstra",
title = "Sequencing primitives revisited",
month = nov,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD398.PDF",
fileSize = 449 KB
}
EWD399. An immediate sequel to EWD398: ``Sequencing primitives revisited'', Edsger W. Dijkstra
@unpublished{EWD:EWD399,
author = "Edsger W. Dijkstra",
title = "An immediate sequel to {EWD398}: ``{S}equencing primitives revisited''",
month = nov,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD399.PDF",
fileSize = 28 KB
}
EWD400pub. States and their characterization., Edsger W. Dijkstra
@inbook{EWD:EWD400pub,
author = "Edsger W. Dijkstra",
title = "States and their characterization.",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 2,
publisher = "Prentice-Hall"
}
EWD401. The characterization of semantics, Edsger W. Dijkstra
@unpublished{EWD:EWD401,
author = "Edsger W. Dijkstra",
title = "The characterization of semantics",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD401.PDF",
fileSize = 212 KB
}
EWD403pub. The characterization of semantics, Edsger W. Dijkstra
@inbook{EWD:EWD403pub,
author = "Edsger W. Dijkstra",
title = "The characterization of semantics",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 3,
publisher = "Prentice-Hall"
}
EWD404. A trip to France: 13th--20th December 1973, Edsger W. Dijkstra
@unpublished{EWD:EWD404,
author = "Edsger W. Dijkstra",
title = "A trip to {F}rance: 13th--20th {D}ecember 1973",
month = dec,
year = "1973",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD404.PDF",
fileSize = 95 KB
}
EWD405. Synchronisatie en sequencing, Edsger W. Dijkstra
@unpublished{EWD:EWD405,
author = "Edsger W. Dijkstra",
title = "Synchronisatie en sequencing",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD405.PDF",
fileSize = 173 KB
}
EWD406. A trip to the U.S.A., 5th--25th January 1974, Edsger W. Dijkstra
@unpublished{EWD:EWD406,
author = "Edsger W. Dijkstra",
title = "A trip to the {U.S.A.}, 5th--25th {J}anuary 1974",
month = jan,
year = "1974",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD406.PDF",
fileSize = 243 KB
}
EWD407. Acceptance speech for the AFIPS Harry Goode Memorial Award 1974, Edsger W. Dijkstra
@unpublished{EWD:EWD407,
author = "Edsger W. Dijkstra",
title = "Acceptance speech for the {AFIPS} {H}arry {G}oode {M}emorial {A}ward 1974",
year = "1974",
note = "published as {\cite EWD:EWD407pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD407.PDF",
fileSize = 104 KB
}
EWD407pub. Acceptance speech for the AFIPS Harry Goode Memorial Award 1974, Edsger W. Dijkstra
@incollection{EWD:EWD407pub,
author = "Edsger W. Dijkstra",
title = "Acceptance speech for the {AFIPS} {H}arry {G}oode {M}emorial {A}ward 1974",
year = "8274",
booktitle = "Selected Writings on Computing: A Personal Perspective",
publisher = "Springer-Verlag",
pages = {47--49}
}
EWD408. A time-wise hierarchy imposed upon the use of a two-level store, Edsger W. Dijkstra
@unpublished{EWD:EWD408,
author = "Edsger W. Dijkstra",
title = "A time-wise hierarchy imposed upon the use of a two-level store",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD408.PDF",
fileSize = 305 KB
}
EWD409pub. The semantic characterization of a programming language., Edsger W. Dijkstra
@inbook{EWD:EWD409pub,
author = "Edsger W. Dijkstra",
title = "The semantic characterization of a programming language.",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 4,
publisher = "Prentice-Hall"
}
EWD410pub. Two theorems., Edsger W. Dijkstra
@inbook{EWD:EWD410pub,
author = "Edsger W. Dijkstra",
title = "Two theorems.",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 5,
publisher = "Prentice-Hall"
}
EWD411pub. On the design of properly terminating constructs., Edsger W. Dijkstra
@inbook{EWD:EWD411pub,
author = "Edsger W. Dijkstra",
title = "On the design of properly terminating constructs.",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 6,
publisher = "Prentice-Hall"
}
EWD412pub. Euclid's Algorithm revisited., Edsger W. Dijkstra
@inbook{EWD:EWD412pub,
author = "Edsger W. Dijkstra",
title = "Euclid's Algorithm revisited.",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 7,
publisher = "Prentice-Hall"
}
EWD413. The formal treatment of some small examples, Edsger W. Dijkstra
@unpublished{EWD:EWD413,
author = "Edsger W. Dijkstra",
title = "The formal treatment of some small examples",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD413.PDF",
fileSize = 2200 KB
}
EWD413pub. The formal treatment of some small examples., Edsger W. Dijkstra
@inbook{EWD:EWD413pub,
author = "Edsger W. Dijkstra",
title = "The formal treatment of some small examples.",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 8,
publisher = "Prentice-Hall"
}
EWD415. A beautiful proof of a probably useless theorem, Edsger W. Dijkstra and W.H.J.Feijen
@unpublished{EWD:EWD415,
author = "Edsger W. Dijkstra and W.H.J.Feijen",
title = "A beautiful proof of a probably useless theorem",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD415.PDF",
fileSize = 27 KB
}
EWD416. On avoiding the infinite, Edsger W. Dijkstra
@unpublished{EWD:EWD416,
author = "Edsger W. Dijkstra",
title = "On avoiding the infinite",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD416.PDF",
fileSize = 149 KB
}
EWD417. On the abolishment of the subscripted variable, Edsger W. Dijkstra
@unpublished{EWD:EWD417,
author = "Edsger W. Dijkstra",
title = "On the abolishment of the subscripted variable",
month = mar,
year = "1974",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD417.PDF",
fileSize = 173 KB
}
EWD418. Guarded commands, non-determinacy and a calculus for the derivation of programs, Edsger W. Dijkstra
@unpublished{EWD:EWD418,
author = "Edsger W. Dijkstra",
title = "Guarded commands, non-determinacy and a calculus for the derivation of programs",
month = jun,
year = "1974",
note = "see {\cite EWD:EWD472}; circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD418.PDF",
fileSize = 305 KB
}
EWD420. Tripreport E.W.Dijkstra, Luxembourg, 7--12 April 1974, Edsger W. Dijkstra
@unpublished{EWD:EWD420,
author = "Edsger W. Dijkstra",
title = "Tripreport {E.W.Dijkstra}, {L}uxembourg, 7--12 {A}pril 1974",
month = apr,
year = "1974",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD420.PDF",
fileSize = 120 KB
}
EWD423. Trip report E.W.Dijkstra, W.G.2.3 Meeting ``Boldern'' 28th April--3rd May 1974, Edsger W. Dijkstra
@unpublished{EWD:EWD423,
author = "Edsger W. Dijkstra",
title = "Trip report {E.W.Dijkstra}, {W.G.2.3} {M}eeting ``{B}oldern'' 28th {A}pril--3rd {M}ay 1974",
month = jun,
year = "1974",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD423.PDF",
fileSize = 120 KB
}
EWD424pub. An essay on the notion: "the scope of variables"., Edsger W. Dijkstra
@inbook{EWD:EWD424pub,
author = "Edsger W. Dijkstra",
title = "An essay on the notion: ``the scope of variables''.",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 10,
publisher = "Prentice-Hall"
}
EWD425. Trip report E.W.Dijkstra, USA and Canada, 5th--25th May 1974, Edsger W. Dijkstra
@unpublished{EWD:EWD425,
author = "Edsger W. Dijkstra",
title = "Trip report {E.W.Dijkstra}, {USA} and {C}anada, 5th--25th {M}ay 1974",
month = jun,
year = "1974",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD425.PDF",
fileSize = 221 KB
}
EWD426. Self-stabilizing systems in spite of distributed control, Edsger W. Dijkstra
@unpublished{EWD:EWD426,
author = "Edsger W. Dijkstra",
title = "Self-stabilizing systems in spite of distributed control",
month = jun,
year = "1974",
note = "published as {\cite EWD:EWD426pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD426.PDF",
fileSize = 139 KB
}
EWD426pub. Self-stabilizing systems in spite of distributed control, Edsger W. Dijkstra
@article{EWD:EWD426pub,
author = "Edsger W. Dijkstra",
title = "Self-stabilizing systems in spite of distributed control",
year = "1974",
publisher = "ACM",
journal = "Commun. ACM",
volume = 17,
number = 11,
pages = {643--644}
}
EWD427. Speech at the occasion of an anniversary, Edsger W. Dijkstra
@unpublished{EWD:EWD427,
author = "Edsger W. Dijkstra",
title = "Speech at the occasion of an anniversary",
month = jun,
year = "1974",
note = "published as {\cite EWD:EWD427pub}",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD427.PDF",
fileSize = 144 KB
}
EWD427pub. Speech at the occasion of an anniversary, Edsger W. Dijkstra
@incollection{EWD:EWD427pub,
author = "Edsger W. Dijkstra",
title = "Speech at the occasion of an anniversary",
year = "1982",
booktitle = "Selected Writings on Computing: A Personal Perspective",
publisher = "Springer-Verlag",
pages = {50--53}
}
EWD428. Array variables., Edsger W. Dijkstra
@unpublished{EWD:EWD428,
author = "Edsger W. Dijkstra",
title = "Array variables.",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD428.PDF",
fileSize = 1600 KB
}
EWD428pub. Array variables., Edsger W. Dijkstra
@inbook{EWD:EWD428pub,
author = "Edsger W. Dijkstra",
title = "Array variables.",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 11,
publisher = "Prentice-Hall"
}
EWD429. A generalization of the Sheffer Stroke for n-valued logic (by C.S.Scholten), Edsger W. Dijkstra
@unpublished{EWD:EWD429,
author = "Edsger W. Dijkstra",
title = "A generalization of the {S}heffer {S}troke for {\it n}-valued logic (by {C.S.Scholten})",
year = "n.d.",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD429.PDF",
fileSize = 33 KB
}
EWD430pub. The Linear Search Theorem., Edsger W. Dijkstra
@inbook{EWD:EWD430pub,
author = "Edsger W. Dijkstra",
title = "The Linear Search Theorem.",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 12,
publisher = "Prentice-Hall"
}
EWD431pub. The problem of The Next Permutation., Edsger W. Dijkstra
@inbook{EWD:EWD431pub,
author = "Edsger W. Dijkstra",
title = "The problem of The Next Permutation.",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 13,
publisher = "Prentice-Hall"
}
EWD432. [A letter to C.A.R. Hoare, 13 July 1974], Edsger W. Dijkstra
@unpublished{EWD:EWD432,
author = "Edsger W. Dijkstra",
title = "[A letter to {C.A.R. Hoare}, 13 {J}uly 1974]",
month = jul,
year = "1974",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD432.PDF",
fileSize = 88 KB
}
EWD433pub. The problem of The Dutch National Flag., Edsger W. Dijkstra
@inbook{EWD:EWD433pub,
author = "Edsger W. Dijkstra",
title = "The problem of The Dutch National Flag.",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 14,
publisher = "Prentice-Hall"
}
EWD434pub. Updating a sequential file., Edsger W. Dijkstra
@inbook{EWD:EWD434pub,
author = "Edsger W. Dijkstra",
title = "Updating a sequential file.",
year = "1976",
booktitle = "A Discipline of Programming",
chapter = 15,
publisher = "Prentice-Hall"
}
EWD435. Associons: an effort towards accomodating potentially ultra-high concurrency , Edsger W. Dijkstra and W.H.J.Feijen and M.Rem
@unpublished{EWD:EWD435,
author = "Edsger W. Dijkstra and W.H.J.Feijen and M.Rem",
title = "Associons: an effort towards accomodating potentially ultra-high concurrency ",
month = jul,
year = "1974",
note = "circulated privately",
url = "http://www.cs.utexas.edu/users/EWD/ewd04xx/EWD435.PDF",
fileSize = 176 KB