%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Wed Jun 17 06:28:23 MDT 2026 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{1539-1}{% ANSI:1997:AII,% ISO:1997:IIIa,% ISO:1997:IIIg,% ISO:2004:DIS,% ISO:2004:IIIa,% ISO:2010:IIIb% }. \NAMECITE{1539-2}{% ISO:1994:IIIe,% ISO:2000:IIIe% }. \NAMECITE{1539-3}{% ISO:1999:IIIe% }. \NAMECITE{1950s}{% Backus:1980:PAS% }. \NAMECITE{{1959}}{% Anonymous:1960:ICI% }. \NAMECITE{{1960}}{% Arden:1960:LPR% }. \NAMECITE{{1962}}{% Busa:1962:SLD% }. \NAMECITE{{1966}}{% ANSI:1966:AF,% ANSI:1966:ANS,% ANSI:1978:ANSb,% ANSI:1978:ANSd% }. \NAMECITE{{1978}}{% ANSI:1987:ANSc,% ANSI:1987:ANSd% }. \NAMECITE{{1986}}{% Srinivas:1986:GBF% }. \NAMECITE{{1987}}{% Turner:1990:RTF% }. \NAMECITE{198X}{% ANSI:1987:ANSd,% ANSI:1987:DPA% }. \NAMECITE{{1992}}{% ANSI:1992:ANSc% }. \NAMECITE{{1994}}{% ISO:1994:IIIe% }. \NAMECITE{{1997}}{% ANSI:1997:AII,% ISO:1997:IIIa,% ISO:1997:IIIg% }. \NAMECITE{{1998}}{% ISO:1998:IITc,% ISO:1998:IITd% }. \NAMECITE{{1999}}{% ISO:1999:IIIe% }. \NAMECITE{{199x}}{% ANSI:1990:DPA% }. \NAMECITE{{2}}{% Spector:1983:LPM% }. \NAMECITE{{2000}}{% ISO:2000:IIIe% }. \NAMECITE{{2007}}{% Bjorner:2008:JWB% }. \NAMECITE{{20th}}{% Cipra:2000:BCE% }. \NAMECITE{{2DT}}{% Ben-Asher:1995:FPF% }. \NAMECITE{{2DT-FP}}{% Ben-Asher:1995:FPF% }. \NAMECITE{{314}}{% Culik:1972:BRJa% }. \NAMECITE{{367}}{% Culik:1972:BRJb% }. \NAMECITE{4-1-4-1}{% IBM:1959:POM% }. \NAMECITE{{50}}{% Geppert:1966:BBJ% }. \NAMECITE{{60}}{% Backus:1960:RALa,% Backus:1960:RALb,% Backus:1961:ARA,% Backus:1961:RAL,% Backus:1962:RAL,% Backus:1963:BAS,% Backus:1963:RRAa,% Backus:1976:MRA,% Culik:1972:BRJa,% Culik:1972:BRJb,% Dijkstra:1962:PAR,% Geppert:1966:BBJ,% Naur:1960:RALa,% Naur:1962:BAS,% Naur:1963:RRA,% Naur:1964:RRA,% Naur:1965:RRA,% Naur:1997:RRA% }. \NAMECITE{{67}}{% ANSI:1987:ANSc% }. \NAMECITE{{67-R}}{% ANSI:1987:ANSc% }. \NAMECITE{6th}{% Srinivas:1986:GBF% }. \NAMECITE{{701}}{% IBM:1953:ISS% }. \NAMECITE{{704}}{% Backus:1954:SDI% }. \NAMECITE{78-06-01}{% ANSI:1978:FUX% }. \NAMECITE{{8X}}{% ANSI:1989:ANSc% }. \NAMECITE{{AA}}{% Backus:1975:CNIb% }. \NAMECITE{Abstraction}{% Halpern:1987:FAE,% Halpern:1995:FAE% }. \NAMECITE{acceptor}{% Kusmierz:1974:AMP% }. \NAMECITE{ACM}{% Backus:1959:SSP,% Ashenhurst:1987:ATA,% Backus:1960:SSP,% Wexelblat:1981:HPL% }. \NAMECITE{ACM-GAMM}{% Backus:1959:SSP,% Backus:1960:SSP% }. \NAMECITE{Address}{% Backus:1981:CSB% }. \NAMECITE{Afterword}{% Backus:1984:A% }. \NAMECITE{Ahead}{% DeRemer:1982:ECL% }. \NAMECITE{Aiken}{% Buchholz:1990:CQDa% }. \NAMECITE{Akademie}{% Geppert:1966:BBJ% }. \NAMECITE{Akademie-Verlag}{% Geppert:1966:BBJ% }. \NAMECITE{Algebra}{% Backus:1978:CPL,% Backus:1981:AFP,% Backus:1982:AFP,% Backus:1987:CPLb,% Williams:1982:DAF,% Backus:1987:CPLa,% Williams:1980:DAF% }. \NAMECITE{Algebraic}{% Backus:1959:SSP,% Broy:1985:SAS,% Dosch:1983:ASB,% Backus:1960:SSP% }. \NAMECITE{ALGOL}{% Backus:1963:BAS,% Culik:1972:BRJa,% Culik:1972:BRJb,% Naur:1962:BAS,% Geppert:1966:BBJ,% Backus:1961:ARA,% Backus:1961:RAL,% Backus:1962:RAL,% Backus:1963:BAS,% Backus:1963:RRAa,% Backus:1963:RRAb,% Backus:1976:MRA,% Dijkstra:1962:PAR,% Naur:1960:RALa,% Naur:1962:BAS,% Naur:1963:RRA,% Naur:1964:RRA,% Naur:1965:RRA,% Backus:1960:RALa,% Backus:1960:RALb,% Naur:1997:RRA% }. \NAMECITE{{ALGOL-60}}{% Backus:1976:MRA,% Naur:1965:RRA% }. \NAMECITE{Algorithmic}{% Backus:1963:BAS,% Backus:1976:MRA,% Naur:1960:RALa,% Naur:1963:RRA,% Naur:1997:RRA,% deBakker:1981:ALP,% Backus:1960:RALa,% Backus:1960:RALb,% Backus:1961:ARA,% Backus:1961:RAL,% Backus:1962:RAL,% Backus:1963:RRAa,% Backus:1963:RRAb,% Culik:1972:BRJa,% Culik:1972:BRJb,% Dijkstra:1962:PAR,% Geppert:1966:BBJ,% Naur:1964:RRA,% Naur:1965:RRA% }. \NAMECITE{Algorithmische}{% Backus:1963:BAS,% Geppert:1966:BBJ,% Naur:1962:BAS% }. \NAMECITE{Algorithms}{% Cipra:2000:BCE,% Lengauer:1993:AEF% }. \NAMECITE{also}{% Culik:1972:BRJa,% Culik:1972:BRJb% }. \NAMECITE{Ambiguity}{% Cantor:1962:APB% }. \NAMECITE{{America}}{% Backus:1980:PAS% }. \NAMECITE{American}{% ANSI:1978:ANSb,% ANSI:1978:ANSd,% ANSI:1990:DPA% }. \NAMECITE{{Amsterdam}}{% deBakker:1981:ALP% }. \NAMECITE{Analysis}{% Torii:1987:LPT% }. \NAMECITE{Angeles}{% Wexelblat:1981:HPL% }. \NAMECITE{Annual}{% Lengauer:1993:AEF% }. \NAMECITE{{ANS}}{% Backus:1955:CSD% }. \NAMECITE{ANSI}{% ANSI:1978:ANSb,% ANSI:1978:ANSd,% ANSI:1987:ANSd,% ANSI:1966:AF,% ANSI:1978:ANSb,% ANSI:1978:ANSd,% ANSI:1987:ANSc,% ANSI:1987:DPA,% ANSI:1992:ANSc,% ANSI:1997:AII% }. \NAMECITE{{ANSI/ISO/IEC}}{% ANSI:1997:AII% }. \NAMECITE{Anticipation}{% Buchholz:1990:CQDa% }. \NAMECITE{any}{% Kusmierz:1974:AMP% }. \NAMECITE{Appendix}{% Backus:1961:ARA,% Backus:1962:RAL% }. \NAMECITE{Application}{% Hudak:1989:CEA,% Kusmierz:1974:AMP,% Popov:2024:ABN% }. \NAMECITE{Applicative}{% Backus:1973:PLSb,% McJones:1975:CRP,% Backus:1973:PLSa% }. \NAMECITE{approved}{% ANSI:1978:ANSb,% ANSI:1978:ANSd% }. \NAMECITE{{April}}{% ANSI:1978:ANSb,% ANSI:1978:ANSd% }. \NAMECITE{architectures}{% Backus:1982:SFL% }. \NAMECITE{Arithmetic}{% Sheridan:1959:ATC% }. \NAMECITE{array}{% Hoekstra:2022:CLC% }. \NAMECITE{arrogance}{% Backus:1979:GAT,% Chen:2016:GAT% }. \NAMECITE{{ASA}}{% Gorn:1961:SLM% }. \NAMECITE{Association}{% Culik:1972:BRJa,% Adams:1954:RAC% }. \NAMECITE{Atanasoff}{% Buchholz:1990:CQDa% }. \NAMECITE{August}{% Turner:1990:RTF% }. \NAMECITE{Austin}{% Turner:1990:RTF% }. \NAMECITE{Automatic}{% Backus:1956:FAC,% Backus:1958:APP,% Backus:1996:FAC,% Bauer:1956:UAP,% IBM:1959:POM,% Sheridan:1959:ATC,% Backus:1954:ISO,% Backus:1957:FAC% }. \NAMECITE{Award}{% Anonymous:1994:AJB,% Ashenhurst:1987:ATA,% Dijkstra:1978:RTA,% Lewin:1994:FDR,% Anonymous:2010:JBF% }. \NAMECITE{away}{% Backus:1979:GAT,% Chen:2016:GAT% }. \NAMECITE{B}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{Babbage}{% Buchholz:1990:CQDa,% Buchholz:1990:CQDa,% Randell:1991:PBB% }. \NAMECITE{Backus}{% Bjorner:2008:JWB,% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ,% Ingerman:1967:PBF,% Konstantinov:1973:CTG,% Saphire:1967:IJB,% Chiarini:1980:BFS,% Aiken:2007:MJW,% Anonymous:1994:AJB,% Anonymous:2010:JBF,% Anonymous:2022:JB,% Anonymous:20xx:JBF,% Booch:2006:OHJ,% Broy:1985:SAS,% Campbell-Kelly:2007:JB,% Cantor:1962:APB,% Chaplin:1973:GRB,% Chen:2016:GAT,% Dijkstra:1978:RTA,% Dosch:1983:ASB,% Essalmi:2006:GUV,% IBM:20xx:JB,% Ingerman:1962:TTL,% Johansen:1966:CRD,% Knuth:1962:BL,% Knuth:1964:LEB,% Konstantinov:1973:CTG,% Kusmierz:1974:AMP,% Lohr:2007:JWB,% Malita:2011:BLF,% McJones:2017:RJB,% Nechesov:2022:SQPa,% Nechesov:2022:SQPb,% Nori:1986:GBF,% Pagan:1986:FTB,% Petrick:1965:MBN,% Popov:2024:ABN,% Radensky:1987:LEN,% Radensky:1989:SRE,% Randell:1991:PBB,% Robinet:1980:LBS,% Rohl:1968:NBN,% Slater:1987:JBM,% Stegmann:1979:PYP,% Y:1977:JBF% }. \NAMECITE{{BACKUS-FP}}{% Chiarini:1980:BFS% }. \NAMECITE{{Backus}-type}{% Pagan:1986:FTB% }. \NAMECITE{Bad}{% Lengauer:1993:AEF% }. \NAMECITE{baker}{% Gorn:1961:SLM% }. \NAMECITE{Base}{% ANSI:1997:AII,% ISO:1997:IIIa,% ISO:2004:DIS,% ISO:2004:IIIa,% ISO:2010:IIIb,% ISO:1997:IIIg% }. \NAMECITE{based}{% Backus:1981:CSB,% Konstantinov:1973:CTG% }. \NAMECITE{Basic}{% ANSI:1966:ANS% }. \NAMECITE{Bauer}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{Be}{% Backus:1978:CPL,% Backus:1987:CPLa,% Backus:1987:CPLb% }. \NAMECITE{{Bericht}}{% Backus:1963:BAS,% Geppert:1966:BBJ,% Naur:1962:BAS% }. \NAMECITE{{Berkeley}}{% Baden:1993:BFU% }. \NAMECITE{Berlin}{% Geppert:1966:BBJ% }. \NAMECITE{Best}{% Cipra:2000:BCE% }. \NAMECITE{between}{% Chen:2016:GAT% }. \NAMECITE{Biographies}{% Cortada:1987:HDD,% Weiss:1988:BOP,% Buchholz:1990:CQDa% }. \NAMECITE{BNF}{% Buchholz:1990:CQDa% }. \NAMECITE{Book}{% Culik:1972:BRJa,% Culik:1972:BRJb% }. \NAMECITE{bottleneck}{% Y:1977:JBF% }. \NAMECITE{{Bowditch}}{% Buchholz:1990:CQDa% }. \NAMECITE{breath}{% Backus:1979:GAT,% Chen:2016:GAT% }. \NAMECITE{{Buchbesprechung}}{% Geppert:1966:BBJ% }. \NAMECITE{{Bulletin}}{% Backus:1963:BAS% }. \NAMECITE{C}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{calculus}{% Revesz:1992:LOE% }. \NAMECITE{{Calif.}}{% Wexelblat:1981:HPL% }. \NAMECITE{{California}}{% Saphire:1967:IJB% }. \NAMECITE{Can}{% Backus:1978:CPL,% Backus:1987:CPLa,% Backus:1987:CPLb% }. \NAMECITE{{Centre}}{% deBakker:1981:ALP% }. \NAMECITE{{Century}}{% Cipra:2000:BCE,% Metropolis:1980:HCT% }. \NAMECITE{character}{% ISO:1994:IIIe,% ISO:2000:IIIe% }. \NAMECITE{Charles}{% Buchholz:1990:CQDa% }. \NAMECITE{{Church}}{% Backus:1975:CNIb,% McJones:1975:CRP,% Revesz:1992:LOE% }. \NAMECITE{Clarification}{% ANSI:1969:CFS,% ANSI:1971:CFS% }. \NAMECITE{Class}{% Backus:1973:CNRa,% Backus:1973:CNRb,% Backus:1975:CNIa,% Backus:1975:CNIb,% Backus:1975:CNVa,% Backus:1975:CNVb% }. \NAMECITE{Closed}{% Backus:1973:PLSb,% McJones:1975:CRP,% Backus:1973:PLSa% }. \NAMECITE{Code}{% Steele:1993:FCE% }. \NAMECITE{Coding}{% Backus:1956:FAC,% Backus:1996:FAC,% IBM:1959:POM,% Sheridan:1959:ATC,% Backus:1957:FAC% }. \NAMECITE{Collection}{% Bauer:1981:PWS,% Metropolis:1980:HCT% }. \NAMECITE{combinatorial}{% Post:1943:FRG% }. \NAMECITE{combinators}{% Hoekstra:2022:CLC% }. \NAMECITE{Combinatory}{% Hoekstra:2022:CLC% }. \NAMECITE{Coming}{% Backus:1983:CRC% }. \NAMECITE{Command}{% McDonald:1989:DSC% }. \NAMECITE{Comments}{% Buchholz:1990:CQDa% }. \NAMECITE{Communications}{% Culik:1972:BRJa% }. \NAMECITE{compilation}{% ISO:1999:IIIe% }. \NAMECITE{Compiler}{% Sheridan:1959:ATC% }. \NAMECITE{Completeness}{% Halpern:1987:FAE,% Halpern:1990:CRR,% Halpern:1995:FAE% }. \NAMECITE{computable}{% Nechesov:2022:SQPa,% Nechesov:2022:SQPb% }. \NAMECITE{Computation}{% DeRemer:1982:ECL% }. \NAMECITE{Computer}{% Backus:1955:CSD,% Culik:1972:BRJb,% Knuth:2003:SPC,% Laplante:1996:GPC,% Shasha:1998:TML,% Backus:1981:CSB,% Nuding:1970:COR,% Srinivas:1986:GBF% }. \NAMECITE{computer-oriented}{% Nuding:1970:COR% }. \NAMECITE{Computing}{% Adams:1954:RAC,% Backus:1983:CRC,% Culik:1972:BRJa,% Metropolis:1980:HCT,% Backus:1982:SFL% }. \NAMECITE{concept}{% Backus:1979:ECP,% Backus:1981:CSB% }. \NAMECITE{Conception}{% Hudak:1989:CEA% }. \NAMECITE{{Conditional}}{% ISO:1999:IIIe% }. \NAMECITE{Conference}{% Anonymous:1960:ICI,% Backus:1960:SSP,% Srinivas:1986:GBF,% Wexelblat:1981:HPL,% Backus:1959:SSP% }. \NAMECITE{{Congress}}{% Backus:2003:ILC% }. \NAMECITE{Construction}{% Johansen:1966:CRD,% Konstantinov:1973:CTG% }. \NAMECITE{Contributions}{% Sammet:1981:HIT% }. \NAMECITE{Control}{% Backus:1955:CSD% }. \NAMECITE{convenience}{% Halpern:1988:SSC% }. \NAMECITE{crackles}{% Stegmann:1979:PYP% }. \NAMECITE{Customs}{% Popov:2024:ABN% }. \NAMECITE{d'arbres}{% Robinet:1980:LBS% }. \NAMECITE{Data}{% Ben-Asher:1995:FPF,% Busa:1962:SLD,% Cortada:1987:HDD,% ISO:1998:IITd% }. \NAMECITE{Days}{% Backus:1984:EDF% }. \NAMECITE{Debate}{% Buchholz:1990:CQDa% }. \NAMECITE{Dec}{% Bjorner:2008:JWB% }. \NAMECITE{December}{% Srinivas:1986:GBF% }. \NAMECITE{decision}{% Post:1943:FRG% }. \NAMECITE{Defining}{% Backus:1975:CNIb% }. \NAMECITE{Definition}{% Johansen:1966:CRD% }. \NAMECITE{Definitions}{% Backus:1981:AFP,% Backus:1982:AFP,% Backus:1975:CNVb% }. \NAMECITE{Delhi}{% Srinivas:1986:GBF% }. \NAMECITE{Denotational}{% Halpern:1985:DSR,% McDonald:1989:DSC% }. \NAMECITE{Design}{% Aiken:1989:FPD,% Aiken:1994:FPD,% Backus:1954:SDI,% Backus:1955:CSD% }. \NAMECITE{Developer}{% Lewin:1994:FDR,% Lohr:2007:JWB% }. \NAMECITE{Development}{% Williams:1982:DAF,% Backus:1982:SFL,% Williams:1980:DAF% }. \NAMECITE{Devices}{% Johansen:1966:CRD,% Malita:2011:BLF% }. \NAMECITE{Dictionary}{% Cortada:1987:HDD% }. \NAMECITE{Dies}{% Lohr:2007:JWB% }. \NAMECITE{different}{% Backus:1982:SFL% }. \NAMECITE{{Dijkstra}}{% Chen:2016:GAT% }. \NAMECITE{Dimensional}{% Ben-Asher:1995:FPF% }. \NAMECITE{Discoveries}{% Shasha:1998:TML% }. \NAMECITE{do}{% Halpern:1988:SSC% }. \NAMECITE{document}{% Bruggemann-Klein:1993:UERa% }. \NAMECITE{Does}{% Buchholz:1990:CQDa% }. \NAMECITE{dozen}{% Gorn:1961:SLM% }. \NAMECITE{Draft}{% ANSI-X3J3:1987:DPR,% ANSI:1987:DPA,% ANSI:1990:DPA,% ANSI:1987:ANSc,% ANSI:1989:ANSc,% ISO:2004:DIS% }. \NAMECITE{draw}{% Halpern:1988:SSC% }. \NAMECITE{dynamically}{% Aiken:1991:STI% }. \NAMECITE{Early}{% Backus:1984:EDF% }. \NAMECITE{{Edited}}{% Backus:1963:BAS% }. \NAMECITE{Editor}{% Knuth:1964:LEB,% Culik:1972:BRJa,% Knuth:1962:BL% }. \NAMECITE{Editors}{% Cipra:2000:BCE% }. \NAMECITE{EDPM}{% IBM:1959:POM,% Backus:1956:FAC% }. \NAMECITE{{Edsger}}{% Chen:2016:GAT% }. \NAMECITE{Efficient}{% DeRemer:1982:ECL% }. \NAMECITE{elimination}{% Radensky:1989:SRE% }. \NAMECITE{Engineering}{% Lewin:1994:FDR% }. \NAMECITE{{Enhanced}}{% ISO:1998:IITd% }. \NAMECITE{Equations}{% Backus:1981:AFP,% Backus:1982:AFP,% Laning:1954:PTM,% Backus:1979:ECP% }. \NAMECITE{Erinnerung}{% Backus:1963:BAS% }. \NAMECITE{Errors}{% Aiken:1995:SST% }. \NAMECITE{ESA'93}{% Lengauer:1993:AEF% }. \NAMECITE{Essays}{% Metropolis:1980:HCT% }. \NAMECITE{Ethics}{% Steele:1993:FCE% }. \NAMECITE{European}{% Lengauer:1993:AEF% }. \NAMECITE{evaluation}{% Radensky:1987:LEN% }. \NAMECITE{Evolution}{% Hudak:1989:CEA% }. \NAMECITE{Examples}{% Bauer:1981:PWS,% Gorn:1961:SLM% }. \NAMECITE{exception}{% ISO:1998:IITc% }. \NAMECITE{exhibit}{% IBM:1957:TYF% }. \NAMECITE{Expressible}{% Ingerman:1962:TTL% }. \NAMECITE{expressions}{% Bruggemann-Klein:1993:UERa% }. \NAMECITE{Expressive}{% Halpern:1987:FAE,% Halpern:1995:FAE% }. \NAMECITE{Extended}{% ANSI:1990:DPA,% Backus:1981:AFP,% Backus:1982:AFP,% Essalmi:2006:GUV,% ANSI:1992:ANSc,% Backus:1975:CNIb,% Backus:1981:CSB,% Bruggemann-Klein:1993:UERa% }. \NAMECITE{extending}{% Backus:1979:ECP% }. \NAMECITE{extension}{% Revesz:1992:LOE% }. \NAMECITE{F}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{facilities}{% ISO:1998:IITd% }. \NAMECITE{fame}{% Y:1977:JBF% }. \NAMECITE{feasibility}{% Pagan:1986:FTB% }. \NAMECITE{{February}}{% Arden:1960:LPR% }. \NAMECITE{{Fellow}}{% Anonymous:2010:JBF% }. \NAMECITE{Financial}{% Popov:2024:ABN% }. \NAMECITE{First}{% Adams:1954:RAC,% Lengauer:1993:AEF,% Ashenhurst:1987:ATA,% Pagan:1986:FTB% }. \NAMECITE{five}{% IBM:1957:TYF% }. \NAMECITE{{FL}}{% Aiken:1989:FPD,% Aiken:1994:FPD,% Backus:1986:FLM,% Backus:1989:FLM,% Backus:1990:IPL% }. \NAMECITE{{Floating}}{% ISO:1998:IITc% }. \NAMECITE{{Floating-point}}{% ISO:1998:IITc% }. \NAMECITE{Form}{% Ingerman:1967:PBF,% Chaplin:1973:GRB,% Konstantinov:1973:CTG,% Essalmi:2006:GUV,% Ingerman:1962:TTL,% Johansen:1966:CRD,% Knuth:1964:LEB,% Konstantinov:1973:CTG,% Petrick:1965:MBN,% Rohl:1968:NBN% }. \NAMECITE{Formal}{% LEcuyer:1987:FFR,% Lucas:1981:FSP,% Post:1943:FRG% }. \NAMECITE{Formatting}{% LEcuyer:1987:FFR% }. \NAMECITE{forms}{% Nechesov:2022:SQPa,% Nechesov:2022:SQPb,% Popov:2024:ABN% }. \NAMECITE{FORmula}{% IBM:1954:SIM,% Anonymous:20xx:JBF% }. \NAMECITE{FORTRAN}{% Sheridan:1959:ATC,% ANSI:1966:AF,% ANSI:1987:DPA,% IBM:1959:POM,% ISO:2004:DIS,% ISO:2004:IIIa,% ISO:2010:IIIb,% ANSI:1966:ANS,% ANSI:1978:ANSb,% ANSI:1978:ANSc,% ANSI:1978:ANSd,% ANSI:1987:ANSc,% ANSI:1992:ANSc,% Backus:1957:FAC,% Backus:1958:APP,% Backus:1978:HFI,% Backus:1979:HFI,% Backus:1981:HFI,% Backus:1984:EDF,% Backus:1996:FAC,% IBM:1957:TYF,% ISO:1994:IIIe,% Slater:1987:JBM,% ANSI-X3J3:1987:DPR,% ANSI:1969:CFS,% ANSI:1971:CFS,% ANSI:1978:FUX,% ANSI:1987:ANSd,% ANSI:1989:ANSc,% ANSI:1990:DPA,% ANSI:1997:AII,% Anonymous:1993:HPF,% Backus:1956:FAC,% Backus:1964:F,% Backus:1980:F,% Backus:1998:HFI,% ISO:1991:ISI,% ISO:1997:IIIa,% ISO:1997:IIIg,% ISO:1998:IITc,% ISO:1998:IITd,% ISO:1999:IIIe,% ISO:2000:IIIe,% Lewin:1994:FDR,% Lohr:2007:JWB,% Y:1977:JBF% }. \NAMECITE{Forum}{% Steele:1993:FCE% }. \NAMECITE{Foundations}{% Srinivas:1986:GBF% }. \NAMECITE{Fourier}{% Buchholz:1990:CQDa% }. \NAMECITE{{FP}}{% Backus:1975:CNVa,% Baden:1993:BFU,% Ben-Asher:1995:FPF,% Chiarini:1980:BFS,% Halpern:1985:DSR,% Halpern:1986:GRS,% Halpern:1987:FAE,% Halpern:1990:CRR,% Halpern:1995:FAE,% Nori:1986:GBF,% Pagan:1986:FTB,% Radensky:1987:LEN,% Radensky:1989:SRE,% Williams:1981:NFS,% Williams:1982:NFS% }. \NAMECITE{{FP}-systems}{% Radensky:1987:LEN,% Radensky:1989:SRE% }. \NAMECITE{Francisco}{% Saphire:1967:IJB% }. \NAMECITE{free}{% Backus:1972:MRR,% Backus:1972:RLV,% Backus:1975:CNVa% }. \NAMECITE{{French}}{% Robinet:1980:LBS% }. \NAMECITE{Full}{% Halpern:1987:FAE,% Halpern:1995:FAE% }. \NAMECITE{Function}{% Backus:1974:FLP,% Backus:1981:AFP,% Backus:1981:FLP,% Backus:1982:SFL,% Backus:1985:FLSa,% Backus:1985:FLSb% }. \NAMECITE{Function-level}{% Backus:1982:SFL% }. \NAMECITE{Functional}{% Aiken:1989:FPD,% Aiken:1994:FPD,% Backus:1978:CPL,% Backus:1981:AFP,% Backus:1982:AFP,% Backus:1987:CPLb,% Ben-Asher:1995:FPF,% Hudak:1989:CEA,% Robison:1987:IFPa,% Williams:1982:DAF,% Williams:1982:NFS,% Backus:1975:CNVa,% Backus:1979:ECP,% Backus:1987:CPLa,% Broy:1985:SAS,% Chiarini:1980:BFS,% Dosch:1983:ASB,% Malita:2011:BLF,% Pagan:1986:FTB,% Robison:1987:IFPb,% Turner:1990:RTF,% Williams:1980:DAF,% Williams:1981:NFS% }. \NAMECITE{fundamental}{% Backus:1981:CSB% }. \NAMECITE{funzionale}{% Chiarini:1980:BFS% }. \NAMECITE{GAMM}{% Backus:1959:SSP,% Backus:1960:SSP% }. \NAMECITE{general}{% Post:1943:FRG% }. \NAMECITE{generalization}{% Nori:1986:GBF% }. \NAMECITE{generating}{% Nechesov:2022:SQPa,% Nechesov:2022:SQPb% }. \NAMECITE{generator}{% Kusmierz:1974:AMP% }. \NAMECITE{{German}}{% Backus:1963:BAS,% Konstantinov:1973:CTG,% Naur:1962:BAS% }. \NAMECITE{{Germany}}{% Lengauer:1993:AEF% }. \NAMECITE{Glossary}{% Adams:1954:RAC% }. \NAMECITE{Good}{% Halpern:1986:GRS% }. \NAMECITE{Grammars}{% Essalmi:2006:GUV,% Bruggemann-Klein:1993:UERa,% Konstantinov:1973:CTG,% Nechesov:2022:SQPa,% Nechesov:2022:SQPb% }. \NAMECITE{Grammatiken}{% Konstantinov:1973:CTG% }. \NAMECITE{Graphical}{% Essalmi:2006:GUV,% Chaplin:1973:GRB% }. \NAMECITE{Great}{% Laplante:1996:GPC,% Shasha:1998:TML% }. \NAMECITE{greatly}{% Backus:1982:SFL% }. \NAMECITE{Green}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{guy}{% Backus:1979:GAT,% Chen:2016:GAT% }. \NAMECITE{H}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{handling}{% ISO:1998:IITc% }. \NAMECITE{he'd}{% Y:1977:JBF% }. \NAMECITE{held}{% Turner:1990:RTF% }. \NAMECITE{Herausgegeben}{% Backus:1963:BAS% }. \NAMECITE{High}{% Sammet:1981:HIT,% Anonymous:1993:HPF% }. \NAMECITE{Historical}{% Cortada:1987:HDD% }. \NAMECITE{History}{% Allen:1981:HLP,% Backus:1978:HFI,% Backus:1979:HFI,% Booch:2006:OHJ,% Buchholz:1990:CQDa,% Metropolis:1980:HCT,% Sammet:1981:HIT,% Wexelblat:1981:HPL,% Backus:1981:HFI,% Backus:1998:HFI% }. \NAMECITE{Honnef}{% Lengauer:1993:AEF% }. \NAMECITE{House}{% Anonymous:1960:ICI% }. \NAMECITE{ibid}{% Culik:1972:BRJb% }. \NAMECITE{IBM}{% IBM:1953:ISS,% Allen:1981:HLP,% Backus:1954:ISO,% Backus:1954:ISS,% Backus:1954:SDI,% Backus:1956:FAC,% IBM:1959:POM,% Sammet:1981:HIT,% Sheridan:1959:ATC% }. \NAMECITE{ideas}{% Stegmann:1979:PYP% }. \NAMECITE{IEC}{% ISO:2004:DIS,% ANSI:1992:ANSc,% ANSI:1997:AII,% ISO:1994:IIIe,% ISO:1997:IIIa,% ISO:1997:IIIg,% ISO:1998:IITc,% ISO:1998:IITd,% ISO:1999:IIIe,% ISO:2000:IIIe,% ISO:2004:IIIa,% ISO:2010:IIIb% }. \NAMECITE{{II}}{% Backus:1958:APP,% Backus:1975:CNVb,% Backus:1978:HFI,% Backus:1979:HFI,% Backus:1981:HFI,% Backus:1998:HFI% }. \NAMECITE{{III}}{% Backus:1975:CNIa,% Backus:1978:HFI,% Backus:1979:HFI,% Backus:1981:HFI,% Backus:1998:HFI% }. \NAMECITE{{Illinois}}{% Robison:1987:IFPa,% Robison:1987:IFPb% }. \NAMECITE{Implementation}{% McDonald:1989:DSC% }. \NAMECITE{Impressions}{% Backus:1980:PAS% }. \NAMECITE{{Inc.}}{% ANSI:1978:ANSb,% ANSI:1978:ANSd% }. \NAMECITE{India}{% Srinivas:1986:GBF% }. \NAMECITE{inference}{% Aiken:1991:STI% }. \NAMECITE{infinite}{% Dosch:1983:ASB% }. \NAMECITE{Information}{% ANSI:1989:ANSc,% ANSI:1997:AII,% Anonymous:1960:ICI,% ISO:1997:IIIa,% ISO:2000:IIIe,% ISO:2004:DIS,% ISO:2004:IIIa,% ISO:2010:IIIb,% ANSI:1987:ANSd,% ISO:1991:ISI,% ISO:1994:IIIe,% ISO:1997:IIIg,% ISO:1998:IITc,% ISO:1998:IITd,% ISO:1999:IIIe% }. \NAMECITE{Initial}{% ANSI:1969:CFS% }. \NAMECITE{Institute}{% ANSI:1978:ANSb,% ANSI:1978:ANSd% }. \NAMECITE{International}{% Anonymous:1960:ICI,% Backus:1960:SSP,% ISO:1991:ISI,% ISO:2004:DIS,% deBakker:1981:ALP,% Backus:1959:SSP% }. \NAMECITE{Interpreter}{% McDonald:1989:DSC,% Robison:1987:IFPb% }. \NAMECITE{Interview}{% Saphire:1967:IJB% }. \NAMECITE{Introduction}{% Backus:1990:IPL,% Meyer:1990:ITP% }. \NAMECITE{Invented}{% Slater:1987:JBM% }. \NAMECITE{inventor}{% Backus:1998:RI% }. \NAMECITE{Investigation}{% Popov:2024:ABN% }. \NAMECITE{Invited}{% Backus:1981:CSB% }. \NAMECITE{ISO}{% ANSI:1997:AII,% ISO:2004:DIS,% ANSI:1992:ANSc% }. \NAMECITE{ISO/IEC}{% ISO:2004:DIS,% ANSI:1992:ANSc,% ISO:1994:IIIe,% ISO:1997:IIIa,% ISO:1997:IIIg,% ISO:1998:IITc,% ISO:1998:IITd,% ISO:1999:IIIe,% ISO:2000:IIIe,% ISO:2004:IIIa,% ISO:2010:IIIb% }. \NAMECITE{{Italian}}{% Chiarini:1980:BFS% }. \NAMECITE{Items}{% Backus:2003:ILC% }. \NAMECITE{{IV}}{% Backus:1975:CNIb% }. \NAMECITE{J}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{{J.}}{% Culik:1972:BRJa,% Culik:1972:BRJb% }. \NAMECITE{{John}}{% Aiken:2007:MJW,% Anonymous:1994:AJB,% Anonymous:2010:JBF,% Anonymous:2022:JB,% Anonymous:20xx:JBF,% Bjorner:2008:JWB,% Booch:2006:OHJ,% Campbell-Kelly:2007:JB,% Chen:2016:GAT,% Dijkstra:1978:RTA,% IBM:20xx:JB,% Lohr:2007:JWB,% McJones:2017:RJB,% Saphire:1967:IJB,% Slater:1987:JBM,% Stegmann:1979:PYP,% Y:1977:JBF% }. \NAMECITE{{Joseph}}{% Buchholz:1990:CQDa% }. \NAMECITE{Journal}{% Culik:1972:BRJb% }. \NAMECITE{June}{% Anonymous:1960:ICI,% Wexelblat:1981:HPL% }. \NAMECITE{Katz}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{Kerner}{% Geppert:1966:BBJ% }. \NAMECITE{{Konstruktion}}{% Konstantinov:1973:CTG% }. \NAMECITE{L}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{{LALR}}{% DeRemer:1982:ECL% }. \NAMECITE{lambda}{% Revesz:1992:LOE% }. \NAMECITE{lambda-calculus}{% Revesz:1992:LOE% }. \NAMECITE{langages}{% Robinet:1980:LBS% }. \NAMECITE{Language}{% ANSI:1990:DPA,% Aiken:1989:FPD,% Aiken:1994:FPD,% Allen:1981:HLP,% Backus:1958:PPL,% Backus:1960:SSP,% Backus:1963:BAS,% Backus:1973:PLSb,% Backus:1976:MRA,% Backus:1989:FLM,% Backus:1990:IPL,% Bauer:1981:PWS,% Ben-Asher:1995:FPF,% Naur:1960:RALa,% Naur:1963:RRA,% Naur:1997:RRA,% ANSI-X3J3:1987:DPR,% ANSI:1978:ANSb,% ANSI:1978:ANSc,% ANSI:1978:ANSd,% ANSI:1987:ANSc,% ANSI:1987:ANSd,% ANSI:1989:ANSc,% ANSI:1992:ANSc,% ANSI:1997:AII,% Aiken:1991:STI,% Backus:1960:RALa,% Backus:1960:RALb,% Backus:1961:ARA,% Backus:1961:RAL,% Backus:1962:RAL,% Backus:1963:RRAa,% Backus:1963:RRAb,% Backus:1973:PLSa,% Backus:1986:FLM,% Broy:1985:SAS,% Culik:1972:BRJa,% Culik:1972:BRJb,% Dijkstra:1962:PAR,% Dosch:1983:ASB,% Geppert:1966:BBJ,% ISO:1997:IIIa,% ISO:1997:IIIg,% Knuth:1962:BL,% Kusmierz:1974:AMP,% Malita:2011:BLF,% Naur:1962:BAS,% Naur:1964:RRA,% Naur:1965:RRA,% Pagan:1986:FTB,% Backus:1959:SSP,% ISO:2004:DIS,% ISO:2004:IIIa,% ISO:2010:IIIb% }. \NAMECITE{Languages}{% Backus:1973:PLSb,% Busa:1962:SLD,% Hudak:1989:CEA,% Ingerman:1962:TTL,% Johansen:1966:CRD,% Knuth:2003:SPC,% Lucas:1981:FSP,% McJones:1975:CRP,% Meyer:1990:ITP,% Rosen:1966:PSL,% Sammet:1981:HIT,% ANSI:1997:AII,% Backus:1972:MRR,% Backus:1972:RLV,% Backus:1973:CNRa,% Backus:1973:CNRb,% Backus:1973:PLSa,% Backus:1975:CNIa,% Backus:1975:CNIb,% Gorn:1961:SLM,% Hoekstra:2022:CLC,% ISO:1991:ISI,% ISO:1994:IIIe,% ISO:1997:IIIa,% ISO:1997:IIIg,% ISO:1998:IITc,% ISO:1998:IITd,% ISO:1999:IIIe,% ISO:2000:IIIe,% ISO:2004:DIS,% ISO:2004:IIIa,% ISO:2010:IIIb,% Robinet:1980:LBS,% Wexelblat:1981:HPL,% deBakker:1981:ALP% }. \NAMECITE{Lazy}{% Radensky:1987:LEN% }. \NAMECITE{{Lecture}}{% Dijkstra:1978:RTA% }. \NAMECITE{{Lectures}}{% Ashenhurst:1987:ATA% }. \NAMECITE{length}{% ISO:1994:IIIe,% ISO:2000:IIIe% }. \NAMECITE{Letter}{% Knuth:1964:LEB% }. \NAMECITE{Letters}{% Arden:1960:LPR,% Chen:2016:GAT,% Knuth:1962:BL% }. \NAMECITE{Level}{% Backus:1981:AFP,% Backus:1982:AFP,% Backus:1985:FLSa,% Sammet:1981:HIT,% Backus:1974:FLP,% Backus:1981:FLP,% Backus:1982:SFL,% Backus:1985:FLSb% }. \NAMECITE{Lexing}{% Spector:1983:LPM% }. \NAMECITE{Liberated}{% Backus:1978:CPL,% Backus:1987:CPLb,% Backus:1987:CPLa% }. \NAMECITE{{Library}}{% Backus:2003:ILC% }. \NAMECITE{Life}{% Buchholz:1990:CQDa% }. \NAMECITE{line}{% Halpern:1988:SSC% }. \NAMECITE{Linear}{% Backus:1981:AFP,% Backus:1982:AFP,% Buchholz:1990:CQDa,% Backus:1979:ECP% }. \NAMECITE{linked}{% Backus:1982:SFL% }. \NAMECITE{list}{% Revesz:1992:LOE% }. \NAMECITE{list-oriented}{% Revesz:1992:LOE% }. \NAMECITE{Lives}{% Shasha:1998:TML% }. \NAMECITE{logic}{% Hoekstra:2022:CLC% }. \NAMECITE{Logical}{% Torii:1987:LPT% }. \NAMECITE{Look}{% DeRemer:1982:ECL% }. \NAMECITE{Look-Ahead}{% DeRemer:1982:ECL% }. \NAMECITE{M}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{Machinery}{% Culik:1972:BRJa,% Adams:1954:RAC% }. \NAMECITE{make}{% Radensky:1987:LEN% }. \NAMECITE{Man}{% Slater:1987:JBM% }. \NAMECITE{manipulation}{% Robinet:1980:LBS% }. \NAMECITE{Manual}{% Backus:1956:FAC,% Backus:1989:FLM,% Baden:1993:BFU,% IBM:1959:POM,% Backus:1986:FLM% }. \NAMECITE{March}{% Bjorner:2008:JWB,% Busa:1962:SLD% }. \NAMECITE{Mathematical}{% IBM:1954:SIM,% Laning:1954:PTM,% deBakker:1981:ALP,% Backus:1974:FLP,% Backus:1981:FLP% }. \NAMECITE{Mathematik}{% Culik:1972:BRJa,% Culik:1972:BRJb% }. \NAMECITE{matrices}{% Nuding:1970:COR% }. \NAMECITE{may}{% Backus:1982:SFL% }. \NAMECITE{McCarthy}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{MDN}{% Geppert:1966:BBJ% }. \NAMECITE{mechanical}{% Gorn:1961:SLM% }. \NAMECITE{meeting}{% Turner:1990:RTF% }. \NAMECITE{Memorandum}{% Backus:1972:MRR% }. \NAMECITE{Memoriam}{% Aiken:2007:MJW% }. \NAMECITE{memory}{% Backus:1963:BAS% }. \NAMECITE{method}{% Backus:1982:SFL,% Kusmierz:1974:AMP% }. \NAMECITE{{Microprogramming}}{% Buchholz:1990:CQDa% }. \NAMECITE{Minds}{% Shasha:1998:TML% }. \NAMECITE{Mitarb}{% Geppert:1966:BBJ% }. \NAMECITE{{ML}}{% McDonald:1989:DSC% }. \NAMECITE{Modified}{% Backus:1976:MRA% }. \NAMECITE{{Modula}}{% Spector:1983:LPM% }. \NAMECITE{{Modula-2}}{% Spector:1983:LPM% }. \NAMECITE{nach}{% Konstantinov:1973:CTG% }. \NAMECITE{Name}{% Cipra:2000:BCE% }. \NAMECITE{nano}{% Malita:2011:BLF% }. \NAMECITE{nano-devices}{% Malita:2011:BLF% }. \NAMECITE{National}{% ANSI:1990:DPA% }. \NAMECITE{Naur}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Essalmi:2006:GUV,% Geppert:1966:BBJ,% Knuth:1964:LEB,% Popov:2024:ABN,% Rohl:1968:NBN,% Arden:1960:LPR,% Backus:1963:BAS,% Chaplin:1973:GRB,% Konstantinov:1973:CTG,% Nechesov:2022:SQPa,% Nechesov:2022:SQPb% }. \NAMECITE{{Naur-Form}}{% Konstantinov:1973:CTG% }. \NAMECITE{Netherlands}{% deBakker:1981:ALP% }. \NAMECITE{{Neumann}}{% Backus:1978:CPL,% Backus:1987:CPLa,% Backus:1987:CPLb,% Y:1977:JBF% }. \NAMECITE{No}{% Backus:1963:BAS,% Culik:1972:BRJb% }. \NAMECITE{nondeterminism}{% Radensky:1987:LEN% }. \NAMECITE{Normal}{% Ingerman:1962:TTL,% Johansen:1966:CRD,% Knuth:1964:LEB,% Petrick:1965:MBN% }. \NAMECITE{notation}{% Kusmierz:1974:AMP% }. \NAMECITE{note}{% Rohl:1968:NBN% }. \NAMECITE{Notes}{% Williams:1981:NFS,% Williams:1982:NFS,% Backus:1973:CNRa,% Backus:1973:CNRb,% Backus:1975:CNIa,% Backus:1975:CNIb,% Backus:1975:CNVa,% Backus:1975:CNVb,% Buchholz:1990:CQDa% }. \NAMECITE{Numerische}{% Culik:1972:BRJa,% Culik:1972:BRJb% }. \NAMECITE{O}{% Geppert:1966:BBJ% }. \NAMECITE{objects}{% Backus:1974:FLP,% Backus:1981:FLP,% Dosch:1983:ASB% }. \NAMECITE{occasion}{% deBakker:1981:ALP% }. \NAMECITE{October}{% deBakker:1981:ALP% }. \NAMECITE{Oh}{% Weiss:1988:BOP% }. \NAMECITE{Operator}{% IBM:1959:POM% }. \NAMECITE{Optimization}{% Backus:1985:FLSa,% Backus:1985:FLSb% }. \NAMECITE{Oral}{% Booch:2006:OHJ% }. \NAMECITE{oriented}{% Nuding:1970:COR,% Revesz:1992:LOE% }. \NAMECITE{other}{% Backus:1954:ISO% }. \NAMECITE{P}{% Backus:1963:BAS,% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{{P.}}{% Backus:1963:BAS% }. \NAMECITE{P{\=a}nini}{% Ingerman:1967:PBF% }. \NAMECITE{Papers}{% Knuth:2003:SPC,% Laplante:1996:GPC,% Turner:1990:RTF% }. \NAMECITE{Parallel}{% Ben-Asher:1995:FPF% }. \NAMECITE{Paris}{% Anonymous:1960:ICI% }. \NAMECITE{parsing}{% Spector:1983:LPM% }. \NAMECITE{Part}{% ANSI:1997:AII,% ISO:1997:IIIa,% ISO:2000:IIIe,% ISO:2004:DIS,% ISO:2004:IIIa,% ISO:2010:IIIb,% ISO:1994:IIIe,% ISO:1997:IIIg,% ISO:1999:IIIe% }. \NAMECITE{Parts}{% Backus:1989:FLM% }. \NAMECITE{{Pascal}}{% LEcuyer:1987:FFR% }. \NAMECITE{Pathfinder}{% Stegmann:1979:PYP% }. \NAMECITE{Performance}{% Anonymous:1993:HPF,% Backus:1958:APP% }. \NAMECITE{Perlis}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{Personal}{% Backus:1980:PAS% }. \NAMECITE{{Peter}}{% Arden:1960:LPR% }. \NAMECITE{pioneer}{% Stegmann:1979:PYP,% Buchholz:1990:CQDa% }. \NAMECITE{Pioneers}{% Weiss:1988:BOP% }. \NAMECITE{{point}}{% ISO:1998:IITc% }. \NAMECITE{polynomially}{% Nechesov:2022:SQPa,% Nechesov:2022:SQPb% }. \NAMECITE{Portraits}{% Slater:1987:PS% }. \NAMECITE{pp}{% Culik:1972:BRJa,% Culik:1972:BRJb% }. \NAMECITE{practical}{% Radensky:1987:LEN% }. \NAMECITE{Preis}{% Geppert:1966:BBJ% }. \NAMECITE{Preliminary}{% Arden:1960:LPR,% IBM:1959:POM% }. \NAMECITE{Presence}{% Aiken:1995:SST% }. \NAMECITE{presented}{% Gorn:1961:SLM% }. \NAMECITE{primer}{% Dijkstra:1962:PAR% }. \NAMECITE{Problem}{% Cantor:1962:APB,% Torii:1987:LPT,% Post:1943:FRG% }. \NAMECITE{Proceedings}{% Busa:1962:SLD,% Lengauer:1993:AEF,% Srinivas:1986:GBF,% Wexelblat:1981:HPL,% deBakker:1981:ALP% }. \NAMECITE{Processing}{% Anonymous:1960:ICI,% Busa:1962:SLD,% Cortada:1987:HDD% }. \NAMECITE{Processor}{% Allen:1981:HLP% }. \NAMECITE{processors}{% Gorn:1961:SLM% }. \NAMECITE{prof}{% deBakker:1981:ALP% }. \NAMECITE{Program}{% Backus:1985:FLSa,% Laning:1954:PTM,% Backus:1979:ECP,% Backus:1981:CSB,% Backus:1985:FLSb,% Kusmierz:1974:AMP% }. \NAMECITE{program-generator}{% Kusmierz:1974:AMP% }. \NAMECITE{programmazione}{% Chiarini:1980:BFS% }. \NAMECITE{Programmer}{% Backus:1956:FAC% }. \NAMECITE{Programming}{% ANSI:1990:DPA,% ANSI:1997:AII,% Adams:1954:RAC,% Backus:1958:PPL,% Backus:1973:PLSa,% Backus:1973:PLSb,% Backus:1978:CPL,% Backus:1980:PAS,% Backus:1987:CPLb,% Backus:1990:IPL,% Bauer:1956:UAP,% Bauer:1981:PWS,% Ben-Asher:1995:FPF,% Hudak:1989:CEA,% ISO:1997:IIIa,% ISO:2000:IIIe,% ISO:2004:DIS,% ISO:2004:IIIa,% ISO:2010:IIIb,% Lucas:1981:FSP,% Meyer:1990:ITP,% Randell:1991:PBB,% Robison:1987:IFPa,% Rosen:1966:PSL,% Sammet:1981:HIT,% Torii:1987:LPT,% Williams:1982:NFS,% ANSI-X3J3:1987:DPR,% ANSI:1978:ANSb,% ANSI:1978:ANSc,% ANSI:1978:ANSd,% ANSI:1987:ANSc,% ANSI:1987:ANSd,% ANSI:1989:ANSc,% ANSI:1992:ANSc,% Backus:1954:ISO,% Backus:1958:APP,% Backus:1972:RLV,% Backus:1975:CNVa,% Backus:1982:SFL,% Backus:1987:CPLa,% Broy:1985:SAS,% Chiarini:1980:BFS,% Dosch:1983:ASB,% ISO:1991:ISI,% Pagan:1986:FTB,% Robison:1987:IFPb,% Stegmann:1979:PYP,% Turner:1990:RTF,% Wexelblat:1981:HPL,% Williams:1981:NFS,% Buchholz:1990:CQDa,% ISO:1994:IIIe,% ISO:1997:IIIg,% ISO:1998:IITc,% ISO:1998:IITd,% ISO:1999:IIIe,% Backus:1972:MRR% }. \NAMECITE{Programs}{% Aiken:1995:SST,% Backus:1978:CPL,% Backus:1981:AFP,% Backus:1982:AFP,% Backus:1987:CPLb,% LEcuyer:1987:FFR,% Williams:1982:DAF,% Backus:1974:FLP,% Backus:1981:FLP,% Backus:1987:CPLa,% Williams:1980:DAF% }. \NAMECITE{Progress}{% ANSI:1969:CFS% }. \NAMECITE{Project}{% ANSI:1987:ANSc,% Aiken:1989:FPD,% Aiken:1994:FPD% }. \NAMECITE{properties}{% Backus:1958:APP,% Backus:1975:CNIb% }. \NAMECITE{Property}{% McJones:1975:CRP,% Backus:1975:CNIb% }. \NAMECITE{Proposal}{% Backus:1958:PPL% }. \NAMECITE{Proposed}{% ANSI:1987:DPA,% ANSI:1990:DPA,% Backus:1959:SSP,% ANSI-X3J3:1987:DPR,% ANSI:1987:ANSc,% Backus:1960:SSP% }. \NAMECITE{Queries}{% Buchholz:1990:CQDa% }. \NAMECITE{questions}{% Nechesov:2022:SQPa,% Nechesov:2022:SQPb% }. \NAMECITE{{R}}{% ANSI:1987:ANSc% }. \NAMECITE{radically}{% Backus:1982:SFL% }. \NAMECITE{Reasoning}{% Backus:1981:AFP,% Backus:1982:AFP% }. \NAMECITE{Receives}{% Lewin:1994:FDR% }. \NAMECITE{Recipient}{% Anonymous:2010:JBF% }. \NAMECITE{recipients}{% Backus:1972:MRR% }. \NAMECITE{Recognition}{% Johansen:1966:CRD% }. \NAMECITE{Reconsidered}{% Steele:1993:FCE% }. \NAMECITE{recursion}{% Radensky:1989:SRE% }. \NAMECITE{{Red}}{% Backus:1973:CNRa,% Backus:1973:CNRb,% Backus:1975:CNIa,% Backus:1975:CNIb% }. \NAMECITE{Reduction}{% Backus:1972:RLV,% Backus:1972:MRR% }. \NAMECITE{reductions}{% Post:1943:FRG% }. \NAMECITE{Reference}{% Backus:1956:FAC% }. \NAMECITE{Regular}{% Johansen:1966:CRD,% Bruggemann-Klein:1993:UERa% }. \NAMECITE{Remembering}{% McJones:2017:RJB% }. \NAMECITE{Report}{% ANSI:1971:CFS,% Adams:1954:RAC,% Arden:1960:LPR,% Backus:1960:RALa,% Backus:1960:RALb,% Backus:1961:ARA,% Backus:1961:RAL,% Backus:1962:RAL,% Backus:1976:MRA,% Naur:1960:RALa,% Naur:1963:RRA,% Naur:1997:RRA,% Backus:1963:RRAa,% Backus:1963:RRAb,% Culik:1972:BRJb,% Dijkstra:1962:PAR,% Naur:1964:RRA,% Naur:1965:RRA,% Backus:1963:BAS,% Culik:1972:BRJa,% Geppert:1966:BBJ,% Naur:1962:BAS% }. \NAMECITE{representation}{% Chaplin:1973:GRB,% Nuding:1970:COR% }. \NAMECITE{representations}{% Nechesov:2022:SQPa,% Nechesov:2022:SQPb% }. \NAMECITE{Research}{% Turner:1990:RTF% }. \NAMECITE{{Response}}{% Buchholz:1990:CQDa% }. \NAMECITE{Restless}{% Backus:1998:RI% }. \NAMECITE{retirement}{% deBakker:1981:ALP% }. \NAMECITE{Rev}{% Baden:1993:BFU% }. \NAMECITE{Review}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Dijkstra:1978:RTA% }. \NAMECITE{Revised}{% Backus:1963:RRAa,% Backus:1963:RRAb,% Naur:1963:RRA,% Naur:1964:RRA,% Naur:1965:RRA,% Naur:1997:RRA,% ANSI-X3J3:1987:DPR,% Culik:1972:BRJb% }. \NAMECITE{Revision}{% ANSI:1978:ANSb,% ANSI:1978:ANSd,% ANSI:1987:ANSd,% ANSI:1987:ANSc% }. \NAMECITE{Revolution}{% Backus:1983:CRC% }. \NAMECITE{Rewrite}{% Halpern:1990:CRR,% Halpern:1985:DSR,% Halpern:1986:GRS% }. \NAMECITE{{Rome}}{% Busa:1962:SLD% }. \NAMECITE{{Rosser}}{% Backus:1975:CNIb,% McJones:1975:CRP,% Revesz:1992:LOE% }. \NAMECITE{Rules}{% Halpern:1990:CRR,% LEcuyer:1987:FFR,% Halpern:1985:DSR% }. \NAMECITE{{Russian}}{% Naur:1965:RRA% }. \NAMECITE{Rutishauser}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{S}{% Geppert:1966:BBJ% }. \NAMECITE{{S8}}{% ANSI:1987:ANSd% }. \NAMECITE{Sacrificing}{% Halpern:1988:SSC% }. \NAMECITE{Safe}{% Aiken:1995:SST% }. \NAMECITE{Samelson}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{San}{% Saphire:1967:IJB% }. \NAMECITE{satisfying}{% Revesz:1992:LOE% }. \NAMECITE{Schemes}{% Radensky:1989:SRE% }. \NAMECITE{Science}{% Buchholz:1990:CQDa,% Laplante:1996:GPC,% Backus:1981:CSB,% Srinivas:1986:GBF% }. \NAMECITE{Scientists}{% Shasha:1998:TML% }. \NAMECITE{Second}{% ANSI:1971:CFS% }. \NAMECITE{Selected}{% Knuth:2003:SPC% }. \NAMECITE{Semantic}{% Aiken:1995:SST% }. \NAMECITE{Semantics}{% Backus:1959:SSP,% Backus:1960:SSP,% Backus:1973:PLSb,% Backus:1985:FLSa,% Lucas:1981:FSP,% McDonald:1989:DSC,% Backus:1973:PLSa,% Backus:1985:FLSb,% Dosch:1983:ASB,% Halpern:1985:DSR% }. \NAMECITE{September}{% Lengauer:1993:AEF% }. \NAMECITE{set}{% Gorn:1961:SLM% }. \NAMECITE{Sets}{% DeRemer:1982:ECL% }. \NAMECITE{{SGML}}{% Bruggemann-Klein:1993:UERa% }. \NAMECITE{{SIGPLAN}}{% Wexelblat:1981:HPL% }. \NAMECITE{Silicon}{% Slater:1987:PS% }. \NAMECITE{simplicity}{% Halpern:1988:SSC% }. \NAMECITE{simplify}{% Backus:1982:SFL% }. \NAMECITE{sistema}{% Chiarini:1980:BFS% }. \NAMECITE{Software}{% Backus:1982:SFL,% Srinivas:1986:GBF% }. \NAMECITE{solving}{% Backus:1979:ECP% }. \NAMECITE{Some}{% Backus:1980:PAS,% Nechesov:2022:SQPa,% Nechesov:2022:SQPb% }. \NAMECITE{sont}{% Robinet:1980:LBS% }. \NAMECITE{Specification}{% Gorn:1961:SLM,% Broy:1985:SAS% }. \NAMECITE{Specifications}{% IBM:1954:SIM% }. \NAMECITE{Spectrum}{% Bauer:1981:PWS% }. \NAMECITE{{Speedcoding}}{% Backus:1954:ISO,% Backus:1954:ISS,% IBM:1953:ISS% }. \NAMECITE{Sprache}{% Backus:1963:BAS,% Geppert:1966:BBJ,% Naur:1962:BAS% }. \NAMECITE{Stand}{% Buchholz:1990:CQDa% }. \NAMECITE{Standard}{% ANSI:1966:ANS,% ISO:2004:DIS,% ISO:1991:ISI,% ANSI-X3J3:1987:DPR,% ANSI:1978:ANSb,% ANSI:1978:ANSc,% ANSI:1978:ANSd,% ANSI:1987:ANSc,% ANSI:1987:ANSd,% ANSI:1989:ANSc,% ANSI:1990:DPA,% ANSI:1992:ANSc,% McDonald:1989:DSC% }. \NAMECITE{Standards}{% ANSI:1969:CFS,% ANSI:1971:CFS% }. \NAMECITE{Static}{% Aiken:1991:STI% }. \NAMECITE{still}{% Stegmann:1979:PYP% }. \NAMECITE{Story}{% Buchholz:1990:CQDa% }. \NAMECITE{Strategies}{% Halpern:1990:CRR,% Halpern:1986:GRS% }. \NAMECITE{strings}{% ISO:1994:IIIe,% ISO:2000:IIIe% }. \NAMECITE{Structured}{% Broy:1985:SAS% }. \NAMECITE{Study}{% Buchholz:1990:CQDa% }. \NAMECITE{Style}{% Backus:1978:CPL,% Backus:1987:CPLb,% Williams:1982:NFS,% Backus:1987:CPLa,% Williams:1981:NFS% }. \NAMECITE{subcommittee}{% Gorn:1961:SLM% }. \NAMECITE{suggested}{% Ingerman:1967:PBF% }. \NAMECITE{Supplement}{% Backus:1963:BAS% }. \NAMECITE{Symbolic}{% Busa:1962:SLD% }. \NAMECITE{Symposium}{% Busa:1962:SLD,% Lengauer:1993:AEF,% deBakker:1981:ALP% }. \NAMECITE{Syntax}{% Backus:1959:SSP,% Backus:1960:SSP,% Ingerman:1962:TTL% }. \NAMECITE{System}{% Backus:1954:ISS,% Backus:1954:SDI,% Backus:1955:CSD,% Backus:1956:FAC,% Backus:1996:FAC,% IBM:1953:ISS,% IBM:1954:SIM,% IBM:1959:POM,% Backus:1957:FAC,% Backus:1975:CNVa,% Chiarini:1980:BFS,% Sheridan:1959:ATC% }. \NAMECITE{syst{\`e}mes}{% Robinet:1980:LBS% }. \NAMECITE{Systems}{% ANSI:1989:ANSc,% Cantor:1962:APB,% Rosen:1966:PSL,% ANSI:1987:ANSd,% Backus:1954:ISO,% Backus:1958:APP,% Radensky:1987:LEN,% Radensky:1989:SRE,% Robinet:1980:LBS% }. \NAMECITE{takes}{% Backus:1979:GAT,% Chen:2016:GAT% }. \NAMECITE{teaching}{% Pagan:1986:FTB% }. \NAMECITE{Technical}{% Sammet:1981:HIT% }. \NAMECITE{Technique}{% Aiken:1995:SST,% Ingerman:1962:TTL% }. \NAMECITE{Techniques}{% Backus:1955:CSD% }. \NAMECITE{Technology}{% Allen:1981:HLP,% ANSI:1997:AII,% ISO:1991:ISI,% ISO:1994:IIIe,% ISO:1997:IIIa,% ISO:1997:IIIg,% ISO:1998:IITc,% ISO:1998:IITd,% ISO:1999:IIIe,% ISO:2000:IIIe,% ISO:2004:DIS,% ISO:2004:IIIa,% ISO:2010:IIIb,% Srinivas:1986:GBF% }. \NAMECITE{Telegram}{% Torii:1987:LPT% }. \NAMECITE{Terminology}{% Adams:1954:RAC% }. \NAMECITE{Texas}{% Turner:1990:RTF% }. \NAMECITE{Their}{% Shasha:1998:TML,% Gorn:1961:SLM,% Johansen:1966:CRD,% McDonald:1989:DSC% }. \NAMECITE{theorem}{% Revesz:1992:LOE% }. \NAMECITE{theoretical}{% Srinivas:1986:GBF% }. \NAMECITE{Theory}{% Meyer:1990:ITP% }. \NAMECITE{Three}{% Backus:1975:CNVb% }. \NAMECITE{Top}{% Cipra:2000:BCE,% Lewin:1994:FDR% }. \NAMECITE{topics}{% Turner:1990:RTF% }. \NAMECITE{TR}{% ISO:1998:IITc,% ISO:1998:IITd,% Konstantinov:1973:CTG,% Konstantinov:1973:CTG% }. \NAMECITE{{TR}-grammars}{% Konstantinov:1973:CTG% }. \NAMECITE{TR-Grammatiken}{% Konstantinov:1973:CTG% }. \NAMECITE{Transformation}{% Backus:1985:FLSa,% Backus:1985:FLSb% }. \NAMECITE{Transforming}{% Aiken:1995:SST% }. \NAMECITE{{TRANSlating}}{% IBM:1954:SIM% }. \NAMECITE{Translation}{% Ingerman:1962:TTL,% Laning:1954:PTM% }. \NAMECITE{Translator}{% Anonymous:20xx:JBF,% Sheridan:1959:ATC% }. \NAMECITE{transpose}{% Backus:1975:CNVb% }. \NAMECITE{tree}{% Robinet:1980:LBS% }. \NAMECITE{tree-manipulation}{% Robinet:1980:LBS% }. \NAMECITE{tribute}{% deBakker:1981:ALP% }. \NAMECITE{Turanski}{% Backus:1963:BAS,% Backus:1963:BAS% }. \NAMECITE{Turing}{% Ashenhurst:1987:ATA,% Dijkstra:1978:RTA% }. \NAMECITE{Tutorial}{% Robison:1987:IFPa% }. \NAMECITE{{Twentieth}}{% Metropolis:1980:HCT% }. \NAMECITE{Twenty}{% IBM:1957:TYF,% Ashenhurst:1987:ATA% }. \NAMECITE{Twenty-five}{% IBM:1957:TYF% }. \NAMECITE{Two}{% Ben-Asher:1995:FPF% }. \NAMECITE{Two-Dimensional}{% Ben-Asher:1995:FPF% }. \NAMECITE{Type}{% Backus:1954:SDI,% IBM:1953:ISS,% Aiken:1991:STI,% ISO:1998:IITd,% Pagan:1986:FTB% }. \NAMECITE{typed}{% Aiken:1991:STI% }. \NAMECITE{u}{% Geppert:1966:BBJ% }. \NAMECITE{{\"U}bers}{% Geppert:1966:BBJ% }. \NAMECITE{{UML}}{% Essalmi:2006:GUV% }. \NAMECITE{Unambiguity}{% Bruggemann-Klein:1993:UERa% }. \NAMECITE{unclog}{% Y:1977:JBF% }. \NAMECITE{{Unesco}}{% Anonymous:1960:ICI% }. \NAMECITE{{University}}{% Turner:1990:RTF% }. \NAMECITE{unofficial}{% ANSI:1978:FUX% }. \NAMECITE{Use}{% Bauer:1956:UAP% }. \NAMECITE{User}{% Baden:1993:BFU% }. \NAMECITE{variable}{% Backus:1972:MRR,% Backus:1972:RLV,% Backus:1975:CNVa% }. \NAMECITE{variable-free}{% Backus:1972:RLV,% Backus:1975:CNVa% }. \NAMECITE{Varying}{% ISO:2000:IIIe,% ISO:1994:IIIe% }. \NAMECITE{Vauquois}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{{VDL}}{% Lucas:1981:FSP% }. \NAMECITE{Verlag}{% Geppert:1966:BBJ% }. \NAMECITE{{Version}}{% Chiarini:1980:BFS% }. \NAMECITE{{Versione}}{% Chiarini:1980:BFS% }. \NAMECITE{vi}{% Geppert:1966:BBJ% }. \NAMECITE{View}{% Essalmi:2006:GUV% }. \NAMECITE{Violations}{% Popov:2024:ABN% }. \NAMECITE{vol}{% Culik:1972:BRJa,% Culik:1972:BRJb% }. \NAMECITE{vs}{% Knuth:1964:LEB% }. \NAMECITE{W}{% Aiken:2007:MJW,% Chen:2016:GAT,% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ,% Lohr:2007:JWB% }. \NAMECITE{Warner}{% Bjorner:2008:JWB% }. \NAMECITE{Wegstein}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{Where}{% Halpern:1988:SSC% }. \NAMECITE{{Whiggism}}{% Buchholz:1990:CQDa% }. \NAMECITE{Whirlwind}{% Buchholz:1990:CQDa,% Buchholz:1990:CQDa,% Laning:1954:PTM% }. \NAMECITE{Who}{% Slater:1987:JBM% }. \NAMECITE{Whose}{% Ingerman:1962:TTL% }. \NAMECITE{Wide}{% Bauer:1981:PWS% }. \NAMECITE{Wijngaarden}{% Culik:1972:BRJa,% Culik:1972:BRJb,% deBakker:1981:ALP% }. \NAMECITE{Wijngarden}{% Geppert:1966:BBJ% }. \NAMECITE{William}{% Backus:1963:BAS,% Backus:1963:BAS% }. \NAMECITE{Woodger}{% Culik:1972:BRJa,% Culik:1972:BRJb,% Geppert:1966:BBJ% }. \NAMECITE{Work}{% Buchholz:1990:CQDa% }. \NAMECITE{written}{% Kusmierz:1974:AMP% }. \NAMECITE{wrong}{% Backus:1981:CSB% }. \NAMECITE{{X3}}{% ANSI:1987:ANSc% }. \NAMECITE{{X3.10}}{% ANSI:1966:ANS% }. \NAMECITE{{X3.10-1966}}{% ANSI:1966:ANS% }. \NAMECITE{{X3.198}}{% ANSI:1990:DPA,% ANSI:1992:ANSc% }. \NAMECITE{{X3.198-1992}}{% ANSI:1992:ANSc% }. \NAMECITE{{X3.198-199x}}{% ANSI:1990:DPA% }. \NAMECITE{{x3.4}}{% Gorn:1961:SLM% }. \NAMECITE{X3.9}{% ANSI:1978:ANSb,% ANSI:1978:ANSd,% ANSI:1987:ANSd,% ANSI:1966:AF,% ANSI:1978:ANSb,% ANSI:1978:ANSd,% ANSI:1987:ANSc,% ANSI:1987:ANSd,% ANSI:1987:DPA% }. \NAMECITE{{X3.9-1966}}{% ANSI:1966:AF,% ANSI:1978:ANSb,% ANSI:1978:ANSd% }. \NAMECITE{X3.9-1978}{% ANSI:1978:ANSb,% ANSI:1978:ANSd,% ANSI:1987:ANSc,% ANSI:1987:ANSd% }. \NAMECITE{X3.9-198X}{% ANSI:1987:ANSd,% ANSI:1987:DPA% }. \NAMECITE{{X3J3}}{% ANSI:1978:FUX% }. \NAMECITE{{X3J3/}}{% ANSI:1978:FUX% }. \NAMECITE{years}{% Ashenhurst:1987:ATA,% IBM:1957:TYF,% Stegmann:1979:PYP% }. \NAMECITE{Zur}{% Backus:1963:BAS% }. \NAMECITE{{Zurich}}{% Backus:1959:SSP,% Backus:1960:SSP% }.