%%======================================================================
%% 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@sunburst.math.utah.edu on Fri Nov 25 08:00:25 MST 2005
%%======================================================================

\ifx \NAMECITE \undefined % User can override this definition 
    \def \NAMECITE #1#2{{\bf #1}~\cite{#2}}
\fi



\NAMECITE{{1997}}{%
		ACM:1997:PSA%
		}.


\NAMECITE{'99}{%
		Delis:1999:PAS%
		}.


\NAMECITE{{A.}}{%
		Pnueli:1997:MTA%
		}.
\NAMECITE{{ACM}}{%
		Anonymous:1987:ATA,%
		Brooks:1999:DDA,%
		Cerf:2005:ATL,%
		Delis:1999:PAS,%
		Engelbart:1998:CIF,%
		Kay:2004:ATL,%
		Peled:1988:JCA%
		}.
\NAMECITE{Algebra}{%
		Backus:1978:CPL%
		}.
\NAMECITE{Algorithm}{%
		Tarjan:1987:AD%
		}.
\NAMECITE{Algorithmic}{%
		Perlis:1967:SAS%
		}.
\NAMECITE{Analyst}{%
		Wilkinson:1971:SCN%
		}.
\NAMECITE{annual}{%
		ACM:1997:PSA%
		}.
\NAMECITE{arithmetic}{%
		Kahan:1990:BPA%
		}.
\NAMECITE{Art}{%
		Knuth:1974:CPA%
		}.
\NAMECITE{artificial}{%
		McCarthy:1987:GAI%
		}.
\NAMECITE{Assessing}{%
		Cerf:2005:ATL%
		}.
\NAMECITE{August}{%
		ACM:1997:PSA%
		}.
\NAMECITE{Award}{%
		Anonymous:1987:ATA,%
		Brooks:1999:DDA,%
		Cocke:1988:SPS,%
		Engelbart:1998:CIF,%
		Feigenbaum:1996:TAL,%
		Hartmanis:1994:TAL,%
		Milner:1993:EIT,%
		Pnueli:1997:MTA,%
		Reddy:1996:TAL,%
		Stearns:1994:TAL,%
		Peled:1988:JCA%
		}.


\NAMECITE{Barbara}{%
		ACM:1997:PSA%
		}.
\NAMECITE{Be}{%
		Backus:1978:CPL,%
		Kay:2004:ATL%
		}.
\NAMECITE{Becomes}{%
		Feigenbaum:1996:TAL%
		}.
\NAMECITE{Better}{%
		Kahan:1990:BPA%
		}.
\NAMECITE{Bootstrapping}{%
		Engelbart:1998:CIF%
		}.
\NAMECITE{building}{%
		Corbato:1991:BSW%
		}.


\NAMECITE{California}{%
		ACM:1997:PSA%
		}.
\NAMECITE{Can}{%
		Backus:1978:CPL%
		}.
\NAMECITE{Child}{%
		Kay:2004:ATL%
		}.
\NAMECITE{Clothes}{%
		Hoare:1981:EOC%
		}.
\NAMECITE{{Cocke}}{%
		Peled:1988:JCA%
		}.
\NAMECITE{Collective}{%
		Engelbart:1998:CIF%
		}.
\NAMECITE{Combinatorics}{%
		Karp:1986:CCR%
		}.
\NAMECITE{Comments}{%
		Wilkinson:1971:SCN%
		}.
\NAMECITE{Complexity}{%
		Cook:1983:OCC,%
		Hartmanis:1994:TAL,%
		Karp:1986:CCR%
		}.
\NAMECITE{Computational}{%
		Cook:1983:OCC,%
		Hartmanis:1994:TAL%
		}.
\NAMECITE{Computer}{%
		Hamming:1969:OMV,%
		Hartmanis:1994:TAL,%
		Hopcroft:1987:CSE,%
		Knuth:1974:CPA,%
		Minsky:1970:FCC,%
		Newell:1976:CSE,%
		Wirth:1985:PLD%
		}.
\NAMECITE{Computers}{%
		Wilkes:1968:CTN%
		}.
\NAMECITE{Computing}{%
		Kay:2004:ATL,%
		ACM:1997:PSA%
		}.
\NAMECITE{Conference}{%
		Delis:1999:PAS%
		}.
\NAMECITE{construction}{%
		Wirth:1985:PLD%
		}.
\NAMECITE{Content}{%
		Minsky:1970:FCC%
		}.
\NAMECITE{contributions}{%
		Broy:2002:SPC%
		}.
\NAMECITE{{Corbat{\'o}}}{%
		Frenkel:1991:IFJ%
		}.
\NAMECITE{Cryptology}{%
		Shamir:2003:TLC%
		}.


\NAMECITE{Dahl}{%
		Madsen:2002:SSO%
		}.
\NAMECITE{Data}{%
		Delis:1999:PAS%
		}.
\NAMECITE{Database}{%
		Codd:1982:RDP%
		}.
\NAMECITE{Days}{%
		Adleman:2003:TLP,%
		Rivest:2003:TLE%
		}.
\NAMECITE{describe}{%
		Kahan:1990:BPA%
		}.
\NAMECITE{Design}{%
		Brooks:1999:DDA,%
		Tarjan:1987:AD,%
		Wirth:1985:PLD%
		}.
\NAMECITE{Discipline}{%
		Hopcroft:1987:CSE%
		}.
\NAMECITE{distributed}{%
		ACM:1997:PSA%
		}.
\NAMECITE{dozen}{%
		Gray:1999:WND%
		}.
\NAMECITE{Dream}{%
		Reddy:1996:TAL%
		}.


\NAMECITE{Early}{%
		Rivest:2003:TLE%
		}.
\NAMECITE{Elements}{%
		Milner:1993:EIT%
		}.
\NAMECITE{Emergence}{%
		Hopcroft:1987:CSE%
		}.
\NAMECITE{{Emperor}}{%
		Hoare:1981:EOC%
		}.
\NAMECITE{Empirical}{%
		Newell:1976:CSE%
		}.
\NAMECITE{engineering}{%
		Broy:2002:SPC,%
		Pnueli:1997:MTA%
		}.
\NAMECITE{Evolution}{%
		Cerf:2005:ATL%
		}.


\NAMECITE{fail}{%
		Corbato:1991:BSW%
		}.
\NAMECITE{{Fernando}}{%
		Frenkel:1991:IFJ%
		}.
\NAMECITE{first}{%
		Anonymous:1987:ATA%
		}.
\NAMECITE{Form}{%
		Minsky:1970:FCC%
		}.
\NAMECITE{Foundation}{%
		Codd:1982:RDP%
		}.
\NAMECITE{Framework}{%
		Engelbart:1998:CIF%
		}.
\NAMECITE{Functional}{%
		Backus:1978:CPL%
		}.
\NAMECITE{Future}{%
		Cerf:2005:ATL,%
		Pnueli:1997:MTA%
		}.


\NAMECITE{Generality}{%
		McCarthy:1987:GAI%
		}.


\NAMECITE{Humble}{%
		Dijkstra:1972:HP%
		}.


\NAMECITE{{IBM}}{%
		Brooks:2002:IOS%
		}.
\NAMECITE{Inquiry}{%
		Newell:1976:CSE%
		}.
\NAMECITE{intelligence}{%
		McCarthy:1987:GAI%
		}.
\NAMECITE{interaction}{%
		Milner:1993:EIT%
		}.
\NAMECITE{International}{%
		Delis:1999:PAS%
		}.
\NAMECITE{{Internet}}{%
		Cerf:2005:ATL%
		}.
\NAMECITE{Interview}{%
		Frenkel:1991:IFJ,%
		Frenkel:1993:IRM%
		}.
\NAMECITE{Introductions}{%
		Kay:2004:ATL%
		}.
\NAMECITE{{IQ}}{%
		Engelbart:1998:CIF%
		}.


\NAMECITE{Johan}{%
		Madsen:2002:SSO%
		}.
\NAMECITE{{John}}{%
		Peled:1988:JCA%
		}.
\NAMECITE{Jos{\'e}}{%
		Frenkel:1991:IFJ%
		}.
\NAMECITE{June}{%
		Delis:1999:PAS%
		}.


\NAMECITE{Kristen}{%
		Madsen:2002:SSO%
		}.


\NAMECITE{language}{%
		Wirth:1985:PLD%
		}.
\NAMECITE{Languages}{%
		Scott:1977:LPL%
		}.
\NAMECITE{Learned}{%
		Cerf:2005:ATL%
		}.
\NAMECITE{Lecture}{%
		Stearns:1994:TAL,%
		Adleman:2003:TLP,%
		Brooks:1999:DDA,%
		Cerf:2005:ATL,%
		Cocke:1988:SPS,%
		Engelbart:1998:CIF,%
		Feigenbaum:1996:TAL,%
		Hartmanis:1994:TAL,%
		Kay:2004:ATL,%
		Milner:1993:EIT,%
		Pnueli:1997:MTA,%
		Reddy:1996:TAL,%
		Rivest:2003:TLE,%
		Shamir:2003:TLC%
		}.
\NAMECITE{{Lectures}}{%
		Anonymous:1987:ATA%
		}.
\NAMECITE{Lessons}{%
		Cerf:2005:ATL%
		}.
\NAMECITE{Liberated}{%
		Backus:1978:CPL%
		}.
\NAMECITE{Logic}{%
		Scott:1977:LPL%
		}.


\NAMECITE{M}{%
		Peled:1988:JCA,%
		Pnueli:1997:MTA%
		}.
\NAMECITE{Man}{%
		Hamming:1969:OMV%
		}.
\NAMECITE{Management}{%
		Delis:1999:PAS%
		}.
\NAMECITE{memory}{%
		Madsen:2002:SSO%
		}.
\NAMECITE{Micropipelines}{%
		Sutherland:1989:M%
		}.
\NAMECITE{{Milner}}{%
		Frenkel:1993:IRM%
		}.


\NAMECITE{Nature}{%
		Hartmanis:1994:TAL%
		}.
\NAMECITE{Navigator}{%
		Bachman:1973:PN%
		}.
\NAMECITE{{Neumann}}{%
		Backus:1978:CPL%
		}.
\NAMECITE{next}{%
		Gray:1999:WND%
		}.
\NAMECITE{Notation}{%
		Iverson:1980:NTT%
		}.
\NAMECITE{Numerical}{%
		Wilkinson:1971:SCN%
		}.
\NAMECITE{{Nygaard}}{%
		Madsen:2002:SSO%
		}.


\NAMECITE{Object}{%
		Madsen:2002:SSO%
		}.
\NAMECITE{Object-Orientation}{%
		Madsen:2002:SSO%
		}.
\NAMECITE{Old}{%
		Hoare:1981:EOC%
		}.
\NAMECITE{Ole-Johan}{%
		Madsen:2002:SSO%
		}.
\NAMECITE{One}{%
		Hamming:1969:OMV%
		}.
\NAMECITE{Operating}{%
		Brooks:2002:IOS%
		}.
\NAMECITE{Orientation}{%
		Madsen:2002:SSO%
		}.
\NAMECITE{our}{%
		Engelbart:1998:CIF%
		}.
\NAMECITE{Overview}{%
		Cook:1983:OCC%
		}.


\NAMECITE{{PA}}{%
		Delis:1999:PAS%
		}.
\NAMECITE{Paradigms}{%
		Floyd:1979:PP%
		}.
\NAMECITE{{\penalty0{}360}}{%
		Brooks:2002:IOS%
		}.
\NAMECITE{performance}{%
		Cocke:1988:SPS%
		}.
\NAMECITE{Philadelphia}{%
		Delis:1999:PAS%
		}.
\NAMECITE{pioneers}{%
		Broy:2002:SPC%
		}.
\NAMECITE{Play}{%
		Kay:2004:ATL%
		}.
\NAMECITE{Possibilities}{%
		Cerf:2005:ATL%
		}.
\NAMECITE{Possible}{%
		Reddy:1996:TAL%
		}.
\NAMECITE{Practical}{%
		Codd:1982:RDP%
		}.
\NAMECITE{Pre}{%
		Adleman:2003:TLP%
		}.
\NAMECITE{prescribe}{%
		Kahan:1990:BPA%
		}.
\NAMECITE{Principles}{%
		ACM:1997:PSA%
		}.
\NAMECITE{problems}{%
		Gray:1999:WND%
		}.
\NAMECITE{Proceedings}{%
		Delis:1999:PAS,%
		ACM:1997:PSA%
		}.
\NAMECITE{processors}{%
		Cocke:1988:SPS%
		}.
\NAMECITE{Productivity}{%
		Codd:1982:RDP%
		}.
\NAMECITE{profession}{%
		Pnueli:1997:MTA%
		}.
\NAMECITE{Programmer}{%
		Bachman:1973:PN,%
		Dijkstra:1972:HP%
		}.
\NAMECITE{Programming}{%
		Backus:1978:CPL,%
		Floyd:1979:PP,%
		Knuth:1974:CPA,%
		Scott:1977:LPL,%
		Wirth:1985:PLD%
		}.
\NAMECITE{Programs}{%
		Backus:1978:CPL%
		}.


\NAMECITE{randomness}{%
		Karp:1986:CCR%
		}.
\NAMECITE{recipient}{%
		Peled:1988:JCA%
		}.
\NAMECITE{Reconsider}{%
		Stearns:1994:TAL%
		}.
\NAMECITE{Reflections}{%
		Ritchie:1984:RSR,%
		Thompson:1984:RTT%
		}.
\NAMECITE{Relational}{%
		Codd:1982:RDP%
		}.
\NAMECITE{remaining}{%
		Gray:1999:WND%
		}.
\NAMECITE{Report}{%
		Shamir:2003:TLC%
		}.
\NAMECITE{Research}{%
		Ritchie:1984:RSR%
		}.
\NAMECITE{{Robin}}{%
		Frenkel:1993:IRM%
		}.
\NAMECITE{{RSA}}{%
		Adleman:2003:TLP,%
		Rivest:2003:TLE%
		}.


\NAMECITE{Santa}{%
		ACM:1997:PSA%
		}.
\NAMECITE{{Scandinavian}}{%
		Madsen:2002:SSO%
		}.
\NAMECITE{School}{%
		Madsen:2002:SSO%
		}.
\NAMECITE{Science}{%
		Hamming:1969:OMV,%
		Hartmanis:1994:TAL,%
		Hopcroft:1987:CSE,%
		Minsky:1970:FCC,%
		Newell:1976:CSE%
		}.
\NAMECITE{scientific}{%
		Cocke:1988:SPS%
		}.
\NAMECITE{Search}{%
		Newell:1976:CSE,%
		Cocke:1988:SPS%
		}.
\NAMECITE{Should}{%
		Kay:2004:ATL%
		}.
\NAMECITE{{SIGMOD}}{%
		Delis:1999:PAS%
		}.
\NAMECITE{sixteenth}{%
		ACM:1997:PSA%
		}.
\NAMECITE{Society}{%
		Engelbart:1998:CIF%
		}.
\NAMECITE{Software}{%
		Broy:2002:SPC,%
		Ritchie:1984:RSR%
		}.
\NAMECITE{Some}{%
		Wilkinson:1971:SCN%
		}.
\NAMECITE{Status}{%
		Shamir:2003:TLC%
		}.
\NAMECITE{Strategies}{%
		Cerf:2005:ATL%
		}.
\NAMECITE{Style}{%
		Backus:1978:CPL%
		}.
\NAMECITE{Symbols}{%
		Newell:1976:CSE%
		}.
\NAMECITE{symposium}{%
		ACM:1997:PSA%
		}.
\NAMECITE{Synthesis}{%
		Perlis:1967:SAS%
		}.
\NAMECITE{{System}}{%
		Brooks:2002:IOS%
		}.
\NAMECITE{{System/\penalty0{}360}}{%
		Brooks:2002:IOS%
		}.
\NAMECITE{Systems}{%
		Perlis:1967:SAS,%
		Corbato:1991:BSW%
		}.


\NAMECITE{Thought}{%
		Iverson:1980:NTT%
		}.
\NAMECITE{Time}{%
		Stearns:1994:TAL%
		}.
\NAMECITE{Tool}{%
		Iverson:1980:NTT%
		}.
\NAMECITE{Trust}{%
		Thompson:1984:RTT%
		}.
\NAMECITE{Trusting}{%
		Thompson:1984:RTT%
		}.
\NAMECITE{Turing}{%
		Anonymous:1987:ATA,%
		Brooks:1999:DDA,%
		Cerf:2005:ATL,%
		Engelbart:1998:CIF,%
		Kay:2004:ATL,%
		Peled:1988:JCA,%
		Pnueli:1997:MTA,%
		Adleman:2003:TLP,%
		Cocke:1988:SPS,%
		Feigenbaum:1996:TAL,%
		Hartmanis:1994:TAL,%
		Milner:1993:EIT,%
		Reddy:1996:TAL,%
		Rivest:2003:TLE,%
		Shamir:2003:TLC,%
		Stearns:1994:TAL%
		}.
\NAMECITE{twenty}{%
		Anonymous:1987:ATA%
		}.


\NAMECITE{USA}{%
		ACM:1997:PSA,%
		Delis:1999:PAS%
		}.


\NAMECITE{Verification}{%
		Pnueli:1997:MTA%
		}.
\NAMECITE{View}{%
		Hamming:1969:OMV%
		}.


\NAMECITE{will}{%
		Corbato:1991:BSW%
		}.


\NAMECITE{years}{%
		Anonymous:1987:ATA%
		}.