A Bibliography of Publications of Peter Naur

Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT 84112-0090 USA

Tel: +1 801 581 5254

       E-mail: beebe@math.utah.edu, beebe@acm.org,
                  beebe@computer.org (Internet)
     WWW URL: https://www.math.utah.edu/~beebe/

16 June 2026 Version 1.03

Abstract This bibliography records publications of Peter Naur (25 October

1928–3 January 2016).

Title word cross-reference

ALGOL [Nau64-27].

1 [Dij61]. 10.1.3 [Rut60]. 107 [Nau63f, Nau63h]. 118 [Nau63d]. 120 [Nau63e, Nau63f]. 122 [Nau64h]. 150 [Nau64i]. 18th [May93]. 1950s [Bac80]. 1959 [Nau59a, Nau60c]. 1960 [AGG60, Nau61m]. 1961 [Nau61m]. 1962 [Bus62]. 1965 [Kal65]. 1968 [Mor69, NR69]. 1988 [BFG88]. 19th [WH06].

2 [Kru03, Spe83]. 2006 [WH06]. 27th [BR70].

314 [Čul72b]. 31st [BR70]. 367 [Čul72a].

4 [AJL^{+}67, Nau64p, Nau68l, Nau68m, BLE67]. 4. [Sie75]. 42 [Nau63f, Nau63i].

50 [Gep66, Nau63j]. 52 [Nau63a, Nau63k].

60 [BBG^{+}60a, BBG^{+}60b, BBG^{+}61, BBG^{+}1 , BBG^{+}62, BBG^{+}63c, BBG^{+}63a, BBG^{+}76, Čul72b, Čul72a, Dij61, Dij62a, Dij62b, DA14, Gep66, JN61b, JN61a, JMN61b, JMN61a, JMN61c, KM61, Kru03, Nau60e, Nau60f, Nau60g, NBB^{+}60, Nau61c, Nau61b, NBB^{+}62, Nau62j, Nau63o, NBB^{+}63, Nau64f, Nau64z, Nau65d, NBB^{+}65, Nau66t, Nau78, Nau81a, Nau81b, Nau91a, NBB^{+}97]. 60th [BFG88]. 68 [Nau71g, Nau72f].

8 [Nau60a]. 85 [Nau63b].

9 [Nau60b]. 91 [Nau64x]. ’92 [May93].

A. [Nau65a]. Aad [Nau81a]. AB14 [Nau62i]. AB19.3.11.4 [Nau65a]. Aberration [Nau99]. ACM [WH06, Ash87, Wex81]. Action [Nau69e, Nau95b]. Activity [Nau71a, Nau91c, Nau95b]. Additional [Nau63a]. Address [Nau81a]. administratorer [G^{+}70]. administrators [G^{+}70]. after [Kon73b]. Ahead [DP82]. Aiken [BHW^{+}90]. aims [Nau65s]. Akademie [Gep66]. Akademie-Verlag [Gep66]. ALCOR [Nau60c, Nau60r]. ALGOL [BBG^{+}63c, Čul72b, Čul72a, Dij61, Nau61m, NBB^{+}62, Nau68l, Nau68m, AJL^{+}67, Gep66, Nau64p, Nau66t, BBG^{+}61, BBG^{+}1 , BBG^{+}62, BBG^{+}63c, BBG^{+}63a, BBG^{+}63b, BBG^{+}76, CPN81, Dij61, Dij62a, Dij62b, GN61, JN61a, JJMN61, JMN61b, JMN61a, JMN61c, KM61, Kru03, Nau59a, Nau59i, Nau59k, Nau59l, Nau60e, Nau60d, Nau60h, Nau60f, Nau60g, Nau60i, Nau60j, Nau60k, Nau60l, Nau60m, Nau60n, Nau60q, Nau60s, Nau60w, NBB^{+}60, Nau60y, Nau61c, Nau61a, Nau61d, Nau61e, Nau61i, Nau61k, Nau61l, Nau62b, NBB^{+}62, Nau62a, Nau62d, Nau62c, Nau62e, Nau62f, Nau62j, Nau62k, Nau63m, Nau63n, Nau63o, Nau63g, NBB^{+}63, Nau64g, Nau64f, Nau64l, Nau64q, Nau64z, Nau65d, Nau65g, Nau65r, NBB^{+}65, Nau68u, Nau71g, Nau72f, Nau78, Nau81a, Nau81b, AD14, BBG^{+}60a, BBG^{+}60b, DA14, JN61b, Nau61b, Nau63l, Nau64b, Nau66t, Nau91a, NBB^{+}97, Nau64y]. ALGOL-60 [BBG^{+}76, Dij61, Nau65d, NBB^{+}65]. ALGOL-60-Übersetzer [Dij61]. ALGOL-like [Nau61k]. algorithm [Nau63c, Nau60a, Nau60b, Nau63a, Nau63b, Nau63f, Nau63h, Nau63i, Nau63j, Nau63k, Nau64i, Nau64h, Nau64x]. Algorithmic [BBG^{+}63c, BBG^{+}76, DA14, NBB^{+}60, Nau62j, NBB^{+}63, NBB^{+}97, dBvV81, BBG^{+}60a, BBG^{+}60b, BBG^{+}61, BBG^{+}1 , BBG^{+}62, BBG^{+}63a, BBG^{+}63b, Čul72b, Čul72a, Dij62b, Gep66, Nau64f, Nau64z, Nau65d, NBB^{+}65, Nau66t]. Algorithmische [BBG^{+}63c, Gep66, NBB^{+}62, Nau66t]. Algorithms [Nau66p, Nau93d, Nau60t, Len93, Nau63d, Nau63e]. Algoritmicheskiı [Nau65d]. Allocation [JMN61b, JMN61a, JMN61c]. Allowing [Nau66a]. also [Čul72b, Čul72a]. America [Bac80]. Amsterdam [AD14, dBvV81]. Analysis [TSF^{+}87]. Angeles [Wex81]. Announcements [Nau64c, Nau64d, Nau64e, Nau65e, Nau65f, Nau66b, Nau66c, Nau66d, Nau67a, Nau67b, Nau68a, Nau68b, Nau70a, Nau72a]. Annual [Len93, Sie75, WH06]. Anticipation [BHW^{+}90]. Appendix [BBG^{+}61, BBG^{+}62, Nau64f]. Application [PP24]. arbejdsgruppe [G^{+}70]. arrays [Lan65, Nau61g]. Art [BLE67]. Association [Čul72b, Nau61j]. Atanasoff [BHW^{+}90]. August [Mor69, Nau61m, Nau96]. Automatic [BLE67, Nau64g, Nau65r]. Award [Ash87, ACM06].

B [BLE67, Čul72b, Čul72a, Gep66]. Babbage [BHW^{+}90, BHW^{+}90]. back [Nau60u, Nau60v]. Backus [Čul72b, Čul72a, Gep66, Kon73b, Aik07, CCH73, EA06, Knu64, Kon73a, Kon73b, Nec22b, Nec22a, PP24, Roh68]. Bad [Len93]. Baecker [BLE67]. Based [Nau83]. Basic [Nau62a]. Bauer [Čul72b, Čul72a, Gep66]. Bericht [Nau66t, BBG^{+}63c, Gep66, NBB^{+}62]. Berlin [Gep66, Sie75]. beskrive [Nau60h]. Between [Nau71f]. Biographies [Cor87, Wei88, BHW^{+}90]. birthday [BFG88]. BIT [Nau64p]. BNF [BHW^{+}90]. Book [Bel76, Čul72b, Čul72a, Nau95a]. Books [Bel76, FN69, Hen75, Hen77, Nau75a]. Borealis [NJK^{+}97]. Bowditch [BHW^{+}90]. bright [Nau55]. Buchbesprechung [Gep66]. building [Nau85b]. Bulletin [Nau59l, Nau60l, Nau60m, Nau61d, Nau61e, Nau62d, Nau62e, BBG^{+}63c, Nau59i, Nau62c].

C [BLE67, Čul72b, Čul72a, Gep66, Nau64y]. C.-E [Nau64y]. CACM [Nau60t]. calculating [Nau63c]. calculations [Kan57]. Calculator [Nau51a]. Calif. [Wex81]. call [Nau51c]. case [Nau99]. Centre [Nau68f, dBvV81]. Century [MHR80]. Certification [Nau63c, Nau63b, Nau63d, Nau63e, Nau64i, Nau64h, Nau63j, Nau63k]. changing [Nau60o]. characteristics [Nau60j, Nau60k, Nau60n, Nau60w]. Charles [BHW^{+}90]. Chebyshev [Nau64x]. Checking [Nau65g]. chronic [Nau99]. Circulation [Nau64j, Nau64k, Nau65h, Nau65i, Nau65j, Nau66e, Nau66f, Nau66g, Nau67c, Nau67d, Nau68c, Nau68d, Nau68e, Nau69a, Nau70d]. City [Kal65]. Clusters [Nau69e]. code [Nau64-27]. Coherent [Nau95b]. Collection [MHR80]. colors [Nau55]. combinatorial [Pos43]. comet [Nau51b]. Command [MA89]. Comment [Nau61a]. Comments [BHW^{+}90, Lan65, Nau68f]. Committee [BR70, NR69, Nau59j, Nau60q]. committees [G^{+}70]. Common [Nau67i]. Communications [Čul72b, Nau61j]. Compiler [Nau65r, Nau91b, Kru03, Nau62g, Nau63m, Nau63n, Nau64l]. Compilers [Nau65g]. Complete [Nau59b, Nau59c, Nau70d, Nau59d, Nau59e, Nau59f, Nau59g, Nau59h]. computable [Nec22b, Nec22a]. Computation [DP82, Nau51a]. Computer [ACM06, CFR93, Čul72a, GHI^{+}63, Knu03, Nau74b, Nau75d, Nau95b, Bel76, May93, SF88]. Computing [Čul72b, MHR80, Nau61j, Nau68f, Nau87, Nau91c, Nau06, Nau07]. Concepts [Nau62a, NRB76, May93]. concerning [Nau59i, Nau59l, Nau60u, Nau60t, Nau60v, Nau60x, ND60, Nau61k]. Concise [Nau74b, Bel76]. Conference [BR70, Nau59a, Nau61l, Nau96, Sie75, NR69, Wex81]. Conferences [NRB76]. Confidential [KM61]. confusion [Nau99]. congress [Kal65, Mor69]. Construction [Kon73a, Nau60j, Nau60k, Nau62g, Nau91b, Kon73b]. continued [Nau65n]. Contribution [Nau64b, Nau64p]. contributions [Nau81a]. convective [Nau54a]. convenient [Kan57]. Conversational [Nau71d, Nau72g]. Copenhagen [Nau59j, SF88]. Core [Nau95b]. cores [Nau54a]. Coronae [NJK^{+}97]. Correction [Nau63f]. Correspondence [Nau69b, Nau71b, Nau72b, Nau79b]. corresponding [Nau60p]. Course [Nau61b, Nau61c]. Creative [ACM06]. Cripps [Nau68f]. Critique [Nau79a, Nau79b]. curve [Nau64x]. Customs [PP24].

D [BLE67]. Dane [ACM06]. Danish [GHI^{+}63, G^{+}70, Nau60h]. DASK [JJMN61, Nau61c]. Data [Bus62, Cor87, Nau71e, Nau72e, Nau66o, Nau68g, Nau79a, Nau79b, Nau91b]. ’Datalogy [Nau68g, SF88, Nau66u]. Dawn [Day12a]. Days [Nau80]. Debate [BHW^{+}90, G^{+}70]. December [Nau60c]. decision [Pos43]. Defined [Nau89, Nau93c]. definition [Nau60x, Nau61a]. Denotational [MA89]. Dependent [Nau67i]. describing [Nau60h]. Description [Nau95b, Nau60d, Nau93a]. Design [ACM06, Nau63m, Nau63n, Nau64l]. designator [Nau60o]. Development [Nau72d, Nau74a, Nau81b, Nau83, Nau85a, Nau93b, Nau78, Nau82]. Diaries [Nau83]. Dictionary [Cor87]. differential [GNP62]. Dijkstra [Day12a, Kru03]. Dinner [Nau96]. discontinuation [Nau62c]. Discussion [Nau79b, Nau61m]. Distribution [Nau60l, Nau60m, Nau61d, Nau61e, Nau62d, Nau62e]. document [BK93a, BK93b, BK93c]. Documentation [Nau63o]. Does [BHW^{+}90]. Dog [Bri76]. Draft [Nau68k]. During [Nau74a, Nau61m]. dynamic [Nau61g].

earlier [Nau63f]. Early [Nau80]. Edinburgh [Mor69]. Edited [BBG^{+}63c]. Editor [Knu64, Čul72b, Nau59i, Nau59l, Nau60u, Nau60t, Nau60v, Nau61f, Nau64m, Nau64n, Nau64o, Nau64r, Nau64s, Nau64t, Nau65k, Nau65l, Nau65m, Nau65o, Nau65p, Nau65q, Nau66i, Nau66h, Nau66j, Nau66l, Nau66m, Nau66n, Nau67e, Nau67f, Nau67g, Nau67h, Nau68i, Nau68h, Nau68j, Nau68n, Nau68o, Nau68p, Nau69c, Nau70b, Nau70c, Nau71c, Nau72c]. EDSAC [Nau51c]. Education [Nau75d]. Efficient [DP82]. Effort [Nau68u]. Eigenvalues [Nau64b, Nau64p]. eigenvectors [Nau64b, Nau64p]. Ekman [Nau64y]. eksperter [G^{+}70]. Electrologica [Kru03]. Electronic [Nau51a]. else [Nau60p]. energy [Nau54a]. Engineering [BR70, Day12a, NR69, NRB76]. Enquiry [Nau60n]. equations [GNP62]. Erinnerung [BBG^{+}63c, Nau66t]. Errata [Nau68k]. Erratum [Nau64p]. ESA’93 [Len93]. Essays [MHR80]. etc [Nau60w]. Euler [Nau60a]. Europe [Nau61i]. European [Len93, Nau78, Nau81b]. even [Nau63d]. example [Nau60o]. exchanges [Nau65n]. experience [Dij62a]. Experiment [Nau72d]. Experimental [Nau74a]. experts [G^{+}70]. expressions [BK93a, BK93b, BK93c]. Extended [EA06, BK93a, BK93b, BK93c].

F [Čul72b, Čul72a, Gep66, Nau55]. Failures [Nau68u]. Features [Nau62a, Nau68l, Nau68m]. February [AGG60]. Federation [Kal65, Mor69]. few [Nau65a]. Financial [PP24]. finite [Nau63j]. First [DA14, Len93, Ash87, Nau61h]. fit [Nau64x]. form [CCH73, Kon73a, Kon73b, Nau59i, Nau66k, EA06, Knu64, Kon73b, Roh68]. Formal [L’E87, Pos43, Nau60o]. Formalization [Nau82, Nau93b, Nau94]. Formatting [L’E87]. forms [Nec22b, Nec22a, PP24]. Fourier [BHW^{+}90]. Fourth [Sie75]. fra [G^{+}70]. Fried [BLE67]. Fröberg [Nau64y]. function [Nau60o]. Functions [Nau59j]. Fundamental [CFR93].

G [BLE67]. Garmisch [NR69]. Gauss [Nau63e, Nau63f, Nau63h]. General [Nau66p, Nau93d, Nau66o, Pos43]. generating [Nec22b, Nec22a]. Genius [ACM06]. German [Sie75, BBG^{+}63c, Dij61, Kon73b, NBB^{+}62, Nau66t]. Germany [May93, NR69, Len93]. GI [Sie75, Sie75]. GI-4 [Sie75]. GI-4. [Sie75]. Gibbens [BLE67]. GIER [GHI^{+}63, Nau63m, Nau63n, Nau63g, Nau64l, Nau65r, Nau68l, Nau68m, AJL^{+}67]. given [Nau60p]. gjr [Nau63f]. good [Nau63l]. Goodman [BLE67]. Goto [Nau63l]. GPS [Nau63c]. Grading [Nau64g]. Grammars [EA06, BK93a, BK93b, BK93c, Kon73a, Kon73b, Nec22b, Nec22a]. Grammatiken [Kon73b]. Graph [May93]. Graph-theoretic [May93]. Graphical [EA06, CCH73]. Green [Čul72b, Čul72a, Gep66]. Group [Nau62f, Nau64q, G^{+}70, Nau60c, Nau60r, Nau61m]. groups [Nau59k].

H [BLE67, Čul72b, Čul72a, Gep66]. handling [Nau51c]. Happens [Nau74a]. hardware [Nau60c]. Herausgegeben [BBG^{+}63c]. Hilbert [Nau63j]. Historical [Cor87, Kru03]. History [BHW^{+}90, MHR80, Wex81]. Honnef [Len93]. Human [Nau87, Nau89, Nau91c, Nau93c, Nau95b, Nau06, Nau07].

i.e [Sie75]. ibid [Čul72a]. ideas [Nau65n]. IFIP [Kal65, Mor69, Nau62f, Nau64q, Nau71e, Nau71g, Nau71d, Nau71f, Nau72f, Nau72e, Nau72h, Nau72g]. II [Dij61, Nau63e, Nau63f, Nau63n]. Implementation [AD14, JN61b, JN61a, MA89, Nau61a]. Impressions [Bac80, Nau80]. Improvements [Nau71g, Nau72f]. Including [Nau95b]. Information [Kal65, Mor69, Kal65, Mor69]. Insight [Nau89, Nau93c]. integers [ND60]. Integration [Nau60b]. Interface [Nau71f, WH06]. Interior [Nau54b]. International [Kal65, May93, Mor69, dBvV81, Nau60d, Nau60h]. internationale [Nau60h]. Interpreter [MA89]. introduction [Nau65s]. Intuition [Nau85a]. Inverse [Nau63j]. inversion [Nau63e, Nau63f]. INVERT [Nau63i, Nau63f]. Investigation [PP24]. Invitations [Nau65n]. Invited [Nau81a, Nau92].

ISO [Nau61h, Nau79a, Nau79b]. Issue [Nau59b, Nau59c, Nau59d, Nau59e, Nau59f, Nau59g, Nau59h]. Issues [CFR93, Nau60u, Nau60v]. Italy [BR70]. items [Nau68q, Nau69d, Nau71h].

J [BLE67, Čul72b, Čul72a, Gep66]. J. [Čul72b, Čul72a]. Jacobi [Nau63b]. Jahrestagung [Sie75]. John [Aik07]. Jordan [Nau63e]. Joseph [BHW^{+}90]. Journal [Čul72a]. Journals [FN69, Hen75, Hen77, Nau75a]. June [May93, Nau61m, Wex81].

Katz [Čul72b, Čul72a, Gep66]. Kerner [Gep66]. Knowing [Nau95b]. Konstruktion [Kon73b]. Kutta [Nau60b].

L [Čul72b, Čul72a, Gep66]. labels [ND60]. LALR [DP82]. Language [ACM06, BBG^{+}63c, BBG^{+}76, DA14, NBB^{+}60, Nau62j, NBB^{+}63, NBB^{+}97, BBG^{+}60a, BBG^{+}60b, BBG^{+}61, BBG^{+}1 , BBG^{+}62, BBG^{+}63a, BBG^{+}63b, Čul72b, Čul72a, Dij62b, Gar65, Gep66, Nau59k, Nau60d, Nau60h, NBB^{+}62, Nau64f, Nau64a, Nau64z, Nau65d, NBB^{+}65, Nau66t]. Languages [Bus62, Knu03, Nau67i, Nau71d, Nau71f, Nau72g, Nau75b, Nau75c, Nau91a, Wex81, dBvV81]. Lärobok [Nau64y]. Last [Nau81b, Nau78]. Lectures [Ash87]. Letter [Knu64, Nau60q]. Letters [AGG60, Nau64r, Nau64s, Nau64t, Nau65o, Nau65p, Nau65q, Nau66l, Nau66m, Nau66n, Nau67g, Nau67h, Nau68n, Nau68o, Nau68p, Nau70c]. Level [Nau65b]. Lexing [Spe83]. Life [BHW^{+}90]. like [Nau61k]. Linear [BHW^{+}90]. List [Nau64j, Nau64k, Nau65h, Nau65i, Nau65j, Nau66e, Nau66f, Nau66g, Nau67c, Nau67d, Nau68c, Nau70d, Nau68d, Nau68e, Nau69a]. Locality [AD14]. Logic [Nau95b]. Logical [TSF^{+}87, Nau60d, Nau60h]. logiske [Nau60h]. Look [DP82]. Look-Ahead [DP82].

M [BLE67, Čul72b, Čul72a, Gep66]. Machine [Nau67i, Kan57, Nau64-27, Nau93a]. Machinery [Čul72b, Nau61j]. Magic [Nau63d]. Magnitudes [Nau55]. Maintenance [Nau60f, Nau60g, Nau61m, Nau71g, Nau72f]. Mainz [Nau60c]. Manual [AJL^{+}67, JJMN61, Nau63g]. March [Bus62]. Marsh [BLE67]. Mathematical [dBvV81, Kan57]. Mathematics [Nau75b, Nau75c]. Mathematik [Čul72b, Čul72a]. matrices [Nau63a, Nau63k, Nau64b, Nau64p]. matrix [Nau63e, Nau63j, Nau64h]. May [Kal65]. McCarthy [Čul72b, Čul72a, Gep66]. MDN [Gep66]. means [Nau63c]. Medium [GHI^{+}63]. Meeting [Nau62b, Nau59j, Nau60c, Nau61h]. Members [Nau60q, Nau60r]. Memoriam [Aik07]. memory [BBG^{+}63c, Nau66t]. Metcalfe [BLE67]. method [Nau63f, Nau63h]. Methods [Nau74b, Bel76]. Microprogramming [BHW^{+}90]. minor [Nau51b]. Misprints [Nau60s]. Mitarb [Gep66]. ML [MA89]. Modelling [Nau95b]. Models [Nau54b]. Modified [BBG^{+}76]. Modula [Spe83]. Modula-2 [Spe83]. Montreux [WH06]. Moscow [Nau61l]. motion [Nau51b]. MR93 [Nau68f]. Multi [Nau65b]. Multi-Level [Nau65b]. Mystique [Nau95b].

nach [Kon73b]. name [Nau51c]. NATO [BR70, NR69, NRB76]. Natural [Nau75b, Nau75c]. Naur [Bel76, BLE67, Čul72b, Čul72a, EA06, Gep66, Knu64, PP24, Roh68, ACM06, AGG60, BBG^{+}63c, BFG88, CCH73, Day12b, Gar65, Kon73a, Kon73b, Lan65, Nec22b, Nec22a, CAC16]. Naur-Form [Kon73b, Kon73b]. Naurod [May93]. Netherlands [dBvV81]. News [Nau68q, Nau69d, Nau71h, CAC16]. No [BBG^{+}63c, Nau60i, Nau71a, Čul72a, Nau64b, Nau64p]. Non [Lan65]. Non-rectangular [Lan65]. none [Nau65v]. Normal [Knu64]. Notation [Ham62, Nau89, Nau93c]. Note [Nau61g, Nau61f, Nau61h, Nau66h, Kru03, Nau68h, Nau69c, Roh68]. Notes [Nau62g, Nau67e, Nau64m, Nau64n, Nau64o, Nau65k, Nau65l, Nau65m, Nau65a, Nau66i, Nau66j, Nau67f, Nau68i, Nau68j, Nau70b, Nau71c, Nau72c, BHW^{+}90]. Notice [Nau59i, Nau60u, Nau60t, Nau60v]. Notions [Nau92, Nau61k]. November [Nau59a]. number [Nau66a]. numerical [Nau60d, Nau60h]. Numerische [Čul72b, Čul72a]. numeriske [Nau60h].

O [Gep66]. occasion [dBvV81]. October [BR70, NR69, Sie75, WH06, dBvV81, BFG88]. odd [Nau63d]. Offentlige [G^{+}70]. Oh [Wei88]. Oktober [Sie75]. omkring [G^{+}70]. Operand [Nau65g]. Operating [Dij62a, Nau71f, Nau72g]. Orbiting [NJK^{+}97]. orders [Nau63d]. organized [Kal65, Mor69]. Organizing [Nau65b]. own [Nau61g].

P [BBG^{+}63c, BLE67, Čul72b, Čul72a, Gep66, Nau64p]. P. [BBG^{+}63c, Gar65]. paper [Day12b]. Papers [Knu03]. PARA’96 [Nau96]. parameters [Nau66a]. Paris [Nau59a]. parsing [Spe83]. Part [Nau63m, Nau63n]. Partial [GNP62]. Pascal [L’E87]. People [Nau65c]. Performance [Nau65r]. performing [Kan57]. Perlis [Čul72b, Čul72a, Gep66]. Personal [Bac80, Nau93a]. Perturbations [Nau51a]. Peter [Bel76, ACM06, AGG60, BFG88, Day12b, CAC16]. Petrocelli [Bel76]. Phase [Nau81b, Nau78]. Philosophy [Nau62a]. Pioneer [ACM06, BHW^{+}90]. Pioneers [Wei88]. Place [Nau65c, Nau89, Nau93c]. Planet [NJK^{+}97, Nau51b]. Polish [Ham62]. politicians [G^{+}70]. politikere [G^{+}70]. polynomially [Nec22b, Nec22a]. pp [Bel76, Čul72b, Čul72a]. Preis [Gep66]. Preliminary [AGG60]. Presentations [Nau81c, Per81, PN78]. primer [Dij62b]. primes [Nau63c]. Problem [TSF^{+}87, Nau66o, Pos43]. Problems [Nau65c, Nau63o]. Procedures [JN61b, JN61a]. Proceedings [Bus62, Len93, NRB76, WH06, Wex81, dBvV81, Kal65, Mor69, May93]. processer [Nau60h]. processes [Nau60d, Nau60h, Nau68g]. Processing [Bus62, Cor87, Nau71e, Nau72e, Kal65, Mor69, Nau66o, Nau79a, Nau79b, Nau91b]. production [Nau54a]. prof [dBvV81]. Program [CFR93, Nau66o, Nau72d, Nau74a, Nau83, Nau93b, Nau60x, Nau82, Nau93a].

Programmer [Bri76]. Programming [Bac80, BLE67, Nau61b, Nau63l, Nau64g, Nau64b, Nau64p, Nau65c, Nau67i, Nau69e, Nau75b, Nau75c, Nau80, Nau85b, TSF^{+}87, Nau61c, Nau91a, Wex81, BHW^{+}90]. Programs [L’E87, Nau65r]. Progress [Nau61i, Nau60j, Nau60k]. Proof [Nau66p, Nau92, Nau93d, Nau94]. Proposals [Nau64a, Nau65s, Gar65]. Public [G^{+}70].

Queries [BHW^{+}90]. Questionnaire [Nau60w, Nau62h, Nau62i]. questions [Nec22b, Nec22a].

R [BLE67]. Rapport [G^{+}70]. real [Nau64b, Nau64p]. rectangular [Lan65]. reductions [Pos43]. reference [Nau61c]. References [Nau64u, Nau64v, Nau64w, Nau65v, Nau65t, Nau65u, Nau66q, Nau66r, Nau66s, Nau67j, Nau67k, Nau68r, Nau68s, Nau68t, Nau69f, Nau70e]. regular [BK93a, BK93b, BK93c]. relativity [Nau99]. Remark [Nau60x, ND60, Nau63h, Nau65a]. Remarks [Gar65, Nau63i, Nau63j, Nau63k, Nau64x, Nau63a, Nau63f]. Replies [Nau62i]. Reply [Rut60]. Report [AGG60, BBG^{+}60a, BBG^{+}60b, BBG^{+}61, BBG^{+}1 , BBG^{+}62, BBG^{+}76, BR70, Nau59j, NBB^{+}60, Nau62j, NBB^{+}63, Nau68k, NR69, Nau71a, Nau71e, Nau71g, Nau71d, Nau71f, NBB^{+}97, BBG^{+}63a, BBG^{+}63b, Čul72a, Dij62b, Nau64f, Nau64z, NBB^{+}65, Nau66t, BBG^{+}63c, Čul72b, Gep66, G^{+}70, Nau60s, Nau60y, NBB^{+}62, Nau62k]. representation [CCH73]. representations [Nec22b, Nec22a]. Reprinted [Nau61j]. Response [BHW^{+}90]. retirement [dBvV81]. Revidierter [Nau66t]. Review [Bel76, BLE67, Čul72b, Čul72a, Nau64y, Nau95a]. Revised [BBG^{+}63a, BBG^{+}63b, Nau62j, NBB^{+}63, Nau64f, Nau64z, NBB^{+}65, NBB^{+}97, Čul72a, Nau66t]. Revolutionized [ACM06]. Rome [BR70, Bus62, Nau62b]. Rules [L’E87, Nau95b]. Runge [Nau60b]. Russian [Nau65d, NBB^{+}65]. Rutishauser [Čul72b, Čul72a, Gep66].

S [Gep66]. Samelson [Čul72b, Čul72a, Gep66]. samfundsdebat [G^{+}70]. SBTNon [Nau59k]. SBTNon-ALGOL [Nau59k]. Scheme [JMN61b, JMN61a, JMN61c]. Scholarship [Nau95b]. Science [BHW^{+}90, BR70, CFR93, NR69, Nau75d, Nau95b, May93, Nau66u, Nau68g, SF88]. scientific [Nau99]. segment [Nau63j]. Segmentation [Nau65r]. Selected [Knu03]. Selskabet [G^{+}70]. Semantics [MA89]. SEN [Kru03]. September [Len93]. Session [CPN81]. set [Nau63a, Nau63k]. Sets [DP82]. SGML [BK93a, BK93b, BK93c]. Side [Nau81b, Nau78]. SIGPLAN [Wex81]. Simulation [BLE67]. Size [GHI^{+}63]. Snapshots [Nau66p, Nau93d]. Social [G^{+}70]. Society [G^{+}70]. Software [ACM06, BR70, Day12a, NR69, NRB76, Nau85a, WH06]. Some [Bac80, Nec22b, Nec22a]. Special [Nau51a, Nau61c, Nau99]. specifications [Nau66k]. sponsored [BR70, NR69]. Sprache [BBG^{+}63c, Gep66, NBB^{+}62, Nau66t]. sprog [Nau60h]. squares [Nau63d].

Stand [BHW^{+}90]. Standard [MA89, Nau59j]. Star [NJK^{+}97]. Stars [Van23, Nau54a, Nau55]. Statements [Nau95b, Nau63l]. Stockholm [Nau59k]. Storage [JMN61b, JMN61a, JMN61c]. Stores [Nau65b]. Story [BHW^{+}90]. Strictly [Nau89, Nau93c]. Structure [GN61]. Student [Nau64g]. Studentlitteratur [Nau64y]. Studies [Nau83]. Study [BHW^{+}90, Nau74a]. Style [AD14, Nau63l, Nau93a]. sub [Nau59j]. sub-committee [Nau59j]. Subcommittee [Nau71e, Nau71g, Nau71d, Nau71f, Nau72f, Nau72e, Nau72h, Nau72g]. Sublanguages [Nau72h]. subroutine [Nau51c]. Successes [Nau68u]. Suggestion [Nau61k]. Suggestions [Nau59k, Nau59l, Nau61l]. Summary [Nau61m]. Summation [Nau60a]. Sun [Nau54b]. Supplement [BBG^{+}63c, Nau60i, Nau62k]. Supplements [Nau59l, Nau60l, Nau60m, Nau61d, Nau61e, Nau62d, Nau62e]. Survey [Nau74b, Bel76]. Switzerland [WH06]. Symbolic [Bus62]. symbolism [Kan57]. SYMINV2 [Nau64i]. symmetric [Nau64b, Nau64p]. Symposium [Bus62, Len93, WH06, dBvV81]. System [Nau65r, Nau68l, Nau68m, Nau61c, Nau64-27]. Systems [Nau71f, Nau72g].

T [Nau64y]. Talk [Nau96, Nau92]. Techniques [BR70, NRB76]. Technology [WH06]. Telegram [TSF^{+}87]. test [Nau63a, Nau63k, Nau86]. their [MA89]. theoretic [May93]. theory [Nau85b]. Thinking [Nau86, Nau87, Nau06, Nau07]. Three [Nau92]. til [Nau60h]. Tocher [BLE67]. Tools [Nau65c]. TR [Kon73b, Kon73a, Kon73b]. TR-grammars [Kon73a, Kon73b]. TR-Grammatiken [Kon73b]. tradition [SF88]. Transcripts [Nau81c, PN78, Per81]. Translation [Ham62, Nau66o]. Translations [Nau60y]. Translator [GN61, Dij61, Nau60j, Nau60k, Nau60n, Nau60w]. translators [Nau61k]. Transput [Nau71e, Nau72e]. Trends [Nau75d]. tribute [dBvV81]. Tridiagonal [Nau64h]. True [Nau95b]. Turanski [BBG^{+}63c, BBG^{+}63c, Nau66t]. Turing [Ash87, ACM06, Day12a, Day12b, Nau86, Nau93a]. Twentieth [MHR80]. twenty [Ash87]. Two [Nau54b]. Types [Nau65g].

u [Gep66]. U.S. [Nau61m]. Übers [Gep66]. Übersetzer [Dij61]. udvalg [G^{+}70]. UML [EA06]. Unambiguity [BK93a, BK93b, BK93c]. Understanding [Nau93a]. universal [Nau93a]. Universality [AD14]. Use [Nau65b]. User [WH06]. Using [Nau64-27, Nau51c].

V [BLE67]. value [Nau60o]. variable [Nau60o]. vary [Nau66a]. Vauquois [Čul72b, Čul72a, Gep66]. vector [Nau51c]. vector-handling [Nau51c]. Verification [CFR93]. Verlag [Gep66]. versus [AD14, Nau61a, Nau94, Nau06, Nau07]. vi [Gep66]. vierte [Sie75]. View [EA06]. viewed [Nau66o]. Violations [PP24]. vocabulary [Nau79a, Nau79b]. vol [Čul72b, Čul72a]. Volume [BLE67]. vs [Knu64, Nau87].

W [Aik07, Čul72b, Čul72a, Gep66]. Was [DA14]. Wegstein [Čul72b, Čul72a, Gep66]. WG [May93]. WG2.1 [Nau71e, Nau71g, Nau71d, Nau71f, Nau72f, Nau72e, Nau72h, Nau72g]. Whiggism [BHW^{+}90]. Whirlwind [BHW^{+}90, BHW^{+}90]. Wiesbaden [May93]. Wiesbaden-Naurod [May93]. Wijngaarden [Čul72b, Čul72a, dBvV81, Nau65a, Nau81a]. Wijngarden [Gep66]. Wilkes [BLE67]. William [BBG^{+}63c, Nau66t, BBG^{+}63c, Nau66t]. Wins [ACM06]. Within [Nau65r, Nau64-27]. Woodger [Čul72b, Čul72a, Gep66]. Work [BHW^{+}90]. Working [Nau61l, Nau62f, Nau64q, G^{+}70]. Workshop [May93]. World [Nau65c]. written [Nau51c].

X [Dij61, Dij61]. X1 [Kru03].

yazyk [Nau65d]. years [Ash87]. York [Bel76, Kal65]. Young [Bri76].

Zonneveld [Kru03]. Zur [BBG^{+}63c, Nau66t].

References

ACM:2006:SPP

[ACM06] ACM. Software pioneer Peter Naur wins ACM’s Turing Award. Dane’s creative genius revolutionized computer language design.

          ACM Web site, 2006. URL http://campus.acm.org/public/
          pressroom/press_releases/3_2006/turing_3_01_2006.cfm.

Alberts:2014:UVL

[AD14] Gerard Alberts and Edgar G. Daylight. Universality versus locality: The Amsterdam style of Algol implementation. IEEE Annals of the History of Computing, 36(4):52–63, October/December 2014. CODEN IAHCEX. ISSN 1058-6180 (print), 1934-1547 (electronic).

Arden:1960:LPR

[AGG60] B. Arden, B. Galler, and R. Graham. Letters: Preliminary report (February 4, 1960) of Peter Naur. Communications of the ACM, 3 (6):A13, June 1960. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic). See [NBB^{+}60].

Aiken:2007:MJW

[Aik07] Alex Aiken. In memoriam: John W. Backus, 1924–2007. ;login: the USENIX Association newsletter, 32(3):68–69, June 2007. CODEN LOGNEM. ISSN 1044-6397. URL https:/

/www.usenix.org/publications/login/june-2007-volume-32-
number-3/memoriam-john-w-backus-1924%E2%80%932007.

Asmussen:1967:MGA

[AJL^{+}67] Tove Asmussen, Jørn Jensen, Søren Lauesen, Paul Lindgreen, Per Mondrup, Peter Naur, and Jørgen Zachariassen. A Manual of Gier Algol 4. Regnecentralen, Copenhagen, Denmark, 1967. 89 pp.

Ashenhurst:1987:ATA

[Ash87] Robert L. Ashenhurst, editor. ACM Turing Award Lectures: the first twenty years, 1966–1985. ACM Press anthology series. ACM Press and Addison-Wesley, New York, NY 10036, USA and Reading, MA, USA, 1987. ISBN 0-201-07794-9. xviii + 483 pp. LCCN QA76.24 .A33 1987.

Backus:1980:PAS

[Bac80] John Backus. Programming in America in the 1950s: Some personal impressions. In Metropolis et al. [MHR80], pages 125–135. ISBN 0-12-491650-3, 1-4832-9668-7 (e-book). LCCN QA75.5 .I63

1976. URL https://www.sciencedirect.com/science/article/

pii/B9780124916500500174. Original versions of these papers were presented at the International Research Conference on the History of Computing, held at the Los Alamos Scientific Laboratory, 10–15 June 1976.

Backus:1960:RALa

[BBG^{+}60a] J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, Editor, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Report on the algorithmic language Algol 60. Numerische Mathematik, 2(1):106–136, December 1960. CODEN NUMMA7. ISSN 0029-599X (print), 0945-3245 (electronic). URL https://link.

springer.com/article/10.1007/BF01386216.

Backus:1960:RALb

[BBG^{+}60b] J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, Editor, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Report on the algorithmic language Algol 60. Acta Polytechnica Scandinavica: Mathematics and Computing Machinery Series, (5): 1–39, ???? 1960. CODEN APSMAT. ISSN 0355-2713. URL https:

//web.archive.org/web/20191029151524id_/http://web.eah-
jena.de/%7Ekleine/history/languages/Algol60-Naur.pdf.

Backus:1961:ARA

[BBG^{+}61] J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Appendix: Report on the algorithmic language ALGOL 60. Annual Review in Automatic Programming, 2:351–390, January 1961. CODEN ARVAAM. ISSN 0066-4138 (print), 1878-545x (electronic).

Backus:1962:RAL

[BBG^{+}62] John W. Backus, F. L. Bauer, J. Green, C. Katz, J. Mc-Carthy, P. Naur (Editor), A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. Van Wijngaarden, and M. Woodger. Appendix: Report on the algorithmic language AL-GOL 60, pages 74–114. Volume 2 of APIC studies in data processing [Dij62b], 1962. ISBN 0-12-216250-1. ISSN 0067-2483.

LCCN QA76.73.A24. URL https://dn710009.ca.archive.org/
0/items/a_primer_of_algol_60_programming/algol60_o.pdf.

Backus:1963:RRAa

[BBG^{+}63a] J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Revised report on the algorithmic language ALGOL 60. The Computer Journal, 5(4):349–367, January 1963. CODEN CM-PJA6. ISSN 0010-4620 (print), 1460-2067 (electronic). URL

http://comjnl.oxfordjournals.org/content/5/4/349.full.
pdf+html;   http://www3.oup.co.uk/computer_journal/hdb/
Volume_05/Issue_04/050349.sgm.abs.html;   http://www3.
oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/
349.tif;   http://www3.oup.co.uk/computer_journal/hdb/
Volume_05/Issue_04/tiff/350.tif;   http://www3.oup.co.
uk/computer_journal/hdb/Volume_05/Issue_04/tiff/351.tif;
 http://www3.oup.co.uk/computer_journal/hdb/Volume_05/
Issue_04/tiff/352.tif;   http://www3.oup.co.uk/computer_
journal/hdb/Volume_05/Issue_04/tiff/353.tif;   http://
www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/
tiff/354.tif;   http://www3.oup.co.uk/computer_journal/
hdb/Volume_05/Issue_04/tiff/355.tif;   http://www3.oup.
co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/356.
tif;   http://www3.oup.co.uk/computer_journal/hdb/Volume_

05/Issue_04/tiff/357.tif;   http://www3.oup.co.uk/computer_
journal/hdb/Volume_05/Issue_04/tiff/358.tif;   http://
www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/
tiff/359.tif;   http://www3.oup.co.uk/computer_journal/
hdb/Volume_05/Issue_04/tiff/360.tif;   http://www3.oup.
co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/361.
tif;   http://www3.oup.co.uk/computer_journal/hdb/Volume_
05/Issue_04/tiff/362.tif;   http://www3.oup.co.uk/computer_
journal/hdb/Volume_05/Issue_04/tiff/363.tif;   http://
www3.oup.co.uk/computer_journal/hdb/Volume_05/Issue_04/
tiff/364.tif;   http://www3.oup.co.uk/computer_journal/
hdb/Volume_05/Issue_04/tiff/365.tif;   http://www3.oup.
co.uk/computer_journal/hdb/Volume_05/Issue_04/tiff/366.
tif;   http://www3.oup.co.uk/computer_journal/hdb/Volume_
05/Issue_04/tiff/367.tif;   https://standardpascaline.
org/Algol60-RevisedReport.pdf.

Backus:1963:RRAb

[BBG^{+}63b] J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Revised report on the algorithmic language ALGOL 60. Numerische Mathematik, 4:420–453, December 1963. CODEN NUMMA7. ISSN 0029-599X (print), 0945-3245 (electronic). URL https://link.

springer.com/article/10.1007/BF01386340. Edited by Peter

Naur. Dedicated to the memory of William Turanski.

Backus:1963:BAS

[BBG^{+}63c] J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, Heinz Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Bericht über die Algorithmische Sprache ALGOL 60 (ALGOL Bulletin Supplement No. 3). Zur Erinnerung an William Turanski. Herausgegeben von P. Naur. (German) [Report on the algorithmic language ALGOL 60 (ALGOL Bulletin supplement no. 3). In memory of William Turanski. Edited by P. Naur]. Elektronische Datenverarbeitung, 2(??):1–24, 1963. ISSN 0374-3012.

Backus:1976:MRA

[BBG^{+}76] J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. Mc-Carthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, M. Woodger, R. M. De Morgan, I. D. Hill, and B. A. Wichmann. Modified report on the algorithmic language ALGOL-60. The Computer Journal, 19(4):364–379, November 1976. CODEN CM-PJA6. ISSN 0010-4620 (print), 1460-2067 (electronic). URL

http://comjnl.oxfordjournals.org/content/19/4/364.full.
pdf+html;   http://www3.oup.co.uk/computer_journal/hdb/
Volume_19/Issue_04/tiff/364.tif;   http://www3.oup.co.
uk/computer_journal/hdb/Volume_19/Issue_04/tiff/365.tif;
 http://www3.oup.co.uk/computer_journal/hdb/Volume_19/
Issue_04/tiff/366.tif;   http://www3.oup.co.uk/computer_
journal/hdb/Volume_19/Issue_04/tiff/367.tif;   http://
www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/
tiff/368.tif;   http://www3.oup.co.uk/computer_journal/
hdb/Volume_19/Issue_04/tiff/369.tif;   http://www3.oup.
co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/370.
tif;   http://www3.oup.co.uk/computer_journal/hdb/Volume_
19/Issue_04/tiff/371.tif;   http://www3.oup.co.uk/computer_
journal/hdb/Volume_19/Issue_04/tiff/372.tif;   http://
www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/
tiff/373.tif;   http://www3.oup.co.uk/computer_journal/
hdb/Volume_19/Issue_04/tiff/374.tif;   http://www3.oup.
co.uk/computer_journal/hdb/Volume_19/Issue_04/tiff/375.
tif;   http://www3.oup.co.uk/computer_journal/hdb/Volume_
19/Issue_04/tiff/376.tif;   http://www3.oup.co.uk/computer_
journal/hdb/Volume_19/Issue_04/tiff/377.tif;   http://
www3.oup.co.uk/computer_journal/hdb/Volume_19/Issue_04/
tiff/378.tif;   http://www3.oup.co.uk/computer_journal/
hdb/Volume_19/Issue_04/tiff/379.tif.

Backus:1961:RAL

[BBG^{+}1 ] J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Report on the algorithmic language ALGOL 60. Acta Polytechnica Scandinavica. Mathematics and Computing Series, 5:1–39, 1961 (??). ISSN 1456-9418. URL https:

//web.archive.org/web/20191029151524id_/http://web.eah-
jena.de/~kleine/history/languages/Algol60-Naur.pdf.

Belzer:1976:BRB

[Bel76] Jack Belzer. Book review: Concise survey of computer methods. Peter Naur. New York: Petrocelli Books, 397 pp. (1975). Journal of the American Society for Information Science, 27(2):125–126, March 1976. CODEN AISJB6. ISSN 0002-8231 (print), 1097-4571 (electronic).

Bruhn:1988:PNH

[BFG88] Erik Bruhn, Carl-Erik Fröberg, and Christian Gram. Peter Naur on his 60th birthday, October 25, 1988. BIT (Nordisk tidskrift for informationsbehandling), 28(3):i–iii, 1988. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic).

Buchholz:1990:CQDa

[BHW^{+}90] Werner Buchholz, R. Anthony Hyman, Maurice V. Wilkes, Richard E. Smith, George T. Jacobi, Alice R. Burks, Arthur W. Burks, I. Bernard Cohen, I. O. Grattan-Guinness, S. I. Gass, and Mike Woodger. Comments, queries, and debate: Whiggism in the History of Science and the Study of the Life and Work of Charles Babbage; Whirlwind and Microprogramming; More on Wilkes, Whirlwind, and Microprogramming; Pioneer Biographies; The Atanasoff Story — A Response; Notes on Babbage, Aiken, and Bowditch; Joseph Fourier’s Anticipation of Linear Programming; What Does BNF Stand for? Annals of the History of Computing, 12(1):62–72, January/March 1990. CODEN AHCOE5. ISSN

0164-1239. URL http://dlib.computer.org/an/books/an1990/
pdf/a1062.pdf;   http://www.computer.org/annals/an1990/
a1062abs.htm.

Bruggemann-Klein:1993:UERa

[BK93a] A. Brüggemann-Klein. Unambiguity of extended regular expressions in SGML document grammars. In Lengauer [Len93], pages 73–84. ISBN 3-540-57273-2, 0-387-57273-2. ISSN 0302-9743 (print), 1611-3349 (electronic). LCCN QA76.9.A43E83 1993.

Bruggemann-Klein:1993:UERb

[BK93b] A. Bruggemann-Klein. Unambiguity of extended regular expressions in SGML document grammars. In Lengauer [Len93], pages 73–84. ISBN 3-540-57273-2, 0-387-57273-2. ISSN 0302-9743 (print), 1611-3349 (electronic). LCCN QA76.9.A43E83 1993.

BruggemannKlein:1993:UER

[BK93c] A. Bruggemann-Klein. Unambiguity of extended regular expressions in SGML document grammars. In Lengauer [Len93], pages 73–84. ISBN 3-540-57273-2, 0-387-57273-2. ISSN 0302-9743 (print), 1611-3349 (electronic). LCCN QA76.9.A43E83 1993.

Berners-Lee:1967:NBN

[BLE67] C. M. Berners-Lee and A. Evans. Review of The Art of Simulation; Automatic Programming – Volume 4, by K. D. Tocher, R. Goodman, M. V. Wilkes, P. Naur, H. H. Metcalfe, D. G. Marsh, H. D. Baecker, B. J. Gibbens, & D. C. Fried. OR, 18(2):200–201, 1967.

ISSN 1473-2858. URL http://www.jstor.org/stable/3007542.

Buxton:1970:SET

[BR70] J. N. Buxton and B. Randell, editors. Software Engineering Techniques: Report on a Conference sponsored by the NATO Science Committee, Rome, Italy, 27th to 31st October 1969. NATO Scientific Affairs Division, Brussels, Belgium, April 1970. URL http://

homepages.cs.ncl.ac.uk/brian.randell/NATO/nato1969.PDF.

Reprinted in [NRB76]. PDF file reconstructed by Robert M. McLure (details on page 2).

BrinchHansen:1976:PYD

[Bri76] Per Brinch Hansen. The programmer as a young dog. In P. Sveistrup, P. Naur, H. B. Hansen, and C. Gram, editors, Niels Ivar Bech — en epoke i edb-udviklingen i Danmark. (Danish) [Niels Ivar Bech — an epoch in data processing development in Denmark], pages 65–68. Data, Copenhagen, Denmark, 1976. URL http:/

/brinch-hansen.net/papers/1976e.pdf. translation to English

by the author.

Busa:1962:SLD

[Bus62] Roberto Busa, editor. Symbolic Languages in Data Processing, Proceedings of the Symposium, Rome, March 26–31, 1962. Gordon and Breach Science Publishers, New York, NY, USA, 1962. LCCN QA76 .S95 1962.

Staff:2016:NPN

[CAC16] CACM Staff. News: Peter Naur: 1928–2016. Communications of the ACM, 59(3):22–23, March 2016. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic). URL http://cacm.acm.

org/magazines/2016/3/198858/fulltext.

Chaplin:1973:GRB

[CCH73] R. I. Chaplin, R. E. Crosbie, and J. L. Hay. A graphical representation of the Backus–Naur form. The Computer Journal, 16(1):28–29, February 1973. CODEN CM-PJA6. ISSN 0010-4620 (print), 1460-2067 (electronic). URL

http://comjnl.oxfordjournals.org/content/16/1/28.full.
pdf+html;   http://www3.oup.co.uk/computer_journal/hdb/
Volume_16/Issue_01/160028.sgm.abs.html;   http://www3.
oup.co.uk/computer_journal/hdb/Volume_16/Issue_01/tiff/

28.tif;   http://www3.oup.co.uk/computer_journal/hdb/Volume_
16/Issue_01/tiff/29.tif.

Colburn:1993:PVF

[CFR93] Timothy R. Colburn, James H. Fetzer, and Terry L. Rankin, editors. Program Verification: Fundamental Issues in Computer Science, volume 14 of Studies in Cognitive Systems. Springer Netherlands, Dordrecht, The Netherlands, 1993. ISBN 94-010-4789-8, 94-011-1793-4 (e-book). ISSN 0924-0780. xiii + 458 pp. LCCN Q334-342; TJ210.2-211.495.

Cortada:1987:HDD

[Cor87] James W. Cortada. Historical Dictionary of Data Processing: Biographies. Greenwood Press, 88 Post Road West, Westport, CT 06881, USA, 1987. ISBN 0-313-25651-9 (lib. bdg.). xiii + 321 pp. LCCN QA76.15 .C66 1987.

Cheatham:1981:AS

[CPN81] Thomas Cheatham, Alan J. Perils, and Peter Naur. ALGOL Session, pages 75–172. Elsevier, Amsterdam, The Netherlands, 1981. ISBN 0-12-745040-8. LCCN QA76.7 .H56 1981.

Culik:1972:BRJb

[Čul72a] Karel Čulík. Book review: J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Revised report on the algorithmic language ALGOL

60. Numerische Mathematik, vol. 4 (1962–1963), pp. 420–453; also ibid., vol. 6 (1963), pp. 1–17; and The Computer Journal, vol. 5 no. 4 (1963), pp. 349–367. Journal of Symbolic Logic, 37(3):623– 624, September 1972. CODEN JSYLA6. ISSN 0022-4812 (print),

1943-5886 (electronic). URL https://www.jstor.org/stable/
2272794.

Culik:1972:BRJa

[Čul72b] Karel Čulík. Book review: J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur (editor), A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Report on the algorithmic language ALGOL 60. Numerische Mathematik, vol. 2 (1960), pp. 106–136; also Communications of the Association for Computing Machinery, vol. 3 (1960), pp. 299–314. Journal of Symbolic Logic, 37(3):622–623, September 1972. CODEN JSYLA6. ISSN 0022-4812 (print),

1943-5886 (electronic). URL https://www.jstor.org/stable/
2272793;   ttps://www.jstor.org/stable/2272793.

Durnova:2014:WAF

[DA14] Helena Durnová and Gerard Alberts. Was Algol 60 the first algorithmic language? IEEE Annals of the History of Computing, 36 (4):104, 2014. CODEN IAHCEX. ISSN 1058-6180 (print), 1934-1547 (electronic).

Daylight:2012:DSE

[Day12a] Edgar G. Daylight. The Dawn of Software Engineering: from Turing to Dijkstra. Lonely Scholar, Heverlee, Belgium, 2012. ISBN 94-91386-02-6. vi + 239 pp. LCCN QA76.17 .D38 2012. Edited by Kurt De Grave.

Daylight:2012:PNT

[Day12b] Edgar G. Daylight. Peter Naur and Turing’s 1936 paper. In The Dawn of Software Engineering: from Turing to Dijkstra [Day12a], pages 165–?? ISBN 94-91386-02-6. LCCN QA76.17 .D38 2012. Edited by Kurt De Grave.

deBakker:1981:ALP

[dBvV81] J. W. (Jacobus Willem) de Bakker and J. C. van Vliet, editors. Algorithmic languages: Proceedings of the International Symposium on …, Amsterdam, The Netherlands, 26–29 October 1981, a tribute to prof. A. van Wijngaarden on the occasion of his retirement from the Mathematical Centre. North-Holland, Amsterdam, The Netherlands, 1981. ISBN 0-444-86285-4. LCCN QA76.7 .I575 1981.

URL https://ir.cwi.nl/pub/34328/34328D.pdf.

Dijkstra:1961:AUX

[Dij61] E. W. Dijkstra. Ein ALGOL-60-Übersetzer für die X 1. II. (German) [an ALGOL-60 translator for the X 1. II]. Math.-Tech.- Wirtschaft, 8:115–119, 1961.

Dijkstra:1962:OEA

[Dij62a] E. W. Dijkstra. Operating experience with ALGOL 60. The Computer Journal, 5(2):125–127, August 1962. CODEN CM-PJA6. ISSN 0010-4620 (print), 1460-2067 (electronic). URL

http://comjnl.oxfordjournals.org/content/5/2/125.full.
pdf+html;   http://www3.oup.co.uk/computer_journal/hdb/
Volume_05/Issue_02/050125.sgm.abs.html;   http://www3.
oup.co.uk/computer_journal/hdb/Volume_05/Issue_02/tiff/

125.tif;   http://www3.oup.co.uk/computer_journal/hdb/
Volume_05/Issue_02/tiff/126.tif;   http://www3.oup.co.
uk/computer_journal/hdb/Volume_05/Issue_02/tiff/127.tif.

Dijkstra:1962:PAR

[Dij62b] Edsger W. Dijkstra. A primer of ALGOL 60: report on the algorithmic language ALGOL 60, volume 2 of APIC studies in data processing. Academic Press, New York, USA, 1962. ISBN 0-12-216250-1. ISSN 0067-2483. xi + 114 pp.

LCCN QA76.73.A24. URL https://dn710009.ca.archive.org/
0/items/a_primer_of_algol_60_programming/algol60_o.pdf.

DeRemer:1982:ECL

[DP82] Frank DeRemer and Thomas Pennello. Efficient computation of LALR(1) look-ahead sets. ACM Transactions on Programming Languages and Systems, 4(4):615–649, October 1982. CODEN ATPSDT. ISSN 0164-0925 (print), 1558-4593 (electronic).

Essalmi:2006:GUV

[EA06] F. Essalmi and L. J. B. Ayed. Graphical UML view from extended Backus–Naur Form grammars. In Kinshuk, Rob Koper, Piet Kommers, Paul Kirschner, Demetrios G. Sampson, and Wim Didderen, editors, Sixth IEEE International Conference on Advanced Learning Technologies (ICALT’06), 5–7 July 2006, Kerkrade, The Netherlands, pages 544–546. IEEE Computer Society Press, 1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA, 2006. ISBN 0-7695-2632-2. LCCN LB1028.43.I315 2006.

Froberg:1969:NBJ

[FN69] Carl-Erik Fröberg and Peter Naur. New books and journals. BIT (Nordisk tidskrift for informationsbehandling), 9(1):91–93, March 1969. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic). URL http://www.springerlink.

com/openurl.asp?genre=article&issn=0006-3835&volume=9&
issue=1&spage=91.

Gram:1970:OUR

[G^{+}70] Anne-Mette Gram et al. Offentlige udvalg. Rapport fra en arbejdsgruppe omkring politikere, administratorer og eksperter under Selskabet for samfundsdebat. (Danish) [Public committees. Report from a working group of politicians, administrators and experts under the Society for Social Debate.]. Munksgaard, Copenhagen, Denmark, 1970. 44 pp. LCCN JN7241 .S44. Edited by Peter Naur.

Garwick:1965:RPN

[Gar65] J. V. Garwick. Remarks on P. Naur’s new language proposals. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (19):17– 18, January 1965. CODEN ALGOBG. ISSN 0084-6198.

Geppert:1966:BBJ

[Gep66] M. G. Geppert. Buchbesprechung: Backus, J. W., F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. Van Wijngarden und M. Woodger: Bericht über die algorithmische Sprache Algol 60. (Report on the algorithmic language Algol 60. Übers. Kerner J. O. u. Mitarb.). Akademie-Verlag Berlin 1962. vi + 49 S., Preis MDN 10,50. Biometrische Zeitschrift, 8(1-2):121, 1966. CODEN BIZEB3. ISSN 0006-3452.

Gram:1963:GDC

[GHI^{+}63] C. Gram, O. Hestvik, H. Isaksson, P. T. Jacobsen, J. Jensen, P. Naur, B. S. Petersen, and B. Svejgaard. GIER — a Danish computer of medium size. IEEE Transactions on Electronic Computers, EC-12(6):629–650, December 1963. CODEN IEECA8. ISSN

0367-7508. URL https://ieeexplore.ieee.org/stamp/stamp.
jsp?tp=&arnumber=4038014.

Grau:1961:SAT

[GN61] A. A. Grau and P. Naur. The structure of an ALGOL translator. Report ORNL-3054, Oak Ridge National Laboratory, Oak Ridge, TN, USA, 1961. ?? pp.

Gram:1962:PDE

[GNP62] Christian Gram, Peter Naur, and Ebbe Thue Poulsen. Partial differential equations. In Selected numerical methods, pages 29–113. Regnecentralen, Copenhagen, 1962.

Hamblin:1962:TPN

[Ham62] C. L. Hamblin. Translation to and from Polish notation. The Computer Journal, 5(3):210–213, November 1962. CODEN CM-PJA6. ISSN 0010-4620 (print), 1460-2067 (electronic). URL

http://comjnl.oxfordjournals.org/content/5/3/210.full.
pdf+html;   http://www3.oup.co.uk/computer_journal/hdb/
Volume_05/Issue_03/050210.sgm.abs.html;   http://www3.
oup.co.uk/computer_journal/hdb/Volume_05/Issue_03/tiff/
210.tif;   http://www3.oup.co.uk/computer_journal/hdb/

Volume_05/Issue_03/tiff/211.tif;   http://www3.oup.co.
uk/computer_journal/hdb/Volume_05/Issue_03/tiff/212.tif;
 http://www3.oup.co.uk/computer_journal/hdb/Volume_05/
Issue_03/tiff/213.tif.

Henrickson:1975:NBJ

[Hen75] Sten Henrickson. New books and journals. BIT (Nordisk tidskrift for informationsbehandling), 15(2):227–231, June 1975. CO-DEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125

(electronic). URL http://www.springerlink.com/openurl.asp?
genre=article&issn=0006-3835&volume=15&issue=2&spage=227.

Includes review of Concise Survey of Computer Methods, by Peter Naur.

Henriksson:1977:NBJ

[Hen77] S. Henriksson. New books and journals. BIT (Nordisk tidskrift for informationsbehandling), 17(1):116–117, March 1977. CO-DEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125

(electronic). URL http://www.springerlink.com/openurl.asp?
genre=article&issn=0006-3835&volume=17&issue=1&spage=116.

Includes review of Niels Ivar Bech — En epoke i EDB-Udvikling i Danmark (Danish) [Niels Ivar Bech — A time of EDP Development in Denmark], by P. Sveistrup, P. Naur, H. B. Hansen and Chr. Gram.

Jensen:1961:MDA

[JJMN61] J. Jensen, T. Jensen, P. Mondrup, and P. Naur. A Manual of the DASK ALGOL. Regnecentralen, Copenhagen, Denmark, 1961. ???? pp.

Jensen:1961:SASb

[JMN61a] J. Jensen, P. Mondrup, and Peter Naur. A storage allocation scheme for ALGOL 60. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (Sup 15):1–12, October 1961. CODEN ALGOBG. ISSN 0084-6198.

Jensen:1961:SASa

[JMN61b] Jørn Jensen, Per Mondrup, and Peter Naur. A storage allocation scheme for ALGOL 60. Nordisk tidskrift for informationsbehandling, 1(2):89–102, June 1961. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic). URL http:

//www.springerlink.com/openurl.asp?genre=article&issn=
0006-3835&volume=1&issue=2&spage=89.

Jensen:1961:SASc

[JMN61c] Jørn Jensen, Per Mondrup, and Peter Naur. A storage allocation scheme for ALGOL 60. Communications of the ACM, 4(10):441– 445, October 1961. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Jensen:1961:IAPb

[JN61a] J. Jensen and P. Naur. An implementation of ALGOL 60 procedures. Nordisk tidskrift for informationsbehandling, 1(1):38– 47, March 1961. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic). URL http://www.springerlink.

com/openurl.asp?genre=article&issn=0006-3835&volume=1&
issue=1&spage=38.

Jensen:1961:IAPa

[JN61b] J. Jensen and Peter Naur. An implementation of Algol 60 procedures. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (Sup 11):38–47, January 1961. CODEN ALGOBG. ISSN 0084-6198. Preprint from Nordisk Tidskrift for Informations-Behandling, Volume 1, No 1, 1961.

Kalenich:1965:IPP

[Kal65] Wayne A. Kalenich, editor. Information processing 1965: proceedings of IFIP congress 65; organized by the International Federation for Information Processing, New York City, May 24–29, 1965. Spartan Books, Washington, DC, USA, 1965.

Kantorovich:1957:MSC

[Kan57] L. V. Kantorovich. On a mathematical symbolism convenient for performing machine calculations. Doklady AN USSR, 113(4):738– 741, ???? 1957.

Knuth:1961:AC

[KM61] Donald E. Knuth and Jack N. Merner. ALGOL 60 confidential. Communications of the ACM, 4(6):268–272, June 1961. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic). See [Nau63c].

Knuth:1964:LEB

[Knu64] Donald E. Knuth. Letter to the editor: Backus Normal Form vs. Backus Naur Form. Communications of the ACM, 7(12):735–736, December 1964. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Knuth:2003:SPC

[Knu03] Donald E. Knuth. Selected Papers on Computer Languages, volume 139 of CSLI Lecture Notes. CSLI Publications, Stanford, CA, USA, 2003. ISBN 1-57586-381-2 (hardcover), 1-57586-382-0 (paperback). xviii + 594 pp. LCCN QA76.7 .K63 2002. US$75.00 (hardcover), US$35.00 (paperback).

Konstantinov:1973:CTG

[Kon73a] V. I. Konstantinov. Construction of TR-grammars from grammars in Backus–Naur form. Vyčisl. Sistemy, (57):91–97, 162, 1973. ISSN 0568-661x.

Konstantinov:1973:KTG

[Kon73b] V. I. Konstantinov. Konstruktion von TR-Grammatiken nach Grammatiken in der Backus–Naur-Form. (German) [Construction of TR-grammars after grammars in the Backus–Naur-form]. Vycislit. Sistemy, Novosibirsk, 57:91–97, 1973.

KrusemanAretz:2003:DZA

[Kru03] F. E. J. Kruseman Aretz. The Dijkstra–Zonneveld ALGOL 60 compiler for the Electrologica X1: historical note SEN, 2. Historical Note SEN-N0301, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, June 30, 2003. vii + 328

pp. URL http://archive.computerhistory.org/resources/
text/algol/algol_bulletin/EX/SN-N0301.PDF.

Landin:1965:CNN

[Lan65] P. J. Landin. Comments on Naur’s “Non-rectangular arrays”. AL-GOL Bulletin (Amsterdam: Mathematisch Centrum), (19):15–17, January 1965. CODEN ALGOBG. ISSN 0084-6198.

LEcuyer:1987:FFR

[L’E87] Pierre L’Ecuyer. Formal formatting rules for Pascal programs. The Journal of Systems and Software, 7(4):311–322, December 1987. CODEN JSSODM. ISSN 0164-1212 (print), 1873-1228 (electronic).

Lengauer:1993:AEF

[Len93] T. Lengauer, editor. Algorithms — ESA’93. First Annual European Symposium Proceedings: September 1993, Bad Honnef, Germany, volume 726 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany / Heidelberg, Germany / London, UK / etc., 1993. ISBN 3-540-57273-2, 0-387-57273-2. ISSN 0302-9743 (print), 1611-3349 (electronic). LCCN QA76.9.A43E83 1993.

McDonald:1989:DSC

[MA89] C. S. McDonald and L. Allison. Denotational semantics of a command interpreter and their implementation in Standard ML. The Computer Journal, 32(5):422–431, October 1989. CODEN CMPJA6. ISSN 0010-4620 (print), 1460-2067 (elec-

tronic). URL http://comjnl.oxfordjournals.org/content/32/
5/422.full.pdf+html;   http://www3.oup.co.uk/computer_
journal/hdb/Volume_32/Issue_05/tiff/422.tif;   http://
www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/
tiff/423.tif;   http://www3.oup.co.uk/computer_journal/
hdb/Volume_32/Issue_05/tiff/424.tif;   http://www3.oup.
co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/425.
tif;   http://www3.oup.co.uk/computer_journal/hdb/Volume_
32/Issue_05/tiff/426.tif;   http://www3.oup.co.uk/computer_
journal/hdb/Volume_32/Issue_05/tiff/427.tif;   http://
www3.oup.co.uk/computer_journal/hdb/Volume_32/Issue_05/
tiff/428.tif;   http://www3.oup.co.uk/computer_journal/
hdb/Volume_32/Issue_05/tiff/429.tif;   http://www3.oup.
co.uk/computer_journal/hdb/Volume_32/Issue_05/tiff/430.
tif;   http://www3.oup.co.uk/computer_journal/hdb/Volume_
32/Issue_05/tiff/431.tif.

Mayr:1993:GTC

[May93] Ernst Mayr, editor. Graph-theoretic concepts in computer science: 18th International Workshop, WG ’92, Wiesbaden-Naurod, Germany, June 18–20, 1992: proceedings, volume 657 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany / Heidelberg, Germany / London, UK / etc., 1993. CO-DEN LNCSD9. ISBN 0-387-56402-0 (New York), 3-540-56402-0 (Berlin). ISSN 0302-9743 (print), 1611-3349 (electronic).

LCCN QA166 .G715 1993. URL http://link.springer-ny.
com/link/service/series/0558/tocs/t0657.htm;   http://
www.springerlink.com/content/978-0-387-56402-9;   http:
//www.springerlink.com/openurl.asp?genre=issue&issn=0302-

9743&volume=657. Proceedings of the 18th International Workshop on Graph-Theoretic Concepts in Computer Science. Contents: Restricted Graph Classes. On improved time bounds for permutation graph problems / A. Brandstadt. A simple test for interval graphs / W.-L. Hsu. Tolerance graphs and orders / S. Felsner — Scheduling and Related Problems. On scheduling problems restricted to interval orders / K. Jansen. Scheduling with incompatible jobs / H. L. Bodlaender, K. Jansen and G. J. Woeginger. Generalized coloring for tree-like graphs / K. Jansen and P. Scheffler — Parallel and Distributed Algorithms I. Optimal (parallel) algorithms for the all-to-all vertices distance problem for certain graph classes / E. Dahlhaus. Topology of parallel networks and computational complexity / J. Hromkovic. Parallel triangulation of nonconvex polytopes / W. Preilowski — Combinatorial Graph Problems I. Kayles on special classes of graphs — An application of Sprague-Grundy theory / H. L. Bodlaender. A linear time algorithm for isomorphism of graphs of bounded average genus / J. Chen. Contents: Improved algorithms for routing on two-dimensional grids / D. Bhatia, T. Leighton, F. Makedon and C. H. Norton. Minimum rectilinear Steiner trees for intervals on two parallel lines / E. Ihler — Parallel and Distributed Algorithms II. A new characterization of tree medians with applications to distributed algorithms / O. Gerstel and S. Zaks — Graph Decomposition. The 3-edge-components and a structural description of all 3-edge-cuts in a graph / E. Dinitz. On assembly of 4-connected graphs / J. Chen and A. Kanevsky. On the homogeneous decomposition of graphs / B. Jamison and S. Olariu — Combinatorial Graph Problems II. Embeddings in recursive combinatorial networks / S. K. Das and A. Mao. On shortcutting digraphs / M. Thorup. An efficient algorithm to recognize prime undirected graphs / A. Cournier and M. Habib. On the complexity of partial order properties / S. Felsner and D. Wagner Graph Grammars and Geometry. Probabilistic graph grammars / M. Mosbah. Contents: Single vs. double pushout derivations of graphs / F. Parisi-Presicce. Hexagonal grid drawings / G. Kant Modelling by Graphs. Graph algorithms = iteration + data structures? The structure of graph algorithms and a corresponding style of programming / M. Erwig. Petri nets, hypergraphs and conflicts / P. Alimonti and E. Feuerstein. Analysis and manipulation of Boolean functions in terms of decision graphs / J. Gergov and C. Meinel. The expressiveness of silence: Tight bounds for synchronous communication of information using bits and silence / U.-M. O’Reilly and N. Santoro. The power and the limitations of local computations on graphs / I. Litovsky, Y. Metivier and W. Zielonka.

Metropolis:1980:HCT

[MHR80] Nicholas Metropolis, Jack Howlett, and Gian-Carlo Rota, editors. A History of Computing in the Twentieth Century: a Collection of Essays. Academic Press, New York, USA, 1980. ISBN 0-12-491650-3, 1-4832-9668-7 (e-book). LCCN QA75.5 .I63 1976. Original versions of these papers were presented at the International Research Conference on the History of Computing, held at the Los Alamos Scientific Laboratory, 10–15 June 1976.

Morrell:1969:IPP

[Mor69] A. J. H. Morrell, editor. Information processing 68: proceedings of IFIP congress 1968, organized by the International Federation for Information Processing, Edinburgh, 5–10 August 1968. North-Hol-land, Amsterdam, The Netherlands, 1969. ISBN 0-7204-2032-6. LCCN QA76 .I578.

Naur:1951:CSP

[Nau51a] P. Naur. Computation of special perturbations by an electronic calculator. Monthly Notices of the Royal Astronomical Society, 111 (6):609–618, December 1951. CODEN MNRAA4. ISSN 1365-2966.

Naur:1951:MMP

[Nau51b] P. Naur. The motion of a minor planet or a comet. Edsac library specification sheet, University Mathematical Laboratory, Cambridge, UK, June 1951. 7 + 4 pp.

Naur:1951:VHS

[Nau51c] P. Naur. A vector-handling subroutine using call by name written for EDSAC in 1951. Report, University Mathematical Laboratory, Cambridge, UK, 1951. ???? pp.

Naur:1954:EPC

[Nau54a] Peter Naur. The energy production in convective cores in stars. Det Kongelige Danske Videnskabernes Selskab Matematisk-Fysiske Meddelelser, 29(5):14, 1954. ISSN 0023-3323.

Naur:1954:TMI

[Nau54b] Peter Naur. Two models for the interior of the sun. The Astrophysical Journal, 119(2):365–370, March 1954. CODEN ASJOAB. ISSN 0004-637X (print), 1538-4357 (electronic).

Naur:1955:MCB

[Nau55] Peter Naur. Magnitudes and colors of bright F stars. The Astrophysical Journal, 122(1):182–184, ???? 1955. CODEN ASJOAB. ISSN 0004-637X (print), 1538-4357 (electronic). URL https://ui.

adsabs.harvard.edu/scan/manifest/1955ApJ...122..182N.

Naur:1959:ACP

[Nau59a] Peter Naur. ALGOL — conference in Paris, 12–14 November 1959. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (8):1–7, December 1959. CODEN ALGOBG. ISSN 0084-6198.

Naur:1959:CIa

[Nau59b] Peter Naur. Complete issue. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (1):1–6, March 1959. CODEN ALGOBG. ISSN 0084-6198.

Naur:1959:CIb

[Nau59c] Peter Naur. Complete issue. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (2):1–7, May 1959. CODEN ALGOBG. ISSN 0084-6198.

Naur:1959:CIc

[Nau59d] Peter Naur. (Complete issue). ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (3):1–6, June 1959. CODEN ALGOBG. ISSN 0084-6198.

Naur:1959:CId

[Nau59e] Peter Naur. (Complete issue). ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (4):1–7, August 1959. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1959:CIe

[Nau59f] Peter Naur. (Complete issue). ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (5):1–9, August 1959. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1959:CIf

[Nau59g] Peter Naur. (Complete issue). ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (6):1–2, October 1959. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1959:CIg

[Nau59h] Peter Naur. (Complete issue). ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (7):1–21, November 1959. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1959:NEC

[Nau59i] Peter Naur. Notice from the editor concerning the form of the ALGOL Bulletin. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (8):11, December 1959. CODEN ALGOBG. ISSN 0084-6198.

Naur:1959:RSC

[Nau59j] Peter Naur. Report of the sub-committee of the meeting in Copenhagen on Standard Functions. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (8):7–8, December 1959. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1959:SAG

[Nau59k] Peter Naur. Suggestions for the ALGOL groups in Stockholm @SBTNon-ALGOL language. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (8):9, December 1959. CODEN ALGOBG. ISSN 0084-6198.

Naur:1959:SEC

[Nau59l] Peter Naur. Suggestions from the editor concerning ALGOL Bulletin Supplements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (8):10–11, December 1959. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:AES

[Nau60a] P. Naur. Algorithm 8: Euler summation. Communications of the ACM, 3(5):318, May 1960. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1960:ARK

[Nau60b] P. Naur. Algorithm 9: Runge–Kutta integration. Communications of the ACM, 3(5):318, May 1960. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1960:AHG

[Nau60c] Peter Naur. ALCOR hardware group meeting in Mainz, December 17–19, 1959. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (9):1–2, March 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:AIL

[Nau60d] Peter Naur. ALGOL — the international language for description of logical and numerical processes. Nordisk Matematisk Tidskrift, 8:117–129, 144, 1960. ISSN 0029-1412.

Naur:1960:A

[Nau60e] Peter Naur. ALGOL 60. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (9):1, March 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:AMa

[Nau60f] Peter Naur. ALGOL 60 maintenance. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (10):1–10, October 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:AMb

[Nau60g] Peter Naur. ALGOL 60 maintenance. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (11):1–4, December 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:AIS

[Nau60h] Peter Naur. ALGOL: det internationale sprog til at beskrive logiske og numeriske processer. (Danish) [ALGOL: the international language for describing logical and numerical processes]. Nordisk Matematisk Tidskrift, 8(3):117–129, 1960. ISSN 00291412. URL

http://www.jstor.org/stable/24524560.

Naur:1960:ASN

[Nau60i] Peter Naur. ALGOL supplement no. 5. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (Sup 5):1–29, November 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:ATCa

[Nau60j] Peter Naur. ALGOL translator characteristics and the progress in translator construction. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (10):14–16, October 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:ATCb

[Nau60k] Peter Naur. ALGOL translator characteristics and the progress in translator construction. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (11):10, December 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:DABa

[Nau60l] Peter Naur. Distribution of ALGOL Bulletin Supplements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (11):10, December 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:DABb

[Nau60m] Peter Naur. Distribution of ALGOL Bulletin Supplements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (9):3, March 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:EAT

[Nau60n] Peter Naur. Enquiry into ALGOL translator characteristics. AL-GOL Bulletin (Amsterdam: Mathematisch Centrum), (9):3, March 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:EFD

[Nau60o] Peter Naur. An example of a function designator changing the value of a formal variable. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (10):12–13, October 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:TCG

[Nau60p] Peter Naur. The then corresponding to a given else. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (11):7, December 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:LMA

[Nau60q] Peter Naur. Letter to the members of the ALGOL 60 Committee. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (10):1–2, October 17, 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:MAG

[Nau60r] Peter Naur. Members of the ALCOR group. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (10):16, October 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:MAR

[Nau60s] Peter Naur. Misprints in the ALGOL 60 Report. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (10):13, October 1960. CO-DEN ALGOBG. ISSN 0084-6198.

Naur:1960:NECb

[Nau60t] Peter Naur. Notice from the editor concerning algorithms in CACM. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (9):2, March 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:NECa

[Nau60u] Peter Naur. Notice from the editor concerning back issues. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (10):17, October 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:NECc

[Nau60v] Peter Naur. Notice from the editor concerning back issues. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (9):3, March 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:QAT

[Nau60w] Peter Naur. Questionnaire on ALGOL translator characteristics, etc. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (9): 4, March 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:RCD

[Nau60x] Peter Naur. Remark concerning the definition of a program. AL-GOL Bulletin (Amsterdam: Mathematisch Centrum), (10):11, October 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1960:TAR

[Nau60y] Peter Naur. Translations of the ALGOL 60 Report. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (10):16, October 1960. CODEN ALGOBG. ISSN 0084-6198.

Naur:1961:CDV

[Nau61a] Peter Naur. Comment on the definition versus implementation of ALGOL. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (12):4, April 1961. CODEN ALGOBG. ISSN 0084-6198.

Naur:1961:CAPb

[Nau61b] Peter Naur. A course of Algol 60 programming. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (Sup 9):1–38, January 1961. CODEN ALGOBG. ISSN 0084-6198.

Naur:1961:CAPa

[Nau61c] Peter Naur. A course of ALGOL 60 programming with special reference to the DASK ALGOL system. Regnecentralen, Copenhagen, Denmark, second edition, 1961. 38 pp. LCCN ????

Naur:1961:DABa

[Nau61d] Peter Naur. Distribution of ALGOL Bulletin Supplements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (12):9, April 1961. CODEN ALGOBG. ISSN 0084-6198.

Naur:1961:DABb

[Nau61e] Peter Naur. Distribution of ALGOL Bulletin Supplements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (13):13, August 1961. CODEN ALGOBG. ISSN 0084-6198.

Naur:1961:NE

[Nau61f] Peter Naur. Note from the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (12):9, April 1961. CODEN ALGOBG. ISSN 0084-6198.

Naur:1961:NDO

[Nau61g] Peter Naur. Note on dynamic own arrays. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (12):3, April 1961. CODEN ALGOBG. ISSN 0084-6198.

Naur:1961:NFM

[Nau61h] Peter Naur. Note on the first meeting of ISO. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (13):13, August 1961. CO-DEN ALGOBG. ISSN 0084-6198.

Naur:1961:PAE

[Nau61i] Peter Naur. Progress of ALGOL in Europe. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (Sup 18):1–6, October 1961. CO-DEN ALGOBG. ISSN 0084-6198.

Naur:1961:RCA

[Nau61j] Peter Naur. Reprinted from the Communications of the Association for Computing Machinery. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (Sup 6):1–6, January 1961. CODEN ALGOBG. ISSN 0084-6198.

Naur:1961:SCN

[Nau61k] Peter Naur. Suggestion concerning the notions of ALGOL and ALGOL-like translators. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (12):4, April 1961. CODEN ALGOBG. ISSN 0084-6198.

Naur:1961:SMW

[Nau61l] Peter Naur. Suggestions from the Moscow Working Conference on ALGOL. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (12):4–6, April 1961. CODEN ALGOBG. ISSN 0084-6198.

Naur:1961:SDU

[Nau61m] Peter Naur. Summary of the discussion in the U.S. ALGOL 60 Maintenance Group during August 1960 to June 1961. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (13):1–11, August 1961. CODEN ALGOBG. ISSN 0084-6198.

Naur:1962:BPC

[Nau62a] P. Naur. The basic philosophy. concepts, and features of ALGOL. In Busa [Bus62], pages 385–389. LCCN QA76 .S95 1962. URL

http://www.naur.com/bibliography.html.

Naur:1962:AMR

[Nau62b] Peter Naur. The ALGOL meeting in Rome. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (15):1–2, June 1962. CODEN ALGOBG. ISSN 0084-6198.

Naur:1962:DABb

[Nau62c] Peter Naur. The discontinuation of the ALGOL Bulletin. AL-GOL Bulletin (Amsterdam: Mathematisch Centrum), (15):2–3, June 1962. CODEN ALGOBG. ISSN 0084-6198.

Naur:1962:DABa

[Nau62d] Peter Naur. Distribution of ALGOL Bulletin Supplements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (14):16, January 1962. CODEN ALGOBG. ISSN 0084-6198.

Naur:1962:DABc

[Nau62e] Peter Naur. Distribution of ALGOL Bulletin Supplements. AL-GOL Bulletin (Amsterdam: Mathematisch Centrum), (15):52, June 1962. CODEN ALGOBG. ISSN 0084-6198.

Naur:1962:IWG

[Nau62f] Peter Naur. The IFIP working group on ALGOL. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (15):52, June 1962. CODEN ALGOBG. ISSN 0084-6198.

Naur:1962:NCC

[Nau62g] Peter Naur. Notes on compiler construction. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (14):14–15, January 1962. CODEN ALGOBG. ISSN 0084-6198.

Naur:1962:Q

[Nau62h] Peter Naur. The questionnaire. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (14):1–14, January 1962. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1962:RAQ

[Nau62i] Peter Naur. The replies to the AB14 questionnaire. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (15):3–51, June 1962. CODEN ALGOBG. ISSN 0084-6198.

Naur:1962:RRA

[Nau62j] Peter Naur. Revised report on the algorithmic language ALGOL 60. Report ??, Regnecentralen, Copenhagen, Denmark, 1962. ?? pp.

Naur:1962:SAR

[Nau62k] Peter Naur. Supplement to the ALGOL 60 Report. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (15):53–57, June 1962. CODEN ALGOBG. ISSN 0084-6198.

Naur:1963:ARA

[Nau63a] P. Naur. Additional remarks on Algorithm 52: A set of test matrices. Communications of the ACM, 6(8):446, August 1963. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1963:CAJ

[Nau63b] P. Naur. Certification of Algorithm 85: Jacobi. Communications of the ACM, 6(8):447–448, August 1963. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1963:CAC

[Nau63c] P. Naur. Certification of algorithm for calculating primes by means of GPS. Communications of the ACM, 6(1):39, January 1963. CO-DEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic). See [KM61].

Naur:1963:CAMa

[Nau63d] P. Naur. Certification of Algorithms 117 and 118: Magic squares (even and odd orders). Communications of the ACM, 6(1):39–40, January 1963. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1963:CAMb

[Nau63e] P. Naur. Certification of Algorithms 120 and matrix inversion by Gauss–Jordan inversion II. Communications of the ACM, 6(1):40, January 1963. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1963:CER

[Nau63f] P. Naur. Correction to earlier remarks on Algorithm 42: Invert, Algorithm 107: Gauss’s method, Algorithm 120: Inversion II, and gjr. Communications of the ACM, 6(8):445, August 1963. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1963:MGA

[Nau63g] P. Naur. A Manual of GIER ALGOL. Regnecentralen, Copenhagen, Denmark, 1963.

Naur:1963:RAG

[Nau63h] P. Naur. Remark on Algorithm 107: Gauss’s method. Communications of the ACM, 6(1):39, January 1963. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1963:RAI

[Nau63i] P. Naur. Remarks on Algorithm 42: INVERT. Communications of the ACM, 6(1):38, January 1963. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1963:RCAa

[Nau63j] P. Naur. Remarks on and certification of Algorithm 50: Inverse of a finite segment of the Hilbert matrix. Communications of the ACM, 6(1):38–39, January 1963. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1963:RCAba

[Nau63k] P. Naur. Remarks on and certification of Algorithm 52: A set of test matrices. Communications of the ACM, 6(1):39, January 1963. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1963:APG

[Nau63l] Peter Naur. Algol programming: Goto statements and good Algol style. Nordisk tidskrift for informationsbehandling, 3(3):204–208, September 1963. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic). URL http://www.springerlink.

com/openurl.asp?genre=article&issn=0006-3835&volume=3&
issue=3&spage=204.

Naur:1963:DGAa

[Nau63m] Peter Naur. The design of the GIER ALGOL compiler. Part I. Nordisk tidskrift for informationsbehandling, 3(2):124–140, June 1963. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic). URL http://www.springerlink.

com/openurl.asp?genre=article&issn=0006-3835&volume=3&
issue=2&spage=124.

Naur:1963:DGAb

[Nau63n] Peter Naur. The design of the GIER ALGOL compiler. Part II. Nordisk tidskrift for informationsbehandling, 3(3):145–166, September 1963. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic). URL http://www.springerlink.

com/openurl.asp?genre=article&issn=0006-3835&volume=3&
issue=3&spage=145.

Naur:1963:DPA

[Nau63o] Peter Naur. Documentation problems: ALGOL 60. Communications of the ACM, 6(3):77–79, March 1963. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1964:PNL

[Nau64a] P. Naur. Proposals for a new language. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (18):26–43, October 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:APC

[Nau64b] Peter Naur. Algol programming: Contribution no. 9: Eigenvalues and eigenvectors of real symmetric matrices. Nordisk tidskrift for informationsbehandling, 4(2):120–130, 1964. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic). See erratum [Nau64p].

Naur:1964:Aa

[Nau64c] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (16):3, May 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:Ab

[Nau64d] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (17):2–4, July 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:Ac

[Nau64e] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (18):2–3, October 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:ARR

[Nau64f] Peter Naur. Appendix: Revised report on the algorithmic language ALGOL 60. Annual Review in Automatic Programming, 4:217–258, January 1964. CODEN ARVAAM. ISSN 0066-4138 (print), 1878-545X (electronic).

Naur:1964:AGS

[Nau64g] Peter Naur. Automatic grading of students’ ALGOL programming. Nordisk tidskrift for informationsbehandling, 4(3):177–188, September 1964. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic). URL http://www.springerlink.

com/openurl.asp?genre=article&issn=0006-3835&volume=4&
issue=3&spage=177.

Naur:1964:CAT

[Nau64h] Peter Naur. Certification of Algorithm 122: Tridiagonal matrix. Communications of the ACM, 7(3):144–145, March 1964. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1964:CAS

[Nau64i] Peter Naur. Certification of Algorithm 150: SYMINV2. Communications of the ACM, 7(3):148, March 1964. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1964:CLa

[Nau64j] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (17):19–29, July 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:CLb

[Nau64k] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (18):51–53, October 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:DGA

[Nau64l] Peter Naur. The design of the GIER ALGOL compiler. Annual Review in Automatic Programming, 4:49–85, January 1964. CODEN ARVAAM. ISSN 0066-4138 (print), 1878-545X (electronic).

Naur:1964:ENa

[Nau64m] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (16):1–2, May 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:ENb

[Nau64n] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (17):1, July 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:ENc

[Nau64o] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (18):1, October 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:EAP

[Nau64p] Peter Naur. Erratum: “Algol Programming: Contribution no. 9: Eigenvalues and eigenvectors of real symmetric matrices” [BIT 4(2), 1964, p. 127]. Nordisk tidskrift for informationsbehandling, 4 (3):204, 1964. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic). See [Nau64b].

Naur:1964:IWG

[Nau64q] Peter Naur. IFIP working group on ALGOL. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (16):4–13, May 1964. CO-DEN ALGOBG. ISSN 0084-6198.

Naur:1964:LEa

[Nau64r] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (16):3, May 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:LEb

[Nau64s] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (17):5–10, July 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:LEc

[Nau64t] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (18):4–9, October 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:Ra

[Nau64u] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (16):33–34, May 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:Rb

[Nau64v] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (17):18, July 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:Rc

[Nau64w] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (18):49–50, October 1964. CODEN ALGOBG. ISSN 0084-6198.

Naur:1964:RAC

[Nau64x] Peter Naur. Remarks on Algorithm 91: Chebyshev curve fit. Communications of the ACM, 7(5):296, May 1964. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1964:RLA

[Nau64y] Peter Naur. Review of Lärobok i ALGOL. Studentlitteratur, by T. Ekman & C.-E. Fröberg. Nordisk Matematisk Tidskrift, 12(4): 172–173, 1964. ISSN 00291412. URL http://www.jstor.org/

stable/24524937.

Naur:1964:RRA

[Nau64z] Peter Naur, editor. Revised report on the algorithmic language AL-GOL 60. Regnecentralen, Copenhagen, Denmark, 1964. 43 pp. LCCN QA76.5 .N35 1964. Written by John W. Backus and others.

Naur:1964:UMC

[Nau64-27] Peter Naur. Using machine code within and ALGOL system. BIT (Nordisk tidskrift for informationsbehandling), 4:115–117, 1964. CODEN BITTEL, NBITAB. ISSN 0901-246X.

Naur:1965:FNV

[Nau65a] P. Naur. A few notes; A. van Wijngaarden: Remark on AB19.3.11.4. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (19):51–55, January 1965. CODEN ALGOBG. ISSN 0084-6198.

Naur:1965:OUM

[Nau65b] P. Naur. Organizing the use of multi-level stores. In Kalenich [Kal65], pages 620–??

Naur:1965:PPW

[Nau65c] P. Naur. The place of programming in a world of problems, tools and people. In Kalenich [Kal65], pages 195–??

Naur:1965:AYA

[Nau65d] Peter Naur. Algoritmicheskiĭ yazyk ALGOL-60. (Russian) [The algorithmic language ALGOL 60]. Verlag ‘Mir’, Moscow, USSR, 1965. 80 pp. Translation to Russian edited by E. P. Ershov, S. S. Lavrov and M. R. Shura-Bura of the English original.

Naur:1965:Aa

[Nau65e] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (20):3–4, July 1965. CODEN ALGOBG. ISSN 0084-6198.

Naur:1965:Ab

[Nau65f] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (21):2–4, November 1965. CODEN ALGOBG. ISSN 0084-6198.

Naur:1965:COT

[Nau65g] Peter Naur. Checking of operand types in ALGOL compilers. Nordisk tidskrift for informationsbehandling, 5(3):151–163, September 1965. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic). URL http://www.springerlink.

com/openurl.asp?genre=article&issn=0006-3835&volume=5&
issue=3&spage=151.

Naur:1965:CLa

[Nau65h] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (19):60–63, January 1965. CODEN ALGOBG. ISSN 0084-6198.

Naur:1965:CLb

[Nau65i] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (20):50–55, July 1965. CODEN ALGOBG. ISSN 0084-6198.

Naur:1965:CLc

[Nau65j] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (21):79–83, November 1965. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1965:ENa

[Nau65k] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (19):1, January 1965. CODEN ALGOBG. ISSN 0084-6198.

Naur:1965:ENb

[Nau65l] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (20):1–2, July 1965. CODEN ALGOBG. ISSN 0084-6198.

Naur:1965:ENc

[Nau65m] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (21):1, November 1965. CODEN ALGOBG. ISSN 0084-6198.

Naur:1965:ICE

[Nau65n] Peter Naur. Invitations to continued exchanges of ideas. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (20):23–26, July 1965. CODEN ALGOBG. ISSN 0084-6198.

Naur:1965:LEa

[Nau65o] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (19):4–10, January 1965. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1965:LEb

[Nau65p] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (20):5–20, July 1965. CODEN ALGOBG. ISSN 0084-6198.

Naur:1965:LEc

[Nau65q] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (21):5–6, November 1965. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1965:PSA

[Nau65r] Peter Naur. The performance of a system for automatic segmentation of programs within an ALGOL compiler (GIER ALGOL). Communications of the ACM, 8(11):671–676, November 1965. CO-DEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1965:PIA

[Nau65s] Peter Naur. Proposals for introduction on aims. WG 2.1 Working Paper ??, [to do], [to do], October 1965. ?? pp.

Naur:1965:Ra

[Nau65t] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (19):59, January 1965. CODEN ALGOBG. ISSN 0084-6198.

Naur:1965:Rb

[Nau65u] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (20):49, July 1965. CODEN ALGOBG. ISSN 0084-6198.

Naur:1965:RN

[Nau65v] Peter Naur. References (none). ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (21):78, November 1965. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1966:ANP

[Nau66a] Peter Naur. Allowing number of parameters to vary. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (22):13, February 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:Aa

[Nau66b] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (22):3, February 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:Ab

[Nau66c] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (23):2, May 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:Ac

[Nau66d] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (24):2–4, September 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:CLa

[Nau66e] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (22):35–38, February 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:CLb

[Nau66f] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (23):13–15, May 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:CLc

[Nau66g] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (24):34–37, September 1966. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1966:ENb

[Nau66h] Peter Naur. Editor’s note. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (23):1, May 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:ENa

[Nau66i] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (22):1–2, February 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:ENc

[Nau66j] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (24):1, September 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:FS

[Nau66k] Peter Naur. The form of specifications. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (22):14, February 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:LEa

[Nau66l] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (22):4–5, February 1966. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1966:LEb

[Nau66m] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (23):3–4, May 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:LEc

[Nau66n] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (24):5–8, September 1966. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1966:PTV

[Nau66o] Peter Naur. Program translation viewed as a general data processing problem. Communications of the ACM, 9(3):176–179, March 1966. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1966:PAG

[Nau66p] Peter Naur. Proof of algorithms by general snapshots. Nordisk tidskrift for informationsbehandling, 6(4):310–316, July 1966. CO-DEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125

(electronic). URL http://www.springerlink.com/openurl.asp?
genre=article&issn=0006-3835&volume=6&issue=4&spage=310.

Naur:1966:Ra

[Nau66q] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (22):34, February 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:Rb

[Nau66r] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (23):12, May 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:Rc

[Nau66s] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (24):33, September 1966. CODEN ALGOBG. ISSN 0084-6198.

Naur:1966:RBA

[Nau66t] Peter Naur, editor. Revidierter Bericht über die algorithmische Sprache Algol 60. Zur Erinnerung an William Turanski. (German) [Revised report on the algorithmic language Algol 60. In memory of William Turanski]. Akademie-Verlag, Berlin, Germany, 1966. viii + 65 pp. LCCN QA76.5 .N3515 1966. German translation of [Nau64z].

Naur:1966:SD

[Nau66u] Peter Naur. The science of datalogy. Communications of the ACM, 9(7):485, July 1966. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1967:Aa

[Nau67a] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (26):2–4, July 1967. CODEN ALGOBG. ISSN 0084-6198.

Naur:1967:Ab

[Nau67b] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (25):3–5, March 1967. CODEN ALGOBG. ISSN 0084-6198.

Naur:1967:CLa

[Nau67c] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (26):44–48, July 1967. CODEN ALGOBG. ISSN 0084-6198.

Naur:1967:CLb

[Nau67d] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (25):26–30, March 1967. CODEN ALGOBG. ISSN 0084-6198.

Naur:1967:ENa

[Nau67e] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (26):1, July 1967. CODEN ALGOBG. ISSN 0084-6198.

Naur:1967:ENb

[Nau67f] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (25):1–3, March 1967. CODEN ALGOBG. ISSN 0084-6198.

Naur:1967:LEa

[Nau67g] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (26):5–14, July 1967. CODEN ALGOBG. ISSN 0084-6198.

Naur:1967:LEb

[Nau67h] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (25):5–7, March 1967. CODEN ALGOBG. ISSN 0084-6198.

Naur:1967:MDP

[Nau67i] Peter Naur. Machine dependent programming in common languages. BIT (Nordisk tidskrift for informationsbehandling), 7(2): 123–131, June 1967. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic). URL http://www.springerlink.

com/openurl.asp?genre=article&issn=0006-3835&volume=7&
issue=2&spage=123.

Naur:1967:Ra

[Nau67j] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (26):43, July 1967. CODEN ALGOBG. ISSN 0084-6198.

Naur:1967:Rb

[Nau67k] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (25):25, March 1967. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:Aa

[Nau68a] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (27):2–5, February 1968. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:Ab

[Nau68b] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (28):2–3, July 1968. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:CLa

[Nau68c] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (27):50–54, February 1968. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:CLb

[Nau68d] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (28):77–82, July 1968. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:CLc

[Nau68e] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (29):62–68, November 1968. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1968:CCC

[Nau68f] Peter Naur. Cripps Computing Centre: Comments on MR93. AL-GOL Bulletin (Amsterdam: Mathematisch Centrum), (28):63–64, July 1968. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:DSD

[Nau68g] Peter Naur. ’Datalogy’, the science of data and data processes. In Morrell [Mor69], pages 1383–1387. ISBN 0-7204-2032-6. LCCN QA76 .I578.

Naur:1968:ENb

[Nau68h] Peter Naur. Editor’s note. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (28):1, July 1968. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:ENa

[Nau68i] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (27):1, February 1968. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:ENc

[Nau68j] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (29):1, November 1968. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:EDR

[Nau68k] Peter Naur. Errata to the draft report. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (27):55–64, February 1968. CO-DEN ALGOBG. ISSN 0084-6198.

Naur:1968:FGAa

[Nau68l] Peter Naur. Features of the GIER ALGOL 4 system. BIT (Nordisk tidskrift for informationsbehandling), 8(1):36–42, March 1968. CO-DEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125

(electronic). URL http://www.springerlink.com/openurl.asp?
genre=article&issn=0006-3835&volume=8&issue=1&spage=36.

Naur:1968:FGAb

[Nau68m] Peter Naur. Features of the GIER ALGOL 4 system. Bulletin mathématique de la Société des sciences mathématiques de la République socialiste de Roumanie, 12 (60)(1):101–107, 1968. CO-DEN BMSSB4. ISSN 0373-2908. URL http://www.jstor.org/

stable/43679565.

Naur:1968:LEa

[Nau68n] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (27):6–12, February 1968. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1968:LEb

[Nau68o] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (28):4–8, July 1968. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:LEc

[Nau68p] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (29):3–11, November 1968. CODEN AL-GOBG. ISSN 0084-6198.

Naur:1968:NI

[Nau68q] Peter Naur. News items. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (29):2, November 1968. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:Ra

[Nau68r] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (27):49, February 1968. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:Rb

[Nau68s] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (28):76, July 1968. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:Rc

[Nau68t] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (29):61, November 1968. CODEN ALGOBG. ISSN 0084-6198.

Naur:1968:SFA

[Nau68u] Peter Naur. Successes and failures of the ALGOL effort. AL-GOL Bulletin (Amsterdam: Mathematisch Centrum), (28):58–62, July 1968. CODEN ALGOBG. ISSN 0084-6198. URL http://

doi.acm.org/10.1145/1061112.1061118. Talk given at the collo-

quium “Ten Years of Algol”, Eidgenössische Technische Hochschule, Zürich, May 31, 1968.

Naur:1969:CL

[Nau69a] Peter Naur. Circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (30):94–97, February 1969. CODEN ALGOBG. ISSN 0084-6198.

Naur:1969:C

[Nau69b] Peter Naur. Correspondence. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (30):4–16, February 1969. CODEN ALGOBG. ISSN 0084-6198.

Naur:1969:EN

[Nau69c] Peter Naur. Editor’s note. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (30):1, February 1969. CODEN ALGOBG. ISSN 0084-6198.

Naur:1969:NI

[Nau69d] Peter Naur. News items. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (30):2–3, February 1969. CODEN ALGOBG. ISSN 0084-6198.

Naur:1969:PAC

[Nau69e] Peter Naur. Programming by action clusters. BIT (Nordisk tidskrift for informationsbehandling), 9(3):250–258, September 1969. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125

(electronic). URL http://www.springerlink.com/openurl.asp?
genre=article&issn=0006-3835&volume=9&issue=3&spage=250.

Naur:1969:R

[Nau69f] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (30):93, February 1969. CODEN ALGOBG. ISSN 0084-6198.

Naur:1970:A

[Nau70a] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (31):7–9, March 1970. CODEN ALGOBG. ISSN 0084-6198.

Naur:1970:EN

[Nau70b] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (31):1–6, March 1970. CODEN ALGOBG. ISSN 0084-6198.

Naur:1970:LE

[Nau70c] Peter Naur. Letters to the Editor. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (31):9–15, March 1970. CODEN ALGOBG. ISSN 0084-6198.

Naur:1970:NCC

[Nau70d] Peter Naur. The new complete circulation list. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (31):62, March 1970. CO-DEN ALGOBG. ISSN 0084-6198.

Naur:1970:R

[Nau70e] Peter Naur. References. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (31):61–62, March 1970. CODEN ALGOBG. ISSN 0084-6198.

Naur:1971:ARN

[Nau71a] Peter Naur. Activity report no. 10 & 11. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (32):51–56, May 1971. CODEN ALGOBG. ISSN 0084-6198.

Naur:1971:C

[Nau71b] Peter Naur. Correspondence. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (32):5–17, May 1971. CODEN ALGOBG. ISSN 0084-6198.

Naur:1971:EN

[Nau71c] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (32):1–2, May 1971. CODEN ALGOBG. ISSN 0084-6198.

Naur:1971:IWRc

[Nau71d] Peter Naur. IFIP WG2.1: Report of subcommittee on conversational languages. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (32):48–49, May 1971. CODEN ALGOBG. ISSN 0084-6198.

Naur:1971:IWRa

[Nau71e] Peter Naur. IFIP WG2.1: Report of subcommittee on data processing and transput. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (32):25–39, May 1971. CODEN ALGOBG. ISSN 0084-6198.

Naur:1971:IWRd

[Nau71f] Peter Naur. IFIP WG2.1: Report of subcommittee on interface between languages and operating systems. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (32):49–50, May 1971. CODEN ALGOBG. ISSN 0084-6198.

Naur:1971:IWRb

[Nau71g] Peter Naur. IFIP WG2.1: Report of subcommittee on maintenance of and improvements to ALGOL 68. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (32):40–47, May 1971. CODEN ALGOBG. ISSN 0084-6198.

Naur:1971:NI

[Nau71h] Peter Naur. News items. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (32):3–4, May 1971. CODEN ALGOBG. ISSN 0084-6198.

Naur:1972:A

[Nau72a] Peter Naur. Announcements. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (33):3–4, March 1972. CODEN ALGOBG. ISSN 0084-6198.

Naur:1972:C

[Nau72b] Peter Naur. Correspondence. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (33):4, March 1972. CODEN ALGOBG. ISSN 0084-6198.

Naur:1972:EN

[Nau72c] Peter Naur. Editor’s notes. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (33):1–2, March 1972. CODEN ALGOBG. ISSN 0084-6198.

Naur:1972:EPD

[Nau72d] Peter Naur. An experiment on program development. BIT (Nordisk tidskrift for informationsbehandling), 12(3):347–365, September 1972. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic). URL http://www.springerlink.

com/openurl.asp?genre=article&issn=0006-3835&volume=12&
issue=3&spage=347.

Naur:1972:IWSb

[Nau72e] Peter Naur. IFIP WG2.1 subcommittee: Data processing and transput. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (33):26–42, March 1972. CODEN ALGOBG. ISSN 0084-6198.

Naur:1972:IWSa

[Nau72f] Peter Naur. IFIP WG2.1 subcommittee: Maintenance of and improvements to ALGOL 68. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (33):21–25, March 1972. CODEN ALGOBG. ISSN 0084-6198.

Naur:1972:IWSd

[Nau72g] Peter Naur. IFIP WG2.1 subcommittee: Operating systems and conversational languages. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (33):46, March 1972. CODEN ALGOBG. ISSN 0084-6198.

Naur:1972:IWSc

[Nau72h] Peter Naur. IFIP WG2.1 subcommittee: Sublanguages. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (33):43–46, March 1972. CODEN ALGOBG. ISSN 0084-6198.

Naur:1974:WHD

[Nau74a] P. Naur. What happens during program development — an experimental study. In M. Lundberg and J. Bubenko, editors, Systemering 75, pages 269–289. Studentlitteratur, Lund, Sweden, 1974.

Naur:1974:CSC

[Nau74b] Peter Naur. Concise Survey of Computer Methods. Studentlitteratur, Lund, Sweden, 1974. ISBN 91-44-07881-1 (hardcover), 0-88405-314-8. 397 pp. LCCN QA76.6 .N39 1974.

Naur:1975:NBJ

[Nau75a] P. Naur. New books and journals. BIT (Nordisk tidskrift for informationsbehandling), 15(4):455–457, December 1975. CO-DEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125

(electronic). URL http://www.springerlink.com/openurl.asp?
genre=article&issn=0006-3835&volume=15&issue=4&spage=455.

Includes review of Operating Systems Principles, by Per Brinch Hansen.

Naur:1975:PLNa

[Nau75b] Peter Naur. Programming languages, natural languages, and mathematics. In Robert M. Graham, Michael A. Harrison, and John C. Reynolds, editors, Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, USA, January 1975, pages 137–148. ACM Press, New York, NY 10036, USA, 1975. ISBN 1-4503-7351-8. LCCN QA75.5 .P763 1975.

Naur:1975:PLNb

[Nau75c] Peter Naur. Programming languages, natural languages, and mathematics. Communications of the ACM, 18(12):676–683, 1975. CO-DEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1975:TCS

[Nau75d] Peter Naur. Trends in computer science education. In Siefkes [Sie75], pages 85–93. CODEN LNCSD9. ISBN 0-387-07141-5. ISSN 0302-9743 (print), 1611-3349 (electronic).

LCCN QA267.A1 L43 no.26. URL http://link.springer-ny.
com/link/service/series/0558/tocs/t0026.htm;   http://
www.springerlink.com/content/978-0-387-07141-1;   http:
//www.springerlink.com/openurl.asp?genre=issue&issn=0302-

9743&volume=26. English or German.

Naur:1978:ESL

[Nau78] Peter Naur. The European side of the last phase of the development of ALGOL 60. ACM SIGPLAN Notices, 13(8):15–44, August 1978. CODEN SINODQ. ISSN 0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic).

Naur:1979:CID

[Nau79a] P. Naur. Critique of the ISO data processing vocabulary. The Computer Journal, 22(3):286, August 1979. CODEN CMPJA6. ISSN 0010-4620 (print), 1460-2067 (electronic). URL http://www3.oup.

co.uk/computer_journal/hdb/Volume_22/Issue_03/tiff/286.
tif.

Naur:1979:DCC

[Nau79b] P. Naur. Discussion and correspondence: critique of the ISO data processing vocabulary. The Computer Journal, 22(3):286–288, ???? 1979. CODEN CMPJA6. ISSN 0010-4620 (print), 1460-2067 (elec-

tronic). URL http://comjnl.oxfordjournals.org/content/22/
3/286.full.pdf+html.

Naur:1980:IED

[Nau80] Peter Naur. Impressions of the early days of programming. BIT (Nordisk tidskrift for informationsbehandling), 20(4):414–425, December 1980. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic). URL http://www.springerlink.

com/openurl.asp?genre=article&issn=0006-3835&volume=20&
issue=4&spage=414.

Naur:1981:AVW

[Nau81a] Peter Naur. Aad van Wijngaarden’s contributions to ALGOL 60 (invited address). In de Bakker and van Vliet [dBvV81], pages 293–304. ISBN 0-444-86285-4. LCCN QA76.7 .I575 1981. URL

https://ir.cwi.nl/pub/34328/34328D.pdf.

Naur:1981:ESL

[Nau81b] Peter Naur. The European side of the last phase of the development of ALGOL 60. In Wexelblat [Wex81], pages 92–118. ISBN 0-12-745040-8. LCCN QA76.7 .H56 1978. URL https://dl.acm.org/

doi/book/10.1145/800025.

Naur:1981:TP

[Nau81c] Peter Naur. Transcripts of presentations. In Wexelblat [Wex81], pages 147–161. ISBN 0-12-745040-8. LCCN QA76.7 .H56 1978.

URL https://dl.acm.org/doi/book/10.1145/800025.

Naur:1982:FPD

[Nau82] Peter Naur. Formalization in program development. BIT (Nordisk tidskrift for informationsbehandling), 22(4):437–453, 1982. CO-DEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic).

Naur:1983:PDS

[Nau83] P. Naur. Program development studies based on diaries. In ????, editor, Psychology of Computer Use, pages 159–170. Academic Press, New York, USA, 1983.

Naur:1985:ISD

[Nau85a] Peter Naur. Intuition in software development. In Hartmut Ehrig, Christiane Floyd, Maurice Nivat, and James W. Thatcher, editors, Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25– 29, 1985, Volume 2: Colloquium on Software Engineering (CSE), Lecture Notes in Computer Science, pages 60–79. Springer-Verlag, Berlin, Germany / Heidelberg, Germany / London, UK / etc., 1985.

Naur:1985:PTB

[Nau85b] Peter Naur. Programming as theory building. Microprocessing and Microprogramming, 15(5):253–261, May 1985. CODEN MMICDT. ISSN 0165-6074 (print), 1878-7061 (electronic).

Naur:1986:TTT

[Nau86] Peter Naur. Thinking and Turing’s test. BIT (Nordisk tidskrift for informationsbehandling), 26(2):175–187, 1986. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic).

Naur:1987:CVH

[Nau87] Peter Naur. Computing vs. human thinking. In Ashenhurst [Ash87], page ?? ISBN 0-201-07794-9. LCCN QA76.24 .A33 1987. ACM Turing Award lecture.

Naur:1989:PSD

[Nau89] P. Naur. The place of strictly defined notation in human insight. Presented at 1989 Workshop on Programming Logic, Båstad, Sweden, 1989.

Naur:1991:APL

[Nau91a] Peter Naur. Algol 60 and programming languages. In Computing: a Human Activity [Nau91c], page ?? ISBN 0-201-58069-1. LCCN QA76 .N35 1991.

Naur:1991:CCD

[Nau91b] Peter Naur. Compiler construction and and data processing. In Computing: a Human Activity [Nau91c], page ?? ISBN 0-201-58069-1. LCCN QA76 .N35 1991.

Naur:1991:CHA

[Nau91c] Peter Naur. Computing: a Human Activity. Addison-Wesley, Reading, MA, USA, 1991. ISBN 0-201-58069-1. xxvi + 630 pp. LCCN QA76 .N35 1991.

Naur:1992:ITT

[Nau92] Peter Naur. Invited talk: Three notions of proof. In Jørgen Staunstrup and Robin Sharp, editors, Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6–8 January 1992, IFIP Transactions, pages 97–101. North-Holland, Amsterdam, The Netherlands, 1992.

Naur:1993:UTU

[Nau93a] P. Naur. Understanding Turing’s universal machine — personal style in program description. The Computer Journal, 36(4):351– 372, August 1993. CODEN CMPJA6. ISSN 0010-4620 (print),

1460-2067 (electronic). URL http://comjnl.oxfordjournals.
org/content/36/4/351.full.pdf+html;   http://www3.oup.
co.uk/computer_journal/Volume_36/Issue_04/Vol36_04.body.
html#AbstractNaur.

Naur:1993:FPD

[Nau93b] Peter Naur. Formalization in program development. In Colburn et al. [CFR93], pages 191–210. ISBN 94-010-4789-8, 94-011-1793-4 (e-book). ISSN 0924-0780. LCCN Q334-342; TJ210.2-211.495.

Naur:1993:PSD

[Nau93c] Peter Naur. The place of strictly defined notation in human insight. In Colburn et al. [CFR93], pages 261–274. ISBN 94-010-4789-8, 94-011-1793-4 (e-book). ISSN 0924-0780. LCCN Q334-342; TJ210.2-211.495.

Naur:1993:PAG

[Nau93d] Peter Naur. Proof of algorithms by general snapshots. In Colburn et al. [CFR93], pages 57–64. ISBN 94-010-4789-8, 94-011-1793-4 (e-book). ISSN 0924-0780. LCCN Q334-342; TJ210.2-211.495.

Naur:1994:PVF

[Nau94] Peter Naur. Proof versus formalization. BIT (Nordisk tidskrift for informationsbehandling), 34(1):148–164, 1994. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic).

Naur:1995:BR

[Nau95a] P. Naur. Book review. The Computer Journal, 38(10):833–834, ???? 1995. CODEN CMPJA6. ISSN 0010-4620 (print), 1460-2067 (elec-

tronic). URL http://comjnl.oxfordjournals.org/content/38/
10/833.full.pdf+html.

Naur:1995:KMLm

[Nau95b] Peter Naur. Knowing and the Mystique of Logic and Rules: Including True Statements in Knowing and Action, Computer Modelling of Human Knowing Activity, Coherent Description as the Core of Scholarship and Science, volume 18 of Studies in cognitive systems.

Kluwer Academic Publishers Group, Norwell, MA, USA, and Dordrecht, The Netherlands, 1995. ISBN 0-7923-3680-1. xii + 365 pp. LCCN BD171 .N38 1995.

Naur:1996:PCD

[Nau96] P. Naur. PARA’96 conference dinner talk, 1996 August 20. Lecture Notes in Computer Science, 1184:529–533, 1996. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).

Naur:1999:ASR

[Nau99] Peter Naur. Aberration in special relativity: a case of chronic scientific confusion. Physics Essays, 12(2):358–367, 1999. CODEN PHESEM. ISSN 0836-1398.

Naur:2006:CVH

[Nau06] Peter Naur. Computing versus human thinking. In Wellner and Hinckley [WH06], pages 1–2. ISBN 1-59593-313-1 (paperback). LCCN QA76.9.U83 A27.

Naur:2007:CVH

[Nau07] Peter Naur. Computing versus human thinking. Communications of the ACM, 50(1):85–94, January 2007. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic).

Naur:1960:RALa

[NBB^{+}60] Peter Naur, J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. Mc-Carthy, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Report on the algorithmic language ALGOL 60. Communications of the ACM, 3(5):299–314, May 1960. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic). URL https:

//web.archive.org/web/20171002221007id_/http://www.eah-
jena.de/~kleine/history/languages/Algol60-ACM.pdf. See

letter [AGG60]. Dedicated to the Memory of William Turanski [American group member who was killed by an automobile just prior to the January 1960 Conference].

Naur:1962:BAS

[NBB^{+}62] Peter Naur, J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. Mc-Carthy, A. J. Perlis, S. Ruti shauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Bericht über die algorithmische Sprache ALGOL 60. (German) [Report on the ALGOL 60 language]. Elektronisches Rechnen und Regeln. Sonderband 1. Akademie-Verlag, Berlin, Germany, 1962. xi + 49 pp. LCCN QA76.5 .N3515. Zur Erinnerung an William Turanski (In memory of William Turanski).

Naur:1963:RRA

[NBB^{+}63] Peter Naur, J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. Mc-Carthy, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, M. Woodger, and P. Nauer. Revised report on the algorithmic language ALGOL 60. Communications of the ACM, 6(1):1–17, January 1963. CODEN CACMA2. ISSN 0001-0782 (print), 1557-7317 (electronic). Dedicated to the memory of William Turanski.

Naur:1965:RRA

[NBB^{+}65] P. Naur, J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. Mc-Carthy, P. Naur, A. J. Perlis, Heinz Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Revised report on the algorithmic language ALGOL-60. (Russian), volume Moskau, Russia. Verlag “Mir”, 1965. 80 pp.

Naur:1997:RRA

[NBB^{+}97] Peter Naur, J. W. Backus, F. L. Bauer, J. Green, C. Kafz, J. Mc-Carthy, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Revised report on the algorithmic language Algol 60. In Algol-like Languages, pages 19–49. Birkhäuser Boston Inc., Cambridge, MA, USA, 1997.

Naur:1960:RCI

[ND60] Peter Naur and I. Dahlstrand. Remark concerning integers as labels. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (10): 11, October 1960. CODEN ALGOBG. ISSN 0084-6198.

Nechesov:2022:SQPb

[Nec22a] A. V. Nechesov. Some questions on polynomially computable representations for generating grammars and Backus–Naur forms. Siberian Advances in Mathematics, 32(4):299–309, 2022. ISSN 1055-1344 (print), 1934-8126 (electronic). Translation of Matematicheskie Trudy 25 (2022), no. 1, 134–151.

Nechesov:2022:SQPa

[Nec22b] Andreĭ Vital’evich Nechësov. Some questions on polynomially computable representations for generating grammars and Backus–Naur forms. Matematicheskie Trudy, 25(1):134–151, 2022. ISSN 1560-750X.

Noyes:1997:POS

[NJK^{+}97] Robert W. Noyes, Saurabh Jha, Sylvain G. Korzennik, Martin Krockenberger, Peter Nisenson, Timothy M. Brown, Edward J. Kennelly, and Scott D. Horner. A planet orbiting the star I Coronae Borealis. The Astrophysical Journal, 483(2):L111–L114, July 1997. CODEN ASJOAB. ISSN 0004-637x (print), 1538-4357 (electronic).

Naur:1969:SER

[NR69] Peter Naur and Brian Randell, editors. Software Engineering: Report on a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7 to 11 October, 1968. NATO Scientific Affairs Division, Brussels, Belgium, January 1969. LCCN QA 264 W675 1968.

Naur:1976:SEC

[NRB76] Peter Naur, Brian Randell, and J. N. Buxton, editors. Software Engineering Concepts and Techniques: Proceedings of the NATO Conferences. Petrocelli/Charter, New York, NY, USA, 1976. ISBN 0-88405-334-2. LCCN QA76.6 S618 1968. Conferences sponsored by the NATO Science Committee, held at Garmisch, Germany, 7–11 October 1968, and at Rome, Italy, 27–31 October 1969.

Perlis:1981:TP

[Per81] Alan J. Perlis. Transcripts of presentations. In Wexelblat [Wex81], pages 139–147. ISBN 0-12-745040-8. LCCN QA76.7 .H56 1978.

URL https://dl.acm.org/doi/book/10.1145/800025.

Perlis:1978:TP

[PN78] Alan J. Perlis and Peter Naur. Transcripts of presentations. In Wexelblat [Wex81], pages 139–161. ISBN 0-12-745040-8. LCCN

QA76.7 .H56 1978. URL https://dl.acm.org/doi/book/10.
1145/800025.

Post:1943:FRG

[Pos43] Emil L. Post. Formal reductions of the general combinatorial decision problem. American Journal of Mathematics, 65:197–215, 1943. CODEN AJMAAN. ISSN 0002-9327,1080-6377.

Popov:2024:ABN

[PP24] George Popov and Antoaneta Popova. Application of Backus–Naur Forms for investigation [of] financial customs violations. In ????, editor, 2024 12th International Scientific Conference on Computer Science (COMSCI), pages 1–4. IEEE Computer Society Press, 1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA, 2024.

Rohl:1968:NBN

[Roh68] J. S. Rohl. A note on Backus Naur Form. The Computer Journal, 10(4):336–337, February 1968. CODEN CM-PJA6. ISSN 0010-4620 (print), 1460-2067 (electronic). URL

http://comjnl.oxfordjournals.org/content/10/4/336.full.
pdf+html;   http://www3.oup.co.uk/computer_journal/hdb/
Volume_10/Issue_04/100336.sgm.abs.html;   http://www3.
oup.co.uk/computer_journal/hdb/Volume_10/Issue_04/tiff/
336.tif;   http://www3.oup.co.uk/computer_journal/hdb/
Volume_10/Issue_04/tiff/337.tif.

Rutishauser:1960:R

[Rut60] Heinz Rutishauser. Reply to AB 10.1.3. ALGOL Bulletin (Amsterdam: Mathematisch Centrum), (10):2–3, October 17, 1960. CO-DEN ALGOBG. ISSN 0084-6198. See [Nau60q].

Sveinsdottir:1988:DCT

[SF88] Edda Sveinsdottir and Erik Frøkjær. Datalogy — the Copenhagen tradition of computer science. BIT (Nordisk tidskrift for informationsbehandling), 28(3):450–472, 1988. CODEN BITTEL, NBITAB. ISSN 0006-3835 (print), 1572-9125 (electronic).

Siefkes:1975:GVJ

[Sie75] Dirk Siefkes, editor. GI-4. [i.e., vierte] Jahrestagung: Berlin, 9.– 12. Oktober 1974. (German) [GI-4. Fourth Annual Conference: Berlin, October 9–12, 1974], volume 26 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, Germany / Heidelberg, Germany / London, UK / etc., 1975. CODEN LNCSD9. ISBN 0-387-07141-5. ISSN 0302-9743 (print), 1611-3349 (electronic).

LCCN QA267.A1 L43 no.26. URL http://link.springer-ny.
com/link/service/series/0558/tocs/t0026.htm;   http://
www.springerlink.com/content/978-0-387-07141-1;   http:
//www.springerlink.com/openurl.asp?genre=issue&issn=0302-

9743&volume=26. English or German.

Spector:1983:LPM

[Spe83] David Spector. Lexing and parsing Modula-2. ACM SIGPLAN Notices, 18(10):25–32, October 1983. CODEN SINODQ. ISSN 0362-1340 (print), 1523-2867 (print), 1558-1160 (electronic).

Torii:1987:LPT

[TSF^{+}87] Koji Torii, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, and Yoshitomi Morisawa. Logical programming for the telegram analysis problem. Computer Languages, 12(1):9–20, ???? 1987. CODEN COLADA. ISSN 0096-0551 (print), 1873-6742 (electronic).

VanHorn:2023:IS

[Van23] Hugh M. Van Horn. Inside the Stars. AAS-IOP astronomy. IOP Publishing, Bristol, UK, 2023. ISBN 0-7503-5793-2, 0-7503-5794-0. ISSN 2515-141X. xvi + 275 (various) pp. LCCN QB808 .V365 2023eb.

Weiss:1988:BOP

[Wei88] Eric A. Weiss. Biographies: Oh, pioneers! Annals of the History of Computing, 10(4):348–361, October/December 1988. CODEN AH-

COE5. ISSN 0164-1239. URL http://dlib.computer.org/an/
books/an1988/pdf/a4348.pdf;   http://www.computer.org/
annals/an1988/a4348abs.htm.

Wexelblat:1981:HPL

[Wex81] Richard L. Wexelblat, editor. History of programming languages. Proceedings of the ACM SIGPLAN conference (Los Angeles, Calif., June 1–3, 1978). Academic Press, New York, USA, June 1981. ISBN 0-12-745040-8. LCCN QA76.7 .H56 1978. URL https://

dl.acm.org/doi/book/10.1145/800025.

Wellner:2006:PAA

[WH06] Pierre Wellner and Ken Hinckley, editors. Proceedings of the 19th Annual ACM Symposium on User Interface Software and Technology, Montreux, Switzerland, October 15–18, 2006, ACM Conferences. ACM Press, New York, NY 10036, USA, 2006. ISBN 1-59593-313-1 (paperback). LCCN QA76.9.U83 A27.