%%======================================================================
%% 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 Wed Jul  9 22:04:18 MDT 2008
%%======================================================================

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



\NAMECITE{{\#SAT}}{%
		Nishimura:2007:SSU%
		}.


\NAMECITE{$(n, k)$}{%
		Claus:1981:BEP%
		}.
\NAMECITE{$(N-1)$}{%
		Geerts:2005:DVD%
		}.
\NAMECITE{$+$}{%
		Peterson:1995:VSR%
		}.
\NAMECITE{$0$}{%
		Kemp:1981:LGG%
		}.
\NAMECITE{$1$}{%
		Anderson:1973:ELP%
		}.
\NAMECITE{$1,1$}{%
		Chapman:1984:LPG%
		}.
\NAMECITE{$2$}{%
		Ibarra:1975:HVH%
		}.
\NAMECITE{$2.5n$}{%
		Dunne:1985:LBM%
		}.
\NAMECITE{$3$}{%
		Ibarra:1975:HVH%
		}.
\NAMECITE{$7$}{%
		Currie:2003:WLW%
		}.
\NAMECITE{$^*$}{%
		Damm:1983:SRH%
		}.
\NAMECITE{$\alpha-\beta$}{%
		Choy:1978:OTC%
		}.
\NAMECITE{$B$}{%
		Wright:1985:SAP%
		}.
\NAMECITE{$B^*$}{%
		Kuspert:1983:SUB%
		}.
\NAMECITE{$B^+$}{%
		Baeza-Yates:1989:EBB%
		}.
\NAMECITE{$\bmod 5$}{%
		Currie:2003:WLW%
		}.
\NAMECITE{${\cal P}$}{%
		Greco:2001:ESD%
		}.
\NAMECITE{${\cal QH}$}{%
		Greco:2001:ESD%
		}.
\NAMECITE{$D$}{%
		Taniguchi:1976:ACS%
		}.
\NAMECITE{${\rm DTIMEF}(\scr F)=? {\rm DSPACEF}(\scr F)$}{%
		Caporaso:1998:RBU%
		}.
\NAMECITE{$\forall$}{%
		VandenBussche:1993:MDC%
		}.
\NAMECITE{$k$}{%
		Backhouse:1976:AAI%
		}.
\NAMECITE{$K_{s,t}$}{%
		Cieslik:2005:LCC%
		}.
\NAMECITE{$L$}{%
		Culik:1993:SMR%
		}.
\NAMECITE{$LR$}{%
		Soisalon-Soininen:1980:SOE%
		}.
\NAMECITE{$LU$}{%
		vandeVorst:1988:FDP%
		}.
\NAMECITE{$m$}{%
		Ehrich:1973:MMV%
		}.
\NAMECITE{$\mathbb{P}_5$}{%
		Cieslik:2008:LGC%
		}.
\NAMECITE{$\mu$}{%
		Cleaveland:1990:TBM%
		}.
\NAMECITE{$n$}{%
		Hwang:1971:OME%
		}.
\NAMECITE{$\neg$}{%
		VandenBussche:1993:MDC%
		}.
\NAMECITE{$O(1)$}{%
		Levcopoulos:1988:BST%
		}.
\NAMECITE{$O(n)$}{%
		Taniguchi:1976:ACS%
		}.
\NAMECITE{$O(V^{5/3} E^{2/3})$}{%
		Galil:1980:AMF%
		}.
\NAMECITE{$p$}{%
		Silva:2003:NPP%
		}.
\NAMECITE{$P=NP$}{%
		Huwig:1982:MPP,%
		Huwig:1982:MPP%
		}.
\NAMECITE{$\pi$}{%
		Sangiorgi:1996:TBC%
		}.
\NAMECITE{$S$}{%
		Devillers:1995:IAG%
		}.
\NAMECITE{${\rm Sometime}={\rm always}+{\rm recursion}\equiv{\rm always}$}{%
		Cousot:1987:EII%
		}.
\NAMECITE{$T_3^n$}{%
		Dunne:1985:LBM%
		}.
\NAMECITE{$\times$}{%
		Burrieza:2003:FAT%
		}.
\NAMECITE{$\varepsilon$}{%
		Goldschlager:1981:PCF%
		}.
\NAMECITE{$wp$}{%
		Bijlsma:1989:SPR%
		}.
\NAMECITE{$x^i_1 x^i_2 \cdots x^i_m = y^i_1 y^i_2 \cdots y^i_n$}{%
		Hakala:1997:SWE%
		}.
\NAMECITE{$Y$}{%
		Fachini:1992:CST%
		}.


\NAMECITE{*}{%
		Vaidyanathan:1995:PIS%
		}.


\NAMECITE{-}{%
		Yao:1978:RT%
		}.
\NAMECITE{{}-Arcs}{%
		Heise:1976:OCA%
		}.
\NAMECITE{{}-ary}{%
		Mahmoud:1986:AIP%
		}.
\NAMECITE{-avoidable}{%
		Currie:2007:AAB%
		}.
\NAMECITE{{}-Based}{%
		Fisher:1985:PLB%
		}.
\NAMECITE{{}-Bounded}{%
		Claus:1981:BEP%
		}.
\NAMECITE{-calculus}{%
		Cleaveland:1990:TBM%
		}.
\NAMECITE{{}-Charts}{%
		Taniguchi:1976:ACS%
		}.
\NAMECITE{{}-Column}{%
		Wu:1994:CMA%
		}.
\NAMECITE{{}-conflictable}{%
		Lee:1994:BLC%
		}.
\NAMECITE{{}-decomposition}{%
		vandeVorst:1988:FDP%
		}.
\NAMECITE{-Dimensional}{%
		Hinrichs:1992:ARS,%
		Geerts:2005:DVD%
		}.
\NAMECITE{-Expressions}{%
		Eiter:1995:GBE%
		}.
\NAMECITE{{}-free}{%
		Cieslik:2005:LCC%
		}.
\NAMECITE{-Head}{%
		Ibarra:1975:HVH%
		}.
\NAMECITE{{}-invariant}{%
		Devillers:1995:IAG%
		}.
\NAMECITE{-languages}{%
		Fan:1998:WL%
		}.
\NAMECITE{-Matrices}{%
		Wu:1994:CMA%
		}.
\NAMECITE{-Minimal}{%
		Ehrich:1973:MMV%
		}.
\NAMECITE{-minimale}{%
		Ehrich:1973:MMV%
		}.
\NAMECITE{{}-nets}{%
		Best:1998:NAH%
		}.
\NAMECITE{{}-Parser}{%
		Heckmann:1986:EEP%
		}.
\NAMECITE{-primitive}{%
		Li:2004:TEC%
		}.
\NAMECITE{-Problems}{%
		Huwig:1982:MPP%
		}.
\NAMECITE{-productions}{%
		Goldschlager:1981:PCF%
		}.
\NAMECITE{-projections}{%
		Chandra:1983:SBV,%
		Wu:1994:CMA%
		}.
\NAMECITE{-pure}{%
		Silva:2003:NPP%
		}.
\NAMECITE{-Structures}{%
		Ehrenfeucht:1990:PSSa%
		}.
\NAMECITE{{-Structures.}}{%
		Ehrenfeucht:1990:PSSb%
		}.
\NAMECITE{{}-Systems}{%
		Culik:1993:SMR%
		}.
\NAMECITE{{}-tree}{%
		Wright:1985:SAP%
		}.
\NAMECITE{-trees}{%
		Peterson:1995:VSR,%
		Berztiss:1980:DFT%
		}.
\NAMECITE{{}-Valent}{%
		Dunne:1987:RVG%
		}.
\NAMECITE{-vectors}{%
		Chandra:1983:SBV%
		}.
\NAMECITE{-words}{%
		Fan:1998:WL%
		}.
\NAMECITE{-writer}{%
		Haldar:1996:SEW%
		}.


\NAMECITE{{{/\penalty0{}G/\penalty0{}1}}}{%
		Alfa:1991:AQL%
		}.


\NAMECITE{0{L}}{%
		Honkala:2000:SLB%
		}.


\NAMECITE{{1}}{%
		Shore:1982:ITA%
		}.
\NAMECITE{{1988}}{%
		Bauer:1989:MAP%
		}.


\NAMECITE{{2}}{%
		Rudnicki:1985:PPP%
		}.
\NAMECITE{{23}}{%
		Hehner:1988:EPM%
		}.


\NAMECITE{{4NF}}{%
		Vincent:1999:SFR%
		}.


\NAMECITE{{68}}{%
		vanWijngaarden:1975:RRA%
		}.


\NAMECITE{87k}{%
		Hehner:1988:EPM%
		}.


\NAMECITE{{90}}{%
		Matsumoto:1996:AAP%
		}.


\NAMECITE{{A.}}{%
		Scott:1994:H%
		}.
\NAMECITE{{Abelian}}{%
		Iliopoulos:1986:MCC%
		}.
\NAMECITE{Abstract}{%
		Benson:1974:AMT%
		}.
\NAMECITE{Abstraction}{%
		Leavens:1995:SVO%
		}.
\NAMECITE{Abstractions}{%
		Tiplea:2006:ADT%
		}.
\NAMECITE{Acceptable}{%
		Duponcheel:1986:AFP%
		}.
\NAMECITE{Accepted}{%
		Book:1979:LAS%
		}.
\NAMECITE{Accepting}{%
		Berard:2000:AZW%
		}.
\NAMECITE{Acception}{%
		Deussen:1978:UAG%
		}.
\NAMECITE{Acceptors}{%
		Claus:1981:BEP%
		}.
\NAMECITE{Access}{%
		Ehrich:1975:GTDa%
		}.
\NAMECITE{accommodating}{%
		Boyar:2003:EAF%
		}.
\NAMECITE{According}{%
		Munch-Andersen:1977:SAJ%
		}.
\NAMECITE{Achievable}{%
		Ruhl:1994:BRT%
		}.
\NAMECITE{Acknowledgement}{%
		Anonymous:1995:AR%
		}.
\NAMECITE{Action}{%
		Back:1998:RFA%
		}.
\NAMECITE{actions}{%
		vanGlabbeek:2001:RAE%
		}.
\NAMECITE{Active}{%
		Mescheder:1980:NAO%
		}.
\NAMECITE{Active-Operations}{%
		Mescheder:1980:NAO%
		}.
\NAMECITE{Actual}{%
		Klingler:1981:GBA%
		}.
\NAMECITE{Acyclic}{%
		Trogemann:1997:PAP%
		}.
\NAMECITE{Adaptive}{%
		Rice:1975:PAA%
		}.
\NAMECITE{Addenda}{%
		Hoare:1974:ACA%
		}.
\NAMECITE{Addendum}{%
		Roth:1991:ANV%
		}.
\NAMECITE{Adder}{%
		Claus:1973:MAP%
		}.
\NAMECITE{Adding}{%
		Giannella:2002:APC%
		}.
\NAMECITE{Addition}{%
		Claus:1973:MAP%
		}.
\NAMECITE{Additionsdauer}{%
		Claus:1973:MAP%
		}.
\NAMECITE{Additive}{%
		Kemp:1989:EAW%
		}.
\NAMECITE{Additivity}{%
		Levene:1997:APF%
		}.
\NAMECITE{Address}{%
		Hesselink:1996:BDF%
		}.
\NAMECITE{adequate}{%
		Makinen:2002:MAT%
		}.
\NAMECITE{Admissibility}{%
		Biela:1988:PSA%
		}.
\NAMECITE{Admitting}{%
		Kedem:1981:CDG%
		}.
\NAMECITE{affine}{%
		Karr:1976:ARA%
		}.
\NAMECITE{Affix}{%
		Watt:1977:PPA%
		}.
\NAMECITE{Affix-Grammars}{%
		Watt:1977:PPA%
		}.
\NAMECITE{After}{%
		Rembowski:1985:PQI%
		}.
\NAMECITE{Age}{%
		Gelenbe:1990:OCA%
		}.
\NAMECITE{agents}{%
		Degano:1999:CDM%
		}.
\NAMECITE{aggregate}{%
		Grumbach:2004:ERA%
		}.
\NAMECITE{Aggregation}{%
		Helman:1989:FNC%
		}.
\NAMECITE{Ahead}{%
		Yang:1995:LAP%
		}.
\NAMECITE{Aid}{%
		Zislis:1975:SDC%
		}.
\NAMECITE{{Alan}}{%
		Habermann:1991:AJP%
		}.
\NAMECITE{Algebra}{%
		Merzenich:1979:BOT,%
		Corradini:2001:CIP%
		}.
\NAMECITE{Algebraic}{%
		Perrot:1977:MSL,%
		Latteux:1980:GAL%
		}.
\NAMECITE{algebraically}{%
		Back:1999:RAA%
		}.
\NAMECITE{Algebras}{%
		Cantor:1991:FMP%
		}.
\NAMECITE{alg{\'e}briques}{%
		Perrot:1977:MSL%
		}.
\NAMECITE{{ALGOL}}{%
		vanWijngaarden:1975:RRA%
		}.
\NAMECITE{{ALGOL}-like}{%
		Langmaack:1982:TPF%
		}.
\NAMECITE{Algorithm}{%
		Gries:1973:DAH%
		}.
\NAMECITE{algorithme}{%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{Algorithmic}{%
		vanWijngaarden:1975:RRA%
		}.
\NAMECITE{Algorithms}{%
		Smith:19xx:SDG,%
		Barstow:1980:RSS%
		}.
\NAMECITE{Alias}{%
		Matsumoto:1996:AAP%
		}.
\NAMECITE{Aliasing}{%
		Cartwright:1981:LA%
		}.
\NAMECITE{All-Round}{%
		Hinrichs:1992:ARS%
		}.
\NAMECITE{Allocation}{%
		Betteridge:1974:ASA%
		}.
\NAMECITE{Almost}{%
		Ruzicka:1989:ALR%
		}.
\NAMECITE{Alphabet}{%
		Monien:1977:LPD%
		}.
\NAMECITE{alphabets}{%
		Cheng:1998:CFL%
		}.
\NAMECITE{Alternating}{%
		Slobodova:1992:CAM%
		}.
\NAMECITE{Alternation}{%
		Paul:1980:A%
		}.
\NAMECITE{Alternative}{%
		Backhouse:1976:AAI%
		}.
\NAMECITE{ambients}{%
		Levi:2006:TEB%
		}.
\NAMECITE{Ambiguity}{%
		Earley:1975:APS%
		}.
\NAMECITE{Ambiguous}{%
		Kemp:1980:NDI%
		}.
\NAMECITE{among}{%
		Karr:1976:ARA%
		}.
\NAMECITE{Amongst}{%
		Saxena:1996:PIS%
		}.
\NAMECITE{Amortized}{%
		Larsen:1998:ACR%
		}.
\NAMECITE{Amounts}{%
		Kintala:1980:ANF%
		}.
\NAMECITE{Analyse}{%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{Analysis}{%
		Knuth:1971:TSA,%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{Analytic}{%
		Betteridge:1974:ASA%
		}.
\NAMECITE{Analyzer}{%
		Bulyonkov:1984:PMC%
		}.
\NAMECITE{Analyzing}{%
		Taylor:1983:CAS%
		}.
\NAMECITE{Ancestor}{%
		Tsakalidis:1988:NCA%
		}.
\NAMECITE{{Andersson}}{%
		Spuler:1993:OBS%
		}.
\NAMECITE{{Andrei}}{%
		Bauer:1989:MAP%
		}.
\NAMECITE{angelic}{%
		McIver:2001:DAU%
		}.
\NAMECITE{Apex}{%
		Engelfriet:1988:AGG%
		}.
\NAMECITE{Application}{%
		Langmaack:1971:ARC%
		}.
\NAMECITE{Applications}{%
		Turski:1971:MDS%
		}.
\NAMECITE{Applied}{%
		Ramanathan:1981:PAD%
		}.
\NAMECITE{Applying}{%
		Rosen:1975:DGG%
		}.
\NAMECITE{Approach}{%
		Manna:1974:AAT%
		}.
\NAMECITE{Approaches}{%
		Bernot:1994:BAA%
		}.
\NAMECITE{approximability}{%
		Chakaravarthy:2002:NAP%
		}.
\NAMECITE{Approximate}{%
		Boxma:1981:AAE%
		}.
\NAMECITE{Approximating}{%
		Alfa:1991:AQL%
		}.
\NAMECITE{Approximation}{%
		Monien:1985:RNA%
		}.
\NAMECITE{approximations}{%
		Gelenbe:1979:PMC%
		}.
\NAMECITE{April}{%
		Bauer:1989:MAP%
		}.
\NAMECITE{{{\"A}quivalente}}{%
		Sabelfeld:1978:ATF%
		}.
\NAMECITE{Arbitrary}{%
		Ramirez:1982:ORP%
		}.
\NAMECITE{Arbitration}{%
		Kessels:1982:ACM%
		}.
\NAMECITE{Architecture}{%
		Sen:1989:SOF,%
		Harman:1996:AMM%
		}.
\NAMECITE{Architectures}{%
		Kunde:1987:LBS%
		}.
\NAMECITE{Arcs}{%
		Heise:1976:OCA%
		}.
\NAMECITE{Area}{%
		Iglehart:1984:SOA%
		}.
\NAMECITE{Argument}{%
		Dijkstra:1986:SFA%
		}.
\NAMECITE{Arguments}{%
		Dijkstra:1980:SBA%
		}.
\NAMECITE{Arithmetic}{%
		Kuck:1974:BPE%
		}.
\NAMECITE{Array}{%
		Han:1989:TLB%
		}.
\NAMECITE{Arrays}{%
		Rosenberg:1977:SSB%
		}.
\NAMECITE{arrivals}{%
		Gelenbe:1979:PMC%
		}.
\NAMECITE{ary}{%
		Mahmoud:1986:AIP%
		}.
\NAMECITE{Ascending}{%
		Pritchard:1981:ALL%
		}.
\NAMECITE{{Asian}}{%
		Dai:2007:EST%
		}.
\NAMECITE{assertional}{%
		Hesselink:2002:ACA%
		}.
\NAMECITE{Assertions}{%
		Apt:1981:RAP%
		}.
\NAMECITE{assignment}{%
		Epstein:2006:VAS%
		}.
\NAMECITE{Associative}{%
		Nutt:1976:SRA%
		}.
\NAMECITE{Associativity}{%
		Kuck:1974:BPE%
		}.
\NAMECITE{Assumption}{%
		Cau:1996:PCA%
		}.
\NAMECITE{Assumption-Commitment}{%
		Cau:1996:PCA%
		}.
\NAMECITE{asymmetric}{%
		Epstein:2006:VAS%
		}.
\NAMECITE{Asymptotic}{%
		Hwang:1998:AEM%
		}.
\NAMECITE{Asymptotics}{%
		Rego:1992:NAH%
		}.
\NAMECITE{Asynchronous}{%
		Buning:1980:UAI%
		}.
\NAMECITE{Atomic}{%
		Haldar:1996:SEW%
		}.
\NAMECITE{Atomicity}{%
		Best:1981:FMA%
		}.
\NAMECITE{{ATP}}{%
		Nicollin:1993:ATG%
		}.
\NAMECITE{Attribute}{%
		Engelfriet:1981:FPO%
		}.
\NAMECITE{Attributed}{%
		Kastens:1980:OAG%
		}.
\NAMECITE{Attributes}{%
		Babich:1978:MADa%
		}.
\NAMECITE{Author}{%
		Anonymous:1988:AIV%
		}.
\NAMECITE{{Automat}}{%
		Kaufholz:1972:PEA%
		}.
\NAMECITE{Automata}{%
		Perrin:1971:CAA,%
		Rollik:1980:APG%
		}.
\NAMECITE{Automaten}{%
		Schnorr:1972:EAZ,%
		Kandzia:1973:TPL%
		}.
\NAMECITE{Automates}{%
		Perrin:1971:CAA%
		}.
\NAMECITE{Automatic}{%
		Schott:1972:AAI%
		}.
\NAMECITE{Automatically}{%
		Darlington:1976:SWA%
		}.
\NAMECITE{Automatically-Generated}{%
		Farrow:1986:CSO%
		}.
\NAMECITE{Automating}{%
		Lubachevsky:1984:AAV%
		}.
\NAMECITE{Automaton}{%
		Kaufholz:1972:PEA%
		}.
\NAMECITE{Automorphismes}{%
		Perrin:1971:CAA%
		}.
\NAMECITE{Automorphisms}{%
		Perrin:1971:CAA%
		}.
\NAMECITE{Availability}{%
		Gelenbe:1986:ADC%
		}.
\NAMECITE{Available}{%
		Taniguchi:1976:ACS%
		}.
\NAMECITE{Average}{%
		Kemp:1979:ANR%
		}.
\NAMECITE{average-case}{%
		Kemp:1998:GWL%
		}.
\NAMECITE{avoidable}{%
		Roth:1992:EBP%
		}.
\NAMECITE{Aware}{%
		Layuan:2003:DQA%
		}.
\NAMECITE{Axiomatic}{%
		Hoare:1973:ADP%
		}.
\NAMECITE{Axiomatics}{%
		Ershov:1976:AMA%
		}.
\NAMECITE{Axiomatising}{%
		Hennessy:1984:AFD%
		}.
\NAMECITE{axiomatizability}{%
		Esik:1998:NAE%
		}.
\NAMECITE{axiomatization}{%
		Erratum:2004:AG%
		}.
\NAMECITE{Axiomatizing}{%
		Degano:1996:AAN%
		}.
\NAMECITE{Axioms}{%
		Sokolowski:1978:ATC%
		}.
\NAMECITE{ayant}{%
		Rosenberg:1986:FAE%
		}.


\NAMECITE{{B}}{%
		Bayer:1972:SBB%
		}.
\NAMECITE{{B}-Trees}{%
		Bayer:1972:SBB%
		}.
\NAMECITE{Backtracking}{%
		Francez:1977:BRC%
		}.
\NAMECITE{Bag}{%
		Brisaboa:1997:TBC%
		}.
\NAMECITE{Bag-Containment}{%
		Brisaboa:1997:TBC%
		}.
\NAMECITE{balance}{%
		Larsen:2001:RBS%
		}.
\NAMECITE{Balanced}{%
		Lee:1978:WCA%
		}.
\NAMECITE{Balancing}{%
		Shen:1988:CDD%
		}.
\NAMECITE{base}{%
		Bouchet:1979:PRS%
		}.
\NAMECITE{Based}{%
		Tennent:1977:LDM%
		}.
\NAMECITE{Bases}{%
		Nicolas:1982:LII%
		}.
\NAMECITE{Basic}{%
		Ehrenfeucht:1990:PSSa%
		}.
\NAMECITE{basis}{%
		Igarashi:1975:APVa%
		}.
\NAMECITE{Batch}{%
		Landwehr:1976:EPM%
		}.
\NAMECITE{Batch-Interactive}{%
		Landwehr:1976:EPM%
		}.
\NAMECITE{Beautiful}{%
		Dijkstra:1980:SBA%
		}.
\NAMECITE{{Behandlung}}{%
		Stadel:1981:BVI%
		}.
\NAMECITE{Behavior}{%
		Cremers:1978:FBD%
		}.
\NAMECITE{behavioral}{%
		Leavens:2000:CAC%
		}.
\NAMECITE{Behaviour}{%
		Courtois:1976:DMP%
		}.
\NAMECITE{Behavioural}{%
		Bernot:1994:BAA%
		}.
\NAMECITE{Behaviours}{%
		Arnold:1982:SBP%
		}.
\NAMECITE{{Bendix}}{%
		Dick:1990:AKB%
		}.
\NAMECITE{Berechnung}{%
		Schonhage:1971:SBK,%
		Strassen:1972:BP%
		}.
\NAMECITE{{Bernoulli}}{%
		Daduna:1981:DTR%
		}.
\NAMECITE{{Bernstein}}{%
		Engelfriet:1998:AGG%
		}.
\NAMECITE{between}{%
		Russell:1977:EBC%
		}.
\NAMECITE{beyond}{%
		Costa:1994:OIB%
		}.
\NAMECITE{Bi}{%
		Shyr:1998:BCS%
		}.
\NAMECITE{Bi-catenation}{%
		Shyr:1998:BCS%
		}.
\NAMECITE{bi-criterion}{%
		Lee:2004:BCS%
		}.
\NAMECITE{{Bicenters}}{%
		Autebert:1984:BLA%
		}.
\NAMECITE{Bicentres}{%
		Autebert:1984:BLA%
		}.
\NAMECITE{Bifaithful}{%
		Leguy:1982:LSC%
		}.
\NAMECITE{bifid{\`e}les}{%
		Leguy:1982:LSC%
		}.
\NAMECITE{Bijection}{%
		Maurer:1980:RBR%
		}.
\NAMECITE{Bin}{%
		Coffman:1978:PMN%
		}.
\NAMECITE{Bin-Packing}{%
		Bruno:1985:PBD%
		}.
\NAMECITE{Binary}{%
		Knuth:1971:OBS%
		}.
\NAMECITE{Bipartite}{%
		Lipski:1981:EAF%
		}.
\NAMECITE{bisimilarity}{%
		Srba:2003:SBS%
		}.
\NAMECITE{Bisimulation}{%
		Sangiorgi:1996:TBC%
		}.
\NAMECITE{Bisimulations}{%
		Best:1991:CBP%
		}.
\NAMECITE{Black}{%
		Lengauer:1981:BWP%
		}.
\NAMECITE{Black-White}{%
		Lengauer:1981:BWP%
		}.
\NAMECITE{Blackboard}{%
		Chen:1995:CRM%
		}.
\NAMECITE{{Blankinship}}{%
		Morito:1980:UBA%
		}.
\NAMECITE{Blocking}{%
		Munch-Andersen:1977:SAJ%
		}.
\NAMECITE{Blocks}{%
		Aref:1993:DWM%
		}.
\NAMECITE{{Boolean}}{%
		Ehrich:1973:MMV%
		}.
\NAMECITE{Boole'sche}{%
		Ehrich:1973:MMV,%
		Paul:1975:BMU%
		}.
\NAMECITE{Bordered}{%
		Bucher:1986:RTD%
		}.
\NAMECITE{born{\'e}s}{%
		Latteux:1979:ILA%
		}.
\NAMECITE{Bound}{%
		Hu:1972:LUB%
		}.
\NAMECITE{Boundary}{%
		Rozenberg:1986:GTC%
		}.
\NAMECITE{Bounded}{%
		Laurinolli:1978:BQR%
		}.
\NAMECITE{Bounded-Iteration}{%
		Qian:1991:EPB%
		}.
\NAMECITE{Boundedly}{%
		Rosenberg:1977:SSB%
		}.
\NAMECITE{Bounds}{%
		McKellar:1972:BAS%
		}.
\NAMECITE{boxed}{%
		Levi:2006:TEB%
		}.
\NAMECITE{boxes}{%
		Devillers:1995:IAG%
		}.
\NAMECITE{{BPA}}{%
		Cerna:1999:CEN%
		}.
\NAMECITE{{BPP}}{%
		Cerna:1999:CEN%
		}.
\NAMECITE{Bracket}{%
		Boasson:1973:FLT%
		}.
\NAMECITE{Bracket-Closed}{%
		Boasson:1973:FLT%
		}.
\NAMECITE{Branch}{%
		Breitbart:1975:BBA%
		}.
\NAMECITE{Branch-and-Bound}{%
		Breitbart:1975:BBA%
		}.
\NAMECITE{Branching}{%
		Ben-Ari:1983:TLB%
		}.
\NAMECITE{Breakdown}{%
		Adiri:1989:SMF%
		}.
\NAMECITE{{BRNGLR}}{%
		Scott:2007:BCT%
		}.
\NAMECITE{Broadcast}{%
		Fayolle:1974:SPB%
		}.
\NAMECITE{Bucket}{%
		Burnetas:1997:AIE%
		}.
\NAMECITE{Buddy}{%
		Bromley:1980:MFB%
		}.
\NAMECITE{Buffer}{%
		Reisig:1982:DBS%
		}.
\NAMECITE{building}{%
		Dube:2000:EBP%
		}.
\NAMECITE{bunches}{%
		Morris:2001:TB%
		}.
\NAMECITE{{BURS}}{%
		Nymeyer:1997:CGB%
		}.


\NAMECITE{c}{%
		Chakka:2001:MMM,%
		Dingel:2006:CAC%
		}.
\NAMECITE{{C.}}{%
		Ashcroft:1976:RPP%
		}.
\NAMECITE{{C/\penalty0{}C}}{%
		Dingel:2006:CAC%
		}.
\NAMECITE{Cache}{%
		Hac:1993:PRI%
		}.
\NAMECITE{caching}{%
		Buttner:2005:EPC%
		}.
\NAMECITE{cake}{%
		Belaga:1989:TMM%
		}.
\NAMECITE{calculate}{%
		Schmidt:2000:HCS%
		}.
\NAMECITE{Calculation}{%
		Schonhage:1971:SBK,%
		Strassen:1972:BP%
		}.
\NAMECITE{Calculi}{%
		Olderog:1981:SCH%
		}.
\NAMECITE{calculus}{%
		Hehner:1979:DCO%
		}.
\NAMECITE{Calls}{%
		Ernst:1977:RIP%
		}.
\NAMECITE{Canonical}{%
		Langmaack:1971:ARC%
		}.
\NAMECITE{{Cantor}}{%
		Engelfriet:1998:AGG%
		}.
\NAMECITE{{Cantor-Bernstein}}{%
		Engelfriet:1998:AGG%
		}.
\NAMECITE{capacity}{%
		Choy:1978:OTC%
		}.
\NAMECITE{capture}{%
		Greco:2001:ESD%
		}.
\NAMECITE{{Carlo}}{%
		Iliopoulos:1986:MCC%
		}.
\NAMECITE{case}{%
		Mihalache:19xx:GSR%
		}.
\NAMECITE{categorical}{%
		terHofstede:1997:ACF%
		}.
\NAMECITE{Categories}{%
		deGuzman:1995:FIB%
		}.
\NAMECITE{Category}{%
		Diaconescu:1996:CBM%
		}.
\NAMECITE{Category-Based}{%
		Diaconescu:1996:CBM%
		}.
\NAMECITE{Category-theoretic}{%
		Colomb:2001:CTF%
		}.
\NAMECITE{catenation}{%
		Shyr:1998:BCS%
		}.
\NAMECITE{Catenative}{%
		Rozenberg:1973:DSL%
		}.
\NAMECITE{Causal}{%
		Garg:1997:UCD%
		}.
\NAMECITE{Causality}{%
		Kiehn:1994:CLC%
		}.
\NAMECITE{{CCS}}{%
		Graf:1986:LSP%
		}.
\NAMECITE{Cells}{%
		Sonnenschein:1985:GSC%
		}.
\NAMECITE{Cellular}{%
		Sommerhalder:1983:PLR%
		}.
\NAMECITE{Central}{%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{centrale}{%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{centralis{\'e}es}{%
		Mikou:1979:AOP%
		}.
\NAMECITE{Centralized}{%
		Mikou:1979:AOP%
		}.
\NAMECITE{Certain}{%
		Ehrenfeucht:1976:PCL%
		}.
\NAMECITE{Certaines}{%
		Rodriguez:1981:IFC%
		}.
\NAMECITE{Certificate}{%
		Hemaspaandra:1997:ESH%
		}.
\NAMECITE{Certificates}{%
		Farr:1994:PSC%
		}.
\NAMECITE{{CFL}}{%
		Autebert:1989:IGC%
		}.
\NAMECITE{Chain}{%
		Blum:1982:PCR%
		}.
\NAMECITE{Chain-Free}{%
		Heilbrunner:1985:TPC%
		}.
\NAMECITE{Chains}{%
		Rego:1992:NAH%
		}.
\NAMECITE{Channel}{%
		Bechtold:1985:TSC%
		}.
\NAMECITE{channels}{%
		Lundberg:1999:OBG%
		}.
\NAMECITE{Characterisation}{%
		Buckle:1993:CMJ%
		}.
\NAMECITE{Characteristic}{%
		Schonhage:1977:SMP%
		}.
\NAMECITE{Characteristics}{%
		Calzarossa:1986:WMR,%
		Ecker:1974:ELA%
		}.
\NAMECITE{Characterization}{%
		Merzenich:1979:BOT%
		}.
\NAMECITE{Characterizations}{%
		Latteux:1990:CRE%
		}.
\NAMECITE{Characterize}{%
		Nielson:1983:CSW%
		}.
\NAMECITE{characterizing}{%
		Morvan:2005:FAC%
		}.
\NAMECITE{Charakteristik}{%
		Schonhage:1977:SMP%
		}.
\NAMECITE{Charts}{%
		Taniguchi:1976:ACS%
		}.
\NAMECITE{check}{%
		Penabad:2002:GPC%
		}.
\NAMECITE{Checking}{%
		Nicolas:1982:LII%
		}.
\NAMECITE{Checkpointing}{%
		Baccelli:1981:ASF%
		}.
\NAMECITE{Checkpoints}{%
		Gelenbe:1990:OCA%
		}.
\NAMECITE{{CHOCS}}{%
		Thomsen:1993:PCS%
		}.
\NAMECITE{Choice}{%
		Rabin:1982:CCP%
		}.
\NAMECITE{choices}{%
		McIver:2001:DAU%
		}.
\NAMECITE{Choosing}{%
		Gotlieb:1974:CSS%
		}.
\NAMECITE{Chromatic}{%
		Nurmi:1996:CBS%
		}.
\NAMECITE{ciliates}{%
		Brijder:2008:FRR%
		}.
\NAMECITE{circuit}{%
		Belaga:1989:TMM%
		}.
\NAMECITE{Circuits}{%
		Claus:1971:VPS%
		}.
\NAMECITE{Circular}{%
		Bird:1984:UCP%
		}.
\NAMECITE{Circularity}{%
		Raiha:1982:TAG%
		}.
\NAMECITE{Clarifications}{%
		Steensgaard-Madsen:1979:PCR%
		}.
\NAMECITE{Class}{%
		Lauer:1975:FSC%
		}.
\NAMECITE{Classes}{%
		Ehrenfeucht:1974:NVH%
		}.
\NAMECITE{Classically}{%
		Jones:1994:TLP%
		}.
\NAMECITE{Classification}{%
		Lau:1989:NSC%
		}.
\NAMECITE{Classifications}{%
		Li:2006:CDL%
		}.
\NAMECITE{Clause}{%
		Hoffmann:1980:SPL%
		}.
\NAMECITE{Clean}{%
		Coleman:1979:CTP%
		}.
\NAMECITE{{CLEAR}}{%
		Sannella:1984:STS%
		}.
\NAMECITE{{Clint}}{%
		Ashcroft:1976:RPP%
		}.
\NAMECITE{cliques}{%
		Cieslik:2005:LCC%
		}.
\NAMECITE{clocked}{%
		Kesten:2000:VCH%
		}.
\NAMECITE{Closed}{%
		Boasson:1973:DFL,%
		Corradini:2001:CIP%
		}.
\NAMECITE{Closer}{%
		Katz:1975:CLT%
		}.
\NAMECITE{closure}{%
		Eve:1977:CTC%
		}.
\NAMECITE{Clustering}{%
		Krivanek:1986:NHP%
		}.
\NAMECITE{Co}{%
		Clint:1973:PPC%
		}.
\NAMECITE{Co-{CFL}}{%
		Autebert:1989:IGC%
		}.
\NAMECITE{Co-Nested}{%
		Kratochvil:1993:SCN%
		}.
\NAMECITE{Co-routines}{%
		Clint:1973:PPC%
		}.
\NAMECITE{Cocomparability}{%
		Liang:1997:MFV%
		}.
\NAMECITE{Code}{%
		Vasudevan:1982:ILF%
		}.
\NAMECITE{Coders}{%
		Atanasiu:1992:CCB%
		}.
\NAMECITE{Codes}{%
		Heise:1976:OCA%
		}.
\NAMECITE{coding}{%
		Caporaso:1998:RBU%
		}.
\NAMECITE{Codings}{%
		Nielsen:1974:NHCb%
		}.
\NAMECITE{Coh{\'e}rence}{%
		Plateau:1980:EPA%
		}.
\NAMECITE{Coincidental}{%
		Meduna:2003:CES%
		}.
\NAMECITE{{Collatz}}{%
		Andrei:1998:ACC%
		}.
\NAMECITE{collection}{%
		vanStee:2001:RJC%
		}.
\NAMECITE{Coloring}{%
		Rus:1997:UGC%
		}.
\NAMECITE{Column}{%
		Wu:1994:CMA%
		}.
\NAMECITE{Combinational}{%
		Kolla:1991:VFP%
		}.
\NAMECITE{Combinator}{%
		Lao:1987:CBC%
		}.
\NAMECITE{Combinator-Based}{%
		Lao:1987:CBC%
		}.
\NAMECITE{Combinatorial}{%
		Wagner:1986:CCP%
		}.
\NAMECITE{Combined}{%
		Landwehr:1976:EPM%
		}.
\NAMECITE{Command}{%
		Neuhold:1976:SPC%
		}.
\NAMECITE{Comments}{%
		Courtois:1972:CCT%
		}.
\NAMECITE{Commit}{%
		Ramarao:1989:CDC%
		}.
\NAMECITE{Commitment}{%
		Cau:1996:PCA%
		}.
\NAMECITE{Common}{%
		Ullman:1973:FAE%
		}.
\NAMECITE{Communicating}{%
		Levin:1981:PTC%
		}.
\NAMECITE{Communication}{%
		Bechtold:1985:TSC%
		}.
\NAMECITE{Communication-Bounded}{%
		Ibarra:1994:CBS%
		}.
\NAMECITE{communities}{%
		Csuhaj-Varju:2000:ESL%
		}.
\NAMECITE{Commutative}{%
		Huynh:1985:CWP%
		}.
\NAMECITE{Commutativity}{%
		Kuck:1974:BPE%
		}.
\NAMECITE{Compact}{%
		Lubachevsky:1984:AAV%
		}.
\NAMECITE{Comparative}{%
		Hehner:1988:TCC%
		}.
\NAMECITE{Comparing}{%
		Kiehn:1994:CLC%
		}.
\NAMECITE{Comparison}{%
		Hansen:1972:CTS%
		}.
\NAMECITE{Comparisons}{%
		Spuler:1994:OST%
		}.
\NAMECITE{Competitive}{%
		Corradini:1997:PPC%
		}.
\NAMECITE{Compilation}{%
		Hoffmann:1980:SPL%
		}.
\NAMECITE{Compiler}{%
		Hoffmann:1978:DCC,%
		Stadel:1981:BVI%
		}.
\NAMECITE{Compilers}{%
		Wilhelm:1979:CUD%
		}.
\NAMECITE{Compiling}{%
		Russell:1980:CCP%
		}.
\NAMECITE{Complement}{%
		Heilbrunner:1996:DCC%
		}.
\NAMECITE{Complementary}{%
		Hoare:1974:CCF%
		}.
\NAMECITE{Complementation}{%
		Biskup:1978:CRM%
		}.
\NAMECITE{Complements}{%
		Wotschke:1978:NCC%
		}.
\NAMECITE{Complete}{%
		Galil:1976:HCP%
		}.
\NAMECITE{Completeness}{%
		Claus:1971:VPS%
		}.
\NAMECITE{Completion}{%
		Mitchell:1988:ICR%
		}.
\NAMECITE{Complexity}{%
		Stoss:1973:RP,%
		Kourie:1998:LML%
		}.
\NAMECITE{Composite}{%
		Finkel:1974:QTD%
		}.
\NAMECITE{Composition}{%
		Giegerich:1988:CEA%
		}.
\NAMECITE{Compositional}{%
		Chen:1995:CRM%
		}.
\NAMECITE{comprehensive}{%
		Schmitt:2005:CDS%
		}.
\NAMECITE{Compression}{%
		Fraenkel:1983:TCP%
		}.
\NAMECITE{computability}{%
		Buchholz:1998:TCF%
		}.
\NAMECITE{computable}{%
		Ramon:2001:PTC%
		}.
\NAMECITE{Computation}{%
		Wilhelm:1979:CUD%
		}.
\NAMECITE{Computational}{%
		Beynon:1985:RCE%
		}.
\NAMECITE{computationally}{%
		Csuhaj-Varju:2005:HNE%
		}.
\NAMECITE{Computations}{%
		Francez:1977:BRC%
		}.
\NAMECITE{Compute}{%
		Hoffmann:1980:SPL%
		}.
\NAMECITE{Computer}{%
		Fayolle:1974:SPB%
		}.
\NAMECITE{Computers}{%
		Culik:1973:SJM%
		}.
\NAMECITE{Computing}{%
		Hartmanis:1972:NDS%
		}.
\NAMECITE{Concatenation}{%
		Engelfriet:1997:CFG%
		}.
\NAMECITE{Concepts}{%
		Hansen:1972:CTS,%
		Courtois:1972:CCT%
		}.
\NAMECITE{conceptual}{%
		terHofstede:1997:ACF%
		}.
\NAMECITE{concerning}{%
		Winklmann:1982:CSPa%
		}.
\NAMECITE{Concurrency}{%
		Bayer:1977:COB%
		}.
\NAMECITE{Concurrent}{%
		Lauer:1975:FSC%
		}.
\NAMECITE{condensed}{%
		Khomenko:2006:MPN%
		}.
\NAMECITE{Condition}{%
		Claus:1971:VPS%
		}.
\NAMECITE{Condition/\penalty0{}Event}{%
		Degano:1988:DOS%
		}.
\NAMECITE{Conditional}{%
		Schmid:1976:EIC%
		}.
\NAMECITE{Conditions}{%
		Kfoury:1985:NSC%
		}.
\NAMECITE{cones}{%
		Leguy:1982:LSC%
		}.
\NAMECITE{conflict}{%
		Yen:1998:PCF%
		}.
\NAMECITE{conflict-free}{%
		Yen:1998:PCF%
		}.
\NAMECITE{conflictable}{%
		Lee:1994:BLC%
		}.
\NAMECITE{conflicts}{%
		Epstein:2008:TDP%
		}.
\NAMECITE{Confluence}{%
		KrishnaRao:1996:RCI%
		}.
\NAMECITE{Confluent}{%
		Narendran:1988:EFO%
		}.
\NAMECITE{Congruence}{%
		Otto:1991:DPF%
		}.
\NAMECITE{Congruences}{%
		Perrin:1971:CAA,%
		Perrin:1971:CAA%
		}.
\NAMECITE{Conjecture}{%
		Berstel:1974:CG%
		}.
\NAMECITE{Conjunctive}{%
		Biskup:1995:OSC%
		}.
\NAMECITE{Connected}{%
		Kunde:1987:LBS%
		}.
\NAMECITE{connectedness}{%
		Giannella:2002:APC%
		}.
\NAMECITE{Connection}{%
		Siekmann:1980:PCG%
		}.
\NAMECITE{Connective}{%
		VandenBussche:1993:MDC%
		}.
\NAMECITE{Connective-Free}{%
		VandenBussche:1993:MDC%
		}.
\NAMECITE{connectivity}{%
		Geerts:2005:DVD%
		}.
\NAMECITE{Conquer}{%
		Guting:1984:ODC%
		}.
\NAMECITE{{Conradi}}{%
		Silberschatz:1978:RSC%
		}.
\NAMECITE{Consensus}{%
		Kumar:1996:OCH%
		}.
\NAMECITE{Conservation}{%
		Bartsch:1978:CLG%
		}.
\NAMECITE{Conservative}{%
		Nahapetian:1973:NFG%
		}.
\NAMECITE{Considerations}{%
		Staphylopatis:1982:PCP%
		}.
\NAMECITE{Considered}{%
		Donahue:1977:LCU%
		}.
\NAMECITE{consistency}{%
		Schewe:1999:TTC%
		}.
\NAMECITE{Consistent}{%
		Hoare:1974:CCF%
		}.
\NAMECITE{Constant}{%
		Sommerhalder:1983:PLR%
		}.
\NAMECITE{Constant-time-maintainable}{%
		Chan:1988:GDS%
		}.
\NAMECITE{Constants}{%
		Djidjev:1997:RCS%
		}.
\NAMECITE{constraint}{%
		Choy:1978:OTC%
		}.
\NAMECITE{Constraints}{%
		Bruno:1985:STE%
		}.
\NAMECITE{Construct}{%
		Qian:1991:EPB%
		}.
\NAMECITE{Constructibility}{%
		Loizou:1987:LPJ%
		}.
\NAMECITE{Constructing}{%
		Pager:1977:PGM%
		}.
\NAMECITE{Construction}{%
		Nehmer:1975:DPC%
		}.
\NAMECITE{Constructions}{%
		Haldar:1996:SEW%
		}.
\NAMECITE{Constructive}{%
		Drabent:1995:WFA%
		}.
\NAMECITE{constructors}{%
		Duggan:2002:OTCb%
		}.
\NAMECITE{Contained}{%
		Welch:1976:SCM%
		}.
\NAMECITE{Containing}{%
		Liu:1978:PAM%
		}.
\NAMECITE{Containment}{%
		Brisaboa:1997:TBC%
		}.
\NAMECITE{Contention}{%
		Szpankowski:1987:ACR%
		}.
\NAMECITE{Contentions}{%
		Chen:1985:DFR%
		}.
\NAMECITE{Context}{%
		Salomaa:1973:SFC%
		}.
\NAMECITE{Context-Free}{%
		Salomaa:1973:SFC%
		}.
\NAMECITE{Context-Sensitive}{%
		Savitch:1973:NMA%
		}.
\NAMECITE{Context-Sensitivity}{%
		Schuler:1975:NDC%
		}.
\NAMECITE{Contextfree}{%
		Alt:1979:LBS%
		}.
\NAMECITE{Contexts}{%
		Tokuda:1981:EUR%
		}.
\NAMECITE{Contextual}{%
		Navarro:1993:CRS%
		}.
\NAMECITE{Continuation}{%
		Russell:1977:EBC%
		}.
\NAMECITE{Continued}{%
		Schonhage:1971:SBK%
		}.
\NAMECITE{Continuity}{%
		Dijkstra:1986:SFA%
		}.
\NAMECITE{Continuous}{%
		Banatre:1983:NDW%
		}.
\NAMECITE{Contour}{%
		Guting:1984:ODC%
		}.
\NAMECITE{Contr{\^o}le}{%
		Plateau:1980:EPA%
		}.
\NAMECITE{Contraction}{%
		Hsu:1995:PTC%
		}.
\NAMECITE{contribution}{%
		Hehner:1979:DCO%
		}.
\NAMECITE{Contributions}{%
		Levi:1988:CSL%
		}.
\NAMECITE{control}{%
		Nielsen:1975:ESC%
		}.
\NAMECITE{Controllable}{%
		Graf:1986:LSP%
		}.
\NAMECITE{Controlled}{%
		Rozenberg:1972:DCP%
		}.
\NAMECITE{Conventions}{%
		Hehner:1988:TCC%
		}.
\NAMECITE{convergence}{%
		Kahrs:2007:IRM%
		}.
\NAMECITE{Converting}{%
		VandenBussche:1998:CUF%
		}.
\NAMECITE{Convex}{%
		Lipski:1981:EAF%
		}.
\NAMECITE{cooperation}{%
		Bergstra:2007:SCE%
		}.
\NAMECITE{Cooperative}{%
		Shen:1988:CDD%
		}.
\NAMECITE{Coordinating}{%
		Lauer:1975:FSC%
		}.
\NAMECITE{Coordination}{%
		Rabin:1982:CCP%
		}.
\NAMECITE{cope}{%
		Hesselink:2006:SFS%
		}.
\NAMECITE{Copy}{%
		Olderog:1981:SCH%
		}.
\NAMECITE{Coroutine}{%
		Kearns:1983:IRC%
		}.
\NAMECITE{Coroutines}{%
		Clarke:1980:PCC%
		}.
\NAMECITE{Correct}{%
		Langmaack:1973:CPP%
		}.
\NAMECITE{Correcting}{%
		Rohrich:1980:MAC%
		}.
\NAMECITE{Correction}{%
		Levy:1975:ACS%
		}.
\NAMECITE{Corrections}{%
		Jacobs:1988:CSS%
		}.
\NAMECITE{correctness}{%
		Hoare:1972:PCD%
		}.
\NAMECITE{Correspondence}{%
		Ruohonen:1983:SVP%
		}.
\NAMECITE{Corresponding}{%
		Penttonen:1974:DLC%
		}.
\NAMECITE{Corrigenda}{%
		Hoare:1974:ACA%
		}.
\NAMECITE{corrigendum}{%
		Akkerman:2004:CDT%
		}.
\NAMECITE{Cost}{%
		Hu:1972:LUB%
		}.
\NAMECITE{cost-effectiveness}{%
		Abolhassan:1999:CEP%
		}.
\NAMECITE{Costs}{%
		Rosenberg:1978:DET%
		}.
\NAMECITE{{COSY}}{%
		Lauer:1979:CSS%
		}.
\NAMECITE{Counter}{%
		Monien:1977:LPD%
		}.
\NAMECITE{Counterexamples}{%
		Orman:1997:RDC%
		}.
\NAMECITE{counterparts}{%
		Andrei:2004:SEC%
		}.
\NAMECITE{Counting}{%
		Kobler:1989:CA%
		}.
\NAMECITE{Coupled}{%
		Kameda:1977:FCR%
		}.
\NAMECITE{Cover}{%
		Monien:1985:RNA%
		}.
\NAMECITE{Coverage}{%
		Paul:1975:BMU%
		}.
\NAMECITE{Covering}{%
		Soisalon-Soininen:1982:CRC%
		}.
\NAMECITE{Coverings}{%
		Reusch:1986:MCI%
		}.
\NAMECITE{Covers}{%
		Nijholt:1980:SNF%
		}.
\NAMECITE{{CPP}}{%
		Chakka:2001:MMM%
		}.
\NAMECITE{{CPP/GE/c/L}}{%
		Chakka:2001:MMM%
		}.
\NAMECITE{{CRCW}}{%
		Saxena:1996:PIS%
		}.
\NAMECITE{Creation}{%
		Baeten:1992:APC%
		}.
\NAMECITE{Criterion}{%
		Deussen:1975:DCV%
		}.
\NAMECITE{Critical}{%
		Habermann:1973:CCP%
		}.
\NAMECITE{crochet}{%
		Boasson:1973:FLT%
		}.
\NAMECITE{cross}{%
		Hayes:1992:MRZ%
		}.
\NAMECITE{Crossing}{%
		Mitrana:1997:IBS%
		}.
\NAMECITE{Crossing-Over}{%
		Mitrana:1997:IBS%
		}.
\NAMECITE{Crypt}{%
		Bauer:1988:CEA%
		}.
\NAMECITE{Crypt-equivalent}{%
		Bauer:1988:CEA%
		}.
\NAMECITE{{CSMA}}{%
		Franta:1980:APC%
		}.
\NAMECITE{{CSP}}{%
		Soundararajan:1986:TCC%
		}.
\NAMECITE{cube}{%
		Epstein:2005:OSC%
		}.
\NAMECITE{cubic}{%
		Scott:2007:BCT%
		}.
\NAMECITE{customers}{%
		Chakka:2001:MMM%
		}.
\NAMECITE{Cycle}{%
		Djidjev:1997:RCS%
		}.
\NAMECITE{Cyclic}{%
		Franta:1976:MAC%
		}.
\NAMECITE{Cylinder}{%
		Autebert:1979:OCA%
		}.
\NAMECITE{Cylindre}{%
		Autebert:1979:OCA%
		}.


\NAMECITE{D}{%
		Berry:1981:RRD%
		}.
\NAMECITE{{D0L}}{%
		Honkala:2007:NBD%
		}.
\NAMECITE{dans}{%
		Bouchet:1979:PRS%
		}.
\NAMECITE{{Darlington}}{%
		Barstow:1980:RSS%
		}.
\NAMECITE{Darstellungen}{%
		Stadel:1981:BVI%
		}.
\NAMECITE{Data}{%
		Turski:1971:MDS%
		}.
\NAMECITE{Data-Flow}{%
		Hsieh:1997:FGD%
		}.
\NAMECITE{Data-Intensive}{%
		Tuzhilin:1996:MDI%
		}.
\NAMECITE{Database}{%
		Biskup:1978:CRM%
		}.
\NAMECITE{Databases}{%
		Kung:1983:OTC,%
		Levene:1991:CNV%
		}.
\NAMECITE{Dataflow}{%
		Horwitz:1987:EGI%
		}.
\NAMECITE{datalog}{%
		Greco:2001:ESD,%
		Tuzhilin:1993:QDP%
		}.
\NAMECITE{Datenstrukturen}{%
		Ehrich:1975:GTDa%
		}.
\NAMECITE{d'attente}{%
		Rosenberg:1986:FAE%
		}.
\NAMECITE{{Daubechies}}{%
		Culik:1997:IDW%
		}.
\NAMECITE{{David}}{%
		Dijkstra:1976:GTD%
		}.
\NAMECITE{{DB}}{%
		Welch:1976:SCM%
		}.
\NAMECITE{{DB/DC}}{%
		Welch:1976:SCM%
		}.
\NAMECITE{{DC}}{%
		Welch:1976:SCM%
		}.
\NAMECITE{deadlines}{%
		Cheng:2000:SMS%
		}.
\NAMECITE{Deadlock}{%
		Munch-Andersen:1977:SAJ%
		}.
\NAMECITE{Deadlock-Freedom}{%
		Chen:1985:DFR%
		}.
\NAMECITE{Deadlocking}{%
		Vogler:1989:FSD%
		}.
\NAMECITE{deal}{%
		Queille:1983:FRP%
		}.
\NAMECITE{deallocation}{%
		Brodal:2005:FAD%
		}.
\NAMECITE{debugging}{%
		Degano:1999:CDM%
		}.
\NAMECITE{December}{%
		Bauer:1989:MAP%
		}.
\NAMECITE{Decidability}{%
		Deussen:1975:DCV%
		}.
\NAMECITE{Decidable}{%
		Avenhaus:1978:SKGb%
		}.
\NAMECITE{Deciding}{%
		Otto:1986:DWM%
		}.
\NAMECITE{Decision}{%
		Miyakawa:1985:ODT%
		}.
\NAMECITE{Decomposable}{%
		Courtois:1976:DMP%
		}.
\NAMECITE{Decomposing}{%
		Aref:1993:DWM%
		}.
\NAMECITE{Decomposition}{%
		Brandwajn:1974:MTS%
		}.
\NAMECITE{decompositions}{%
		Ehrenfeucht:1990:CSR%
		}.
\NAMECITE{Decreasing}{%
		Leguy:1982:LSC%
		}.
\NAMECITE{d{\'e}croissants}{%
		Leguy:1982:LSC%
		}.
\NAMECITE{Dedicated}{%
		Liu:1978:PAM%
		}.
\NAMECITE{Deduction}{%
		deBruin:1981:GSS%
		}.
\NAMECITE{Deductive}{%
		Torlone:1994:UOD%
		}.
\NAMECITE{Deep}{%
		Meduna:2006:DPA%
		}.
\NAMECITE{Defined}{%
		Klingler:1981:GBA%
		}.
\NAMECITE{Defining}{%
		Ehrenfeucht:1974:NVH%
		}.
\NAMECITE{Definiteness}{%
		Sondergaard:1990:RTD%
		}.
\NAMECITE{Definition}{%
		Hoare:1973:ADP%
		}.
\NAMECITE{definitions}{%
		FernandezdelaVega:1998:ACC%
		}.
\NAMECITE{deformation}{%
		Bozapalidis:2008:PD%
		}.
\NAMECITE{Degree}{%
		Seidl:1989:FDA%
		}.
\NAMECITE{Degrees}{%
		Schuler:1975:NDC%
		}.
\NAMECITE{Delay}{%
		Hennessy:1984:AFD%
		}.
\NAMECITE{Delays}{%
		Franta:1980:APC%
		}.
\NAMECITE{Delegation}{%
		vandenBos:1991:PCO%
		}.
\NAMECITE{Deleted}{%
		Laurent:1997:UDT%
		}.
\NAMECITE{Deleting}{%
		Doberkat:1982:DRH%
		}.
\NAMECITE{Delivery}{%
		Woeginger:1994:HPM%
		}.
\NAMECITE{Demand}{%
		Gelenbe:1973:PSD,%
		Babich:1978:MADb%
		}.
\NAMECITE{Demonic}{%
		McIver:2001:DAU%
		}.
\NAMECITE{Denotational}{%
		Nielson:1982:DFD%
		}.
\NAMECITE{Dense}{%
		Li:2006:CDL%
		}.
\NAMECITE{Density}{%
		Kemp:1980:NDI%
		}.
\NAMECITE{Dependability}{%
		Grassi:1994:DEH%
		}.
\NAMECITE{Dependence}{%
		Suzuki:1983:TMS,%
		Matsumoto:1996:AAP%
		}.
\NAMECITE{Dependencies}{%
		Biskup:1978:CRM%
		}.
\NAMECITE{Dependency}{%
		Su:1994:DPS%
		}.
\NAMECITE{Dependent}{%
		Sutner:1988:MPA%
		}.
\NAMECITE{Depth}{%
		Tarjan:1976:EDS%
		}.
\NAMECITE{Depth-First}{%
		Tarjan:1976:EDS%
		}.
\NAMECITE{Deques}{%
		Richards:1992:SQD%
		}.
\NAMECITE{derandomization}{%
		Han:1999:PPC%
		}.
\NAMECITE{Derivation}{%
		Penttonen:1974:DLC%
		}.
\NAMECITE{Derivational}{%
		Igarashi:1977:GPD%
		}.
\NAMECITE{Derivations}{%
		Back:1988:CRP%
		}.
\NAMECITE{derived}{%
		Ravelo:1999:TGA%
		}.
\NAMECITE{Deriving}{%
		Rosen:1975:DGG%
		}.
\NAMECITE{descent}{%
		Okhotin:2007:RDP%
		}.
\NAMECITE{Describing}{%
		Gries:1973:DAH%
		}.
\NAMECITE{Description}{%
		Earley:1975:APS%
		}.
\NAMECITE{Descriptively}{%
		Nishimura:1980:DCP%
		}.
\NAMECITE{Design}{%
		Smith:19xx:SDG%
		}.
\NAMECITE{Designed}{%
		Berry:1981:RRD%
		}.
\NAMECITE{Detecting}{%
		Neraud:1995:DMI%
		}.
\NAMECITE{Detection}{%
		Banatre:1983:NDW%
		}.
\NAMECITE{Determinancy}{%
		Hartmanis:1972:NDS%
		}.
\NAMECITE{Determinism}{%
		Paul:1980:AIG%
		}.
\NAMECITE{Deterministic}{%
		Labetoulle:1976:SQN,%
		Nielsen:1974:NHCa%
		}.
\NAMECITE{deux}{%
		Nain:1983:PTE%
		}.
\NAMECITE{Development}{%
		Jones:1979:CTD%
		}.
\NAMECITE{Developmental}{%
		Rozenberg:1973:DSL%
		}.
\NAMECITE{device}{%
		Csuhaj-Varju:2000:ESL%
		}.
\NAMECITE{Devices}{%
		Hartmanis:1972:NDS%
		}.
\NAMECITE{Diagrams}{%
		Savicky:1997:EAT%
		}.
\NAMECITE{Different}{%
		Nielsen:1974:NHCb%
		}.
\NAMECITE{{Diffusion}}{%
		Gelenbe:1979:PMC%
		}.
\NAMECITE{digital}{%
		Drmota:2002:VHD%
		}.
\NAMECITE{{Dijkstra}}{%
		Dewar:1982:SMA%
		}.
\NAMECITE{{Dijkstra-Scholten}}{%
		Bijlsma:1998:DSP%
		}.
\NAMECITE{Dimension}{%
		Huynh:1985:CWP%
		}.
\NAMECITE{Dimensional}{%
		Overmars:1982:DMD%
		}.
\NAMECITE{{Diophantine}}{%
		Morito:1980:UBA%
		}.
\NAMECITE{Direct}{%
		Seiferas:1977:IAD%
		}.
\NAMECITE{Directed}{%
		Majster:1977:EDG%
		}.
\NAMECITE{Direction}{%
		Rozenberg:1972:DCP%
		}.
\NAMECITE{Directory}{%
		Anonymous:2003:MPP%
		}.
\NAMECITE{Disambiguating}{%
		Thorup:1996:DGE%
		}.
\NAMECITE{Discrete}{%
		Mescheder:1980:NAO%
		}.
\NAMECITE{Discrete-Time}{%
		Daduna:1981:DTR%
		}.
\NAMECITE{Disjoint}{%
		Tarjan:1976:EDS%
		}.
\NAMECITE{disjointedness}{%
		Liu:2002:CDP%
		}.
\NAMECITE{Disk}{%
		Schlumberger:1973:ODM%
		}.
\NAMECITE{Dispatcher}{%
		Nehmer:1975:DPC%
		}.
\NAMECITE{Disque}{%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{Distance}{%
		Eiter:1997:DMP%
		}.
\NAMECITE{Distances}{%
		Booth:1981:CEA%
		}.
\NAMECITE{distinctness}{%
		Ben-Amram:2003:EDO%
		}.
\NAMECITE{Distributed}{%
		Bouchet:1979:PRS%
		}.
\NAMECITE{Distribution}{%
		Schassberger:1981:RTD%
		}.
\NAMECITE{Distributions}{%
		Daduna:1981:DTR%
		}.
\NAMECITE{Diverse}{%
		Boasson:1973:DFL%
		}.
\NAMECITE{diverses}{%
		Boasson:1973:DFL%
		}.
\NAMECITE{Divide}{%
		Guting:1984:ODC%
		}.
\NAMECITE{Divide-and-Conquer}{%
		Guting:1984:ODC%
		}.
\NAMECITE{{DLOGTIME}}{%
		Iwamoto:2007:TLD%
		}.
\NAMECITE{{DLOGTIME}-uniform}{%
		Iwamoto:2007:TLD%
		}.
\NAMECITE{{DNA}}{%
		Kari:1998:DCS%
		}.
\NAMECITE{do}{%
		Ben-Amram:2000:CCP,%
		Hehner:1979:DCO%
		}.
\NAMECITE{{DOL}}{%
		Culik:1978:UEP%
		}.
\NAMECITE{Domain}{%
		Hull:1994:DIR%
		}.
\NAMECITE{Domains}{%
		Schmidt:1989:DSD%
		}.
\NAMECITE{donn{\'e}es}{%
		Bouchet:1979:PRS%
		}.
\NAMECITE{double}{%
		Ding:1993:RMM%
		}.
\NAMECITE{double-ended}{%
		Ding:1993:RMM%
		}.
\NAMECITE{Down}{%
		Knuth:1971:TSA%
		}.
\NAMECITE{Drawing}{%
		Supowit:1983:CDT%
		}.
\NAMECITE{Drum}{%
		Adams:1979:EVM%
		}.
\NAMECITE{{DSL}}{%
		Bergstra:1983:SMS%
		}.
\NAMECITE{Dual}{%
		Bruno:1985:PBD%
		}.
\NAMECITE{Duality}{%
		Back:1990:DSL%
		}.
\NAMECITE{d'un}{%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{d'une}{%
		Mikou:1979:AOP%
		}.
\NAMECITE{Duplicate}{%
		Huang:1989:SDK%
		}.
\NAMECITE{Duplicate-Key}{%
		Huang:1989:SDK%
		}.
\NAMECITE{durch}{%
		Stadel:1981:BVI%
		}.
\NAMECITE{Dynamic}{%
		Unterauer:1979:DWB%
		}.
\NAMECITE{Dynamic-Sized}{%
		Chin:1995:TMD%
		}.
\NAMECITE{dynamical}{%
		Wisniewski:2007:GAN%
		}.
\NAMECITE{Dynamics}{%
		Fiadeiro:1988:SVD%
		}.


\NAMECITE{Easily}{%
		Becker:1987:ETO%
		}.
\NAMECITE{Easy}{%
		Hemaspaandra:1997:ESH%
		}.
\NAMECITE{{ECO}}{%
		Bacchelli:2004:EGC%
		}.
\NAMECITE{Edge}{%
		Tarjan:1976:EDS%
		}.
\NAMECITE{Edge-Disjoint}{%
		Tarjan:1976:EDS%
		}.
\NAMECITE{Edges}{%
		Booth:1981:CEA%
		}.
\NAMECITE{{Editor}}{%
		Broy:2001:ELE%
		}.
\NAMECITE{Editorial}{%
		Olderog:2007:EHS,%
		Broy:2001:ELE%
		}.
\NAMECITE{{Edsger}}{%
		Bauer:2003:EWD%
		}.
\NAMECITE{Effect}{%
		MacVeigh:1977:EDR%
		}.
\NAMECITE{Effective}{%
		Bozapalidis:1991:ECS%
		}.
\NAMECITE{Effectively}{%
		Kamimura:1985:EGI%
		}.
\NAMECITE{effectiveness}{%
		Abolhassan:1999:CEP%
		}.
\NAMECITE{Effects}{%
		Kowaltowski:1977:AAS%
		}.
\NAMECITE{Efficiency}{%
		Iglehart:1981:RSR%
		}.
\NAMECITE{Efficient}{%
		Anderson:1973:ELP%
		}.
\NAMECITE{Efficiently}{%
		Dube:2000:EBP%
		}.
\NAMECITE{{Eigenschaften}}{%
		Ecker:1974:ELA%
		}.
\NAMECITE{Einbettungssatz}{%
		Avenhaus:1978:SKGb%
		}.
\NAMECITE{Electing}{%
		Goldreich:1987:ELR%
		}.
\NAMECITE{Element}{%
		Ben-Amram:2003:EDO%
		}.
\NAMECITE{Elemental}{%
		deBakker:1987:OMS%
		}.
\NAMECITE{Elementary}{%
		Nielsen:1992:ETS%
		}.
\NAMECITE{Elements}{%
		Hwang:1971:OME%
		}.
\NAMECITE{Eliminate}{%
		Bird:1984:UCP%
		}.
\NAMECITE{Eliminates}{%
		Takeichi:1987:PPE%
		}.
\NAMECITE{Eliminating}{%
		Pager:1978:EUP%
		}.
\NAMECITE{Elimination}{%
		Ullman:1973:FAE%
		}.
\NAMECITE{ELL}{%
		Lewi:1978:EPG%
		}.
\NAMECITE{ELR}{%
		Heilbrunner:1979:DEE%
		}.
\NAMECITE{embedded}{%
		Andrei:2004:SEC%
		}.
\NAMECITE{Embedding}{%
		Avenhaus:1978:SKGb%
		}.
\NAMECITE{Emptiness}{%
		Claus:1981:BEP%
		}.
\NAMECITE{Emptiness-Problem}{%
		Claus:1981:BEP%
		}.
\NAMECITE{Emulator}{%
		Efe:1997:OEV%
		}.
\NAMECITE{{eNCE}}{%
		Kim:2001:ERA%
		}.
\NAMECITE{Encodements}{%
		Gillett:1984:BTE%
		}.
\NAMECITE{encoding}{%
		Levi:2006:TEB%
		}.
\NAMECITE{Encodings}{%
		Rosenberg:1978:DET%
		}.
\NAMECITE{ended}{%
		Ding:1993:RMM%
		}.
\NAMECITE{endliche}{%
		Kaufholz:1972:PEA,%
		Schnorr:1972:EAZ%
		}.
\NAMECITE{endlichen}{%
		Eichner:1973:LRE%
		}.
\NAMECITE{endlicher}{%
		Kandzia:1973:TPL%
		}.
\NAMECITE{Endogenous}{%
		Landwehr:1976:EPM%
		}.
\NAMECITE{enforcement}{%
		Schewe:1999:TTC%
		}.
\NAMECITE{Enhanced}{%
		Buttner:2005:EPC%
		}.
\NAMECITE{entre}{%
		Nain:1983:PTE%
		}.
\NAMECITE{Entreeings}{%
		Amerins:1993:EE%
		}.
\NAMECITE{Entropy}{%
		Horibe:1979:MER%
		}.
\NAMECITE{entscheidbare}{%
		Avenhaus:1978:SKGb%
		}.
\NAMECITE{Enumerable}{%
		Araki:1981:FLE%
		}.
\NAMECITE{Enumeration}{%
		Szelepcsenyi:1988:MFE%
		}.
\NAMECITE{Environment}{%
		Giloi:1975:IGI%
		}.
\NAMECITE{environments}{%
		Kim:2004:MMT%
		}.
\NAMECITE{{EOL}}{%
		Nielsen:1975:ESC%
		}.
\NAMECITE{Epsilon}{%
		Agrawal:1983:EIL%
		}.
\NAMECITE{Equal}{%
		Araki:1981:FLE%
		}.
\NAMECITE{equals}{%
		Marcus:1992:EOE%
		}.
\NAMECITE{Equation}{%
		Morito:1980:UBA%
		}.
\NAMECITE{Equational}{%
		Diaconescu:1996:CBM%
		}.
\NAMECITE{Equations}{%
		Mongenet:1994:GTM%
		}.
\NAMECITE{Equilibrium}{%
		El-Affendi:1983:MEA%
		}.
\NAMECITE{Equivalence}{%
		Brandwajn:1974:MTS,%
		Sabelfeld:1978:ATF%
		}.
\NAMECITE{Equivalences}{%
		DeNicola:1987:EET%
		}.
\NAMECITE{Equivalent}{%
		Hikita:1979:CRP%
		}.
\NAMECITE{erkennbaren}{%
		Ecker:1974:ELA%
		}.
\NAMECITE{Erratum}{%
		Casanova:1981:EGP%
		}.
\NAMECITE{Error}{%
		Lewi:1978:EPG,%
		Ameur:1996:TEN%
		}.
\NAMECITE{Errors}{%
		Levy:1975:ACS%
		}.
\NAMECITE{{ETOL}}{%
		Ehrenfeucht:1976:PCL%
		}.
\NAMECITE{{Euclid}}{%
		London:1978:PRP%
		}.
\NAMECITE{{Eulerian}}{%
		Whaley:1991:PTE%
		}.
\NAMECITE{Evaluate}{%
		Kemp:1979:ANR%
		}.
\NAMECITE{Evaluating}{%
		Pettorossi:1982:DVE%
		}.
\NAMECITE{Evaluation}{%
		Horowitz:1974:UVC%
		}.
\NAMECITE{Evaluators}{%
		Farrow:1986:CSO%
		}.
\NAMECITE{Even}{%
		Aycock:2001:EFG%
		}.
\NAMECITE{Event}{%
		Kingston:1985:ATA%
		}.
\NAMECITE{Every}{%
		Roth:1992:EBP%
		}.
\NAMECITE{Evolutionary}{%
		Csuhaj-Varju:2000:ESL%
		}.
\NAMECITE{evolutions}{%
		Walther:2004:PRE%
		}.
\NAMECITE{evolving}{%
		Csuhaj-Varju:2000:ESL%
		}.
\NAMECITE{Exact}{%
		Gelenbe:1976:PMC%
		}.
\NAMECITE{Example}{%
		Tompa:1980:PES%
		}.
\NAMECITE{examples}{%
		Khardon:1999:REP%
		}.
\NAMECITE{Exception}{%
		Lodaya:1990:PTE%
		}.
\NAMECITE{Exclusion}{%
		Anderson:1993:FGS%
		}.
\NAMECITE{Execution}{%
		Staphylopatis:1982:PCP%
		}.
\NAMECITE{Exhaustive}{%
		Bacchelli:2004:EGC,%
		Babich:1978:MADa%
		}.
\NAMECITE{Existence}{%
		Bouge:1988:ESA%
		}.
\NAMECITE{Expansion}{%
		Harrison:1991:ENL%
		}.
\NAMECITE{Expansions}{%
		Schonhage:1971:SBK%
		}.
\NAMECITE{Expected}{%
		Baeza-Yates:1989:EBB%
		}.
\NAMECITE{Experience}{%
		Halbwachs:1992:EPR%
		}.
\NAMECITE{Experimentally}{%
		Adams:1979:EVM%
		}.
\NAMECITE{Explaining}{%
		Pritchard:1982:EWS%
		}.
\NAMECITE{Explanation}{%
		Anderson:1991:NEG%
		}.
\NAMECITE{explicit}{%
		Bergstra:2007:SCE%
		}.
\NAMECITE{Exponential}{%
		Giammo:1976:VCP,%
		Rosenberg:1986:FAE%
		}.
\NAMECITE{Exponentially}{%
		Jacobsen:2005:EDN%
		}.
\NAMECITE{exponentielles}{%
		Rosenberg:1986:FAE%
		}.
\NAMECITE{Expressed}{%
		Huet:1978:PAP%
		}.
\NAMECITE{Expressibility}{%
		Marcus:1992:EOE%
		}.
\NAMECITE{expression}{%
		Dube:2000:EBP%
		}.
\NAMECITE{Expressions}{%
		Kuck:1974:BPE%
		}.
\NAMECITE{Expressive}{%
		Makowsky:1986:EPD%
		}.
\NAMECITE{expressiveness}{%
		Ilie:2000:ESS%
		}.
\NAMECITE{{EXSPACE}}{%
		Deussen:1977:VWG%
		}.
\NAMECITE{Extended}{%
		Coffman:1971:PPE%
		}.
\NAMECITE{Extendible}{%
		Rosenberg:1977:SSB%
		}.
\NAMECITE{Extending}{%
		Greco:2001:ESD%
		}.
\NAMECITE{Extensibility}{%
		Chan:1988:GDS%
		}.
\NAMECITE{Extension}{%
		Menzel:1973:ETL%
		}.
\NAMECITE{Extensional}{%
		DeNicola:1987:EET%
		}.
\NAMECITE{Extensions}{%
		Steensgaard-Madsen:1979:PCR%
		}.
\NAMECITE{External}{%
		Cunto:1988:TUM%
		}.
\NAMECITE{Extraction}{%
		Huang:1989:SDK%
		}.
\NAMECITE{Extremal}{%
		Booth:1981:CEA%
		}.


\NAMECITE{F}{%
		Levene:1991:CNV%
		}.
\NAMECITE{face}{%
		Hesselink:2003:PRF%
		}.
\NAMECITE{Facility}{%
		Baccelli:1981:ASF%
		}.
\NAMECITE{factors}{%
		Carpi:2000:SFP%
		}.
\NAMECITE{Failure}{%
		Drabent:1995:WFA%
		}.
\NAMECITE{Failures}{%
		Gelenbe:1986:ADC%
		}.
\NAMECITE{Fair}{%
		Costa:1984:FCC%
		}.
\NAMECITE{Fairness}{%
		Queille:1983:FRP%
		}.
\NAMECITE{Families}{%
		Boasson:1973:DFL,%
		Boasson:1973:FLT%
		}.
\NAMECITE{familles}{%
		Boasson:1973:DFL%
		}.
\NAMECITE{Family}{%
		Giammo:1976:VCP%
		}.
\NAMECITE{fan-out}{%
		Mahmoud:2004:LLT%
		}.
\NAMECITE{Fast}{%
		Ullman:1973:FAE,%
		Schonhage:1971:SBK%
		}.
\NAMECITE{Faster}{%
		Wu:1986:FAA%
		}.
\NAMECITE{Fault}{%
		Parent:1977:NIP%
		}.
\NAMECITE{Fault-Tolerance}{%
		Huang:1989:AMP%
		}.
\NAMECITE{Fault-Tolerant}{%
		Bannister:1983:TAF%
		}.
\NAMECITE{{FDs}}{%
		Vincent:2007:EBF%
		}.
\NAMECITE{Features}{%
		Manna:1981:PFP%
		}.
\NAMECITE{Feedback}{%
		Kameda:1977:FCR%
		}.
\NAMECITE{Feedback-Coupled}{%
		Kameda:1977:FCR%
		}.
\NAMECITE{ferm{\'e}es}{%
		Boasson:1973:DFL%
		}.
\NAMECITE{fermeture}{%
		Pansiot:1983:HFC%
		}.
\NAMECITE{few}{%
		BarYehuda:1998:PSF%
		}.
\NAMECITE{fibers}{%
		Brijder:2008:FRR%
		}.
\NAMECITE{fibration}{%
		Colomb:2001:CTF%
		}.
\NAMECITE{fields}{%
		Walter:1972:I%
		}.
\NAMECITE{{FIFO}}{%
		Finkel:1988:FNO%
		}.
\NAMECITE{File}{%
		Leung:1982:EFL%
		}.
\NAMECITE{Files}{%
		Rosenberg:1986:FAE%
		}.
\NAMECITE{Find}{%
		Morito:1980:UBA%
		}.
\NAMECITE{Finding}{%
		Lipski:1981:EAF%
		}.
\NAMECITE{Fine}{%
		Anderson:1993:FGS%
		}.
\NAMECITE{Fine-Grained}{%
		Anderson:1993:FGS%
		}.
\NAMECITE{Finis}{%
		Perrin:1971:CAA%
		}.
\NAMECITE{Finite}{%
		Perrin:1971:CAA%
		}.
\NAMECITE{Finitely}{%
		Langmaack:1982:TPF%
		}.
\NAMECITE{Finiteness}{%
		DeFrancesco:1994:PFC%
		}.
\NAMECITE{First}{%
		Tarjan:1976:EDS,%
		Anonymous:2003:MPP%
		}.
\NAMECITE{First-Order}{%
		Wand:1980:FOI%
		}.
\NAMECITE{Fixed}{%
		Leung:1982:EFL%
		}.
\NAMECITE{Fixed-Length}{%
		Leung:1982:EFL%
		}.
\NAMECITE{Fixpoint}{%
		Dijkstra:1986:SFA%
		}.
\NAMECITE{fixpoints}{%
		Morris:2007:DUN%
		}.
\NAMECITE{Flow}{%
		Nahapetian:1973:NFG%
		}.
\NAMECITE{Flow-Time}{%
		Blazewicz:1987:MMF%
		}.
\NAMECITE{Flowgraphs}{%
		Vasudevan:1982:ILF%
		}.
\NAMECITE{Flows}{%
		Nahapetian:1973:NFG%
		}.
\NAMECITE{{Flu{\ss}diagramme}}{%
		Sabelfeld:1978:ATF%
		}.
\NAMECITE{{FO}}{%
		Giannella:2002:APC%
		}.
\NAMECITE{Fooling}{%
		Hromkovic:1985:FTW%
		}.
\NAMECITE{Forced}{%
		Szelepcsenyi:1988:MFE%
		}.
\NAMECITE{Forests}{%
		Bozapalidis:1994:TFF%
		}.
\NAMECITE{Forgetting}{%
		Jancar:1996:FAC%
		}.
\NAMECITE{Fork}{%
		Duda:1987:PEF%
		}.
\NAMECITE{Form}{%
		Soisalon-Soininen:1979:MTG%
		}.
\NAMECITE{Formal}{%
		Hoare:1974:CCF%
		}.
\NAMECITE{Formalism}{%
		Majster:1977:EDG%
		}.
\NAMECITE{Formalisms}{%
		Kfoury:1985:NSC%
		}.
\NAMECITE{{Formel{\"u}bersetzung}}{%
		Kern:1977:SF%
		}.
\NAMECITE{Formes}{%
		Autebert:1982:FLG%
		}.
\NAMECITE{Forms}{%
		Salomaa:1973:SFC%
		}.
\NAMECITE{Formula}{%
		Kern:1977:SF%
		}.
\NAMECITE{formula-based}{%
		Santone:2002:AVC%
		}.
\NAMECITE{formulae}{%
		Commentz-Walter:1979:SDT%
		}.
\NAMECITE{Formulas}{%
		Rozenberg:1973:DSL%
		}.
\NAMECITE{Forte}{%
		Rodriguez:1981:IFC%
		}.
\NAMECITE{{Fortran}}{%
		Matsumoto:1996:AAP%
		}.
\NAMECITE{Forward}{%
		Bernabeu-Auban:1991:RFS%
		}.
\NAMECITE{{Foundation}}{%
		Ehrich:1975:GTDa%
		}.
\NAMECITE{Foundations}{%
		Hulsmann:1991:TFH%
		}.
\NAMECITE{{Fourier}}{%
		Mescheder:1980:NAO%
		}.
\NAMECITE{Fractal}{%
		Culik:1997:CFG%
		}.
\NAMECITE{Fractions}{%
		Schonhage:1971:SBK%
		}.
\NAMECITE{Fragmentation}{%
		Bromley:1980:MFB%
		}.
\NAMECITE{Fragmented}{%
		Meghini:1985:QFR%
		}.
\NAMECITE{Framework}{%
		Nielson:1982:DFD%
		}.
\NAMECITE{Frameworks}{%
		Kam:1977:MDF%
		}.
\NAMECITE{Free}{%
		Salomaa:1973:SFC%
		}.
\NAMECITE{Freedom}{%
		Chen:1985:DFR%
		}.
\NAMECITE{{French}}{%
		Perrin:1971:CAA%
		}.
\NAMECITE{Fringe}{%
		Devroye:1993:EHF%
		}.
\NAMECITE{Fringe-Balanced}{%
		Devroye:1993:EHF%
		}.
\NAMECITE{fully}{%
		Boreale:1998:FAS%
		}.
\NAMECITE{function}{%
		Harrison:1992:SFI%
		}.
\NAMECITE{Functional}{%
		Cremers:1978:FBD%
		}.
\NAMECITE{Functionally}{%
		Liu:1978:PAM%
		}.
\NAMECITE{Functions}{%
		Clint:1972:PPJ,%
		Ashcroft:1976:RPP%
		}.
\NAMECITE{Fundamental}{%
		Buzen:1976:FOL%
		}.
\NAMECITE{Fundamentals}{%
		Janicki:1997:FMC%
		}.
\NAMECITE{{Funktionen}}{%
		Ehrich:1973:MMV%
		}.
\NAMECITE{Further}{%
		Carter:1982:FAC%
		}.
\NAMECITE{Fusion}{%
		Back:1998:FSE%
		}.


\NAMECITE{G}{%
		Bartsch:1978:CLG,%
		Bartsch:1978:CLG%
		}.
\NAMECITE{{G}-queue}{%
		Chakka:2001:MMM%
		}.
\NAMECITE{{G/G/1}}{%
		Shore:1982:ITA%
		}.
\NAMECITE{{G/G/1/N}}{%
		Kouvatsos:1986:MEG%
		}.
\NAMECITE{{G/G/m}}{%
		Bartsch:1978:CLG%
		}.
\NAMECITE{{G/M/1}}{%
		El-Affendi:1983:MEA%
		}.
\NAMECITE{gain}{%
		Lundberg:1999:OBG%
		}.
\NAMECITE{Game}{%
		Paul:1978:TST%
		}.
\NAMECITE{Gap}{%
		Klingler:1981:GBA%
		}.
\NAMECITE{gauches}{%
		Autebert:1979:OCA%
		}.
\NAMECITE{Gauntlet}{%
		Dijkstra:1976:GTD%
		}.
\NAMECITE{GE}{%
		Chakka:2001:MMM%
		}.
\NAMECITE{General}{%
		Gelenbe:1976:BSQ%
		}.
\NAMECITE{Generalization}{%
		Sur:1995:IGN%
		}.
\NAMECITE{Generalized}{%
		Burton:1979:GRD%
		}.
\NAMECITE{generalizing}{%
		Mahmoud:2004:LLT%
		}.
\NAMECITE{Generally}{%
		Leung:1987:ASA%
		}.
\NAMECITE{Generated}{%
		Kemp:1981:LGG%
		}.
\NAMECITE{g{\'e}n{\'e}rateurs}{%
		Latteux:1980:GAL%
		}.
\NAMECITE{Generating}{%
		Mihalache:19xx:GSR%
		}.
\NAMECITE{Generation}{%
		McKellar:1972:BAS%
		}.
\NAMECITE{Generative}{%
		Maurer:1980:GGC%
		}.
\NAMECITE{Generator}{%
		Lewi:1978:EPG%
		}.
\NAMECITE{Generators}{%
		Maurer:1980:GGC%
		}.
\NAMECITE{Genericity}{%
		Berger:2005:GC%
		}.
\NAMECITE{Geometric}{%
		Chazelle:1987:STG%
		}.
\NAMECITE{Geometrical}{%
		Mongenet:1994:GTM%
		}.
\NAMECITE{Geometry}{%
		Heise:1976:OCA%
		}.
\NAMECITE{{German}}{%
		Claus:1971:VPS%
		}.
\NAMECITE{gestion}{%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{Given}{%
		Avenhaus:1978:SKGa%
		}.
\NAMECITE{Glitch}{%
		Anderson:1991:NEG%
		}.
\NAMECITE{Global}{%
		Smith:19xx:SDG%
		}.
\NAMECITE{{GLR}}{%
		Scott:2004:RND%
		}.
\NAMECITE{Go}{%
		He:1983:GPT%
		}.
\NAMECITE{{Gobang}}{%
		Reisch:1980:GPV%
		}.
\NAMECITE{Good}{%
		Hule:1978:GOF%
		}.
\NAMECITE{Goto}{%
		deBruin:1981:GSS%
		}.
\NAMECITE{{Goto}s}{%
		Arbib:1979:PRG%
		}.
\NAMECITE{Grained}{%
		Anderson:1993:FGS%
		}.
\NAMECITE{grammaires}{%
		Autebert:1982:FLG%
		}.
\NAMECITE{Grammar}{%
		Ginsburg:1975:SGF,%
		Autebert:1982:FLG%
		}.
\NAMECITE{Grammarforms}{%
		Walter:1976:GG%
		}.
\NAMECITE{Grammarhomomorphisms}{%
		Walter:1976:GG%
		}.
\NAMECITE{Grammars}{%
		Langmaack:1971:ARC%
		}.
\NAMECITE{{Grammatiken}}{%
		Stadel:1978:ZNK%
		}.
\NAMECITE{Granularity}{%
		Mehlhorn:1984:RDS%
		}.
\NAMECITE{Graph}{%
		Franck:1978:CLP%
		}.
\NAMECITE{Graphen}{%
		Rollik:1980:APG,%
		Philipp:1980:SPG%
		}.
\NAMECITE{Graphics}{%
		Giloi:1975:IGI%
		}.
\NAMECITE{Graphs}{%
		Genrich:1973:S%
		}.
\NAMECITE{{Gray}}{%
		Vajnovszki:2002:GVM%
		}.
\NAMECITE{Greed}{%
		Gillies:1991:GRS%
		}.
\NAMECITE{Greedy}{%
		Coffman:1984:PGG%
		}.
\NAMECITE{{Greibach}}{%
		Berstel:1974:CG%
		}.
\NAMECITE{grid}{%
		Ouksel:1992:RES%
		}.
\NAMECITE{grids}{%
		Ehrenfeucht:2006:ELO%
		}.
\NAMECITE{{Gries}}{%
		Dijkstra:1976:GTD%
		}.
\NAMECITE{ground}{%
		Kapur:1991:SCG%
		}.
\NAMECITE{Group}{%
		Frougny:1982:HGC%
		}.
\NAMECITE{Groups}{%
		Avenhaus:1978:SKGa%
		}.
\NAMECITE{{Grundlagen}}{%
		Ehrich:1975:GTDa%
		}.
\NAMECITE{Gruppen}{%
		Avenhaus:1978:SKGa,%
		Avenhaus:1978:SKGb%
		}.
\NAMECITE{{GSM}}{%
		Autebert:1989:IGC%
		}.
\NAMECITE{Guarantee}{%
		Coffman:1984:PGG%
		}.
\NAMECITE{Guaranteeing}{%
		Lauesen:1973:JSG%
		}.
\NAMECITE{guarding}{%
		Yen:1999:OAS%
		}.
\NAMECITE{{Gurevich}}{%
		Reisig:2003:GTS%
		}.


\NAMECITE{H}{%
		Levene:1991:CNV%
		}.
\NAMECITE{{Habermann}}{%
		Scott:1994:H%
		}.
\NAMECITE{hairpin}{%
		Kari:2007:SMH%
		}.
\NAMECITE{hairpin-free}{%
		Kari:2007:SMH%
		}.
\NAMECITE{{Hamming}}{%
		Honkala:2002:CIP%
		}.
\NAMECITE{Handling}{%
		Engels:1983:OSS%
		}.
\NAMECITE{{Hansen}}{%
		Courtois:1972:CCT%
		}.
\NAMECITE{Hard}{%
		Krivanek:1986:NHP%
		}.
\NAMECITE{Hardware}{%
		Hansen:1978:RSH%
		}.
\NAMECITE{Hashing}{%
		Flajolet:1983:PEE%
		}.
\NAMECITE{{Hausdorff}}{%
		Jurgensen:1995:LHD%
		}.
\NAMECITE{Having}{%
		Booth:1981:CEA%
		}.
\NAMECITE{{HDTOL}}{%
		Culik:1989:HMC%
		}.
\NAMECITE{Head}{%
		Ibarra:1975:HVH%
		}.
\NAMECITE{Heap}{%
		Doberkat:1982:DRH%
		}.
\NAMECITE{Heaps}{%
		Galil:1980:AEM%
		}.
\NAMECITE{Height}{%
		Devroye:1984:PAH%
		}.
\NAMECITE{Heights}{%
		Devroye:1987:BPA%
		}.
\NAMECITE{Heuristic}{%
		Nymeyer:1997:CGB%
		}.
\NAMECITE{Heuristics}{%
		Mili:1987:RHD%
		}.
\NAMECITE{{Hex}}{%
		Reisch:1981:HPV%
		}.
\NAMECITE{Hiding}{%
		Meyer:1990:HSS%
		}.
\NAMECITE{Hierarchical}{%
		Dijkstra:1971:HOS%
		}.
\NAMECITE{Hierarchical-Tree}{%
		Krivanek:1986:NHP%
		}.
\NAMECITE{Hi{\'e}rarchie}{%
		Pansiot:1983:HFC%
		}.
\NAMECITE{Hierarchies}{%
		Galil:1976:HCP%
		}.
\NAMECITE{Hierarchy}{%
		Greibach:1978:HTT,%
		Pansiot:1983:HFC%
		}.
\NAMECITE{High}{%
		Lauer:1975:FSC%
		}.
\NAMECITE{High-Level}{%
		Lauer:1975:FSC%
		}.
\NAMECITE{high-performance}{%
		ONeil:1992:STI%
		}.
\NAMECITE{Higher}{%
		Langmaack:1973:CPP%
		}.
\NAMECITE{Higher-Order}{%
		Qian:1993:ASH%
		}.
\NAMECITE{Highly}{%
		Hinz:1992:RTL%
		}.
\NAMECITE{Higman}{%
		Avenhaus:1978:SKGb,%
		Avenhaus:1978:SKGb%
		}.
\NAMECITE{History}{%
		Clarke:1980:PCC%
		}.
\NAMECITE{Hitting}{%
		Rego:1992:NAH%
		}.
\NAMECITE{{Hoare}}{%
		Ashcroft:1976:RPP%
		}.
\NAMECITE{{Hoare}-like}{%
		Olderog:1981:SCH%
		}.
\NAMECITE{{Hoare}-Logic}{%
		Damm:1983:SRH%
		}.
\NAMECITE{Home}{%
		Best:1984:FCS%
		}.
\NAMECITE{Homogeneous}{%
		Nain:1983:PTE%
		}.
\NAMECITE{homog{\`e}nes}{%
		Nain:1983:PTE%
		}.
\NAMECITE{Homomorphism}{%
		Moenck:1976:APH%
		}.
\NAMECITE{Homomorphisms}{%
		Ehrenfeucht:1974:NVH%
		}.
\NAMECITE{{Hopcroft}}{%
		Gries:1973:DAH%
		}.
\NAMECITE{{Horn}}{%
		Anderaa:1981:EHN%
		}.
\NAMECITE{hot}{%
		Duggan:2005:TBH%
		}.
\NAMECITE{{Hotz}}{%
		Frougny:1982:HGC%
		}.
\NAMECITE{{HPP}}{%
		Pan:2006:SHS%
		}.
\NAMECITE{{Huffman}}{%
		Markowsky:1981:BHT%
		}.
\NAMECITE{Hybrid}{%
		Nicollin:1993:ATG%
		}.
\NAMECITE{Hybridization}{%
		Asarin:2007:HMA%
		}.
\NAMECITE{Hyper}{%
		Maggiolo-Schettini:1996:KLP%
		}.
\NAMECITE{Hypercube}{%
		Sur:1995:IGN%
		}.
\NAMECITE{Hyperedge}{%
		Habel:1989:MDP%
		}.
\NAMECITE{Hypergraph}{%
		Engelfriet:1992:CFH%
		}.


\NAMECITE{Ianov}{%
		Ben-Ari:1978:IPS%
		}.
\NAMECITE{Ideal}{%
		Coffman:2003:IPS%
		}.
\NAMECITE{Identical}{%
		Yen:1991:PSM%
		}.
\NAMECITE{Identification}{%
		deGuzman:1995:FIB%
		}.
\NAMECITE{Identities}{%
		Wand:1980:FOI%
		}.
\NAMECITE{Idioms}{%
		Snyder:1982:RSI%
		}.
\NAMECITE{{IEH}}{%
		Sur:1995:IGN%
		}.
\NAMECITE{II}{%
		Ehrich:1975:GTDb,%
		Turski:1972:MDS%
		}.
\NAMECITE{illustrated}{%
		Engelfriet:1998:AGG%
		}.
\NAMECITE{Image}{%
		Culik:1994:PSI%
		}.
\NAMECITE{Images}{%
		Neraud:1995:DMI%
		}.
\NAMECITE{implementation}{%
		Igarashi:1975:APVa%
		}.
\NAMECITE{implementations}{%
		Nipkow:1986:NDD%
		}.
\NAMECITE{Implementing}{%
		Culik:1997:IDW%
		}.
\NAMECITE{implicants}{%
		Cordero:2002:BCS%
		}.
\NAMECITE{implicates}{%
		Cordero:2002:BCS%
		}.
\NAMECITE{Implicit}{%
		Chazelle:1987:STG%
		}.
\NAMECITE{Impossibility}{%
		Schoett:1992:TIT%
		}.
\NAMECITE{Improved}{%
		Adleman:1978:ITS%
		}.
\NAMECITE{Improvement}{%
		Backhouse:1976:AAI%
		}.
\NAMECITE{Improves}{%
		Darlington:1976:SWA%
		}.
\NAMECITE{Improving}{%
		Nicolas:1982:LII%
		}.
\NAMECITE{Impurity}{%
		Simovici:2002:IMD%
		}.
\NAMECITE{In-Place}{%
		Burnetas:1997:AIE%
		}.
\NAMECITE{In-Tree}{%
		Bruno:1985:STE%
		}.
\NAMECITE{Inclusion}{%
		Atzeni:1991:IDS%
		}.
\NAMECITE{incomplete}{%
		Deineko:1996:RPS%
		}.
\NAMECITE{Incompletely}{%
		Reusch:1986:MCI%
		}.
\NAMECITE{increasing}{%
		Cheng:2000:SMS%
		}.
\NAMECITE{Incremental}{%
		Celentano:1978:ILP%
		}.
\NAMECITE{Ind{\'e}pendance}{%
		Rodriguez:1981:IFC%
		}.
\NAMECITE{Independence}{%
		Guibas:1975:PIB%
		}.
\NAMECITE{Independent}{%
		Lamport:1976:SIP%
		}.
\NAMECITE{index}{%
		Anonymous:1988:AIV%
		}.
\NAMECITE{index-sequential}{%
		ONeil:1992:STI%
		}.
\NAMECITE{Indexes}{%
		Bayer:1972:OML%
		}.
\NAMECITE{Induction}{%
		Dijkstra:1980:SBA%
		}.
\NAMECITE{Inductive}{%
		Mitchell:1988:ICR%
		}.
\NAMECITE{inevitability}{%
		Cousot:1987:EII%
		}.
\NAMECITE{inexact}{%
		Jiang:2007:OSO%
		}.
\NAMECITE{Inference}{%
		Ernst:1977:RIP%
		}.
\NAMECITE{Inferring}{%
		Vardi:1983:IMD%
		}.
\NAMECITE{Infinitary}{%
		Back:1981:PTC%
		}.
\NAMECITE{Infinite}{%
		Kroger:1980:IPR%
		}.
\NAMECITE{Infinite-State}{%
		Esparza:1997:DMC%
		}.
\NAMECITE{Inflectional}{%
		Schott:1972:AAI%
		}.
\NAMECITE{Influence}{%
		Parent:1977:NIP%
		}.
\NAMECITE{Inform}{%
		Hehner:1988:EPM%
		}.
\NAMECITE{Information}{%
		Cremers:1978:OIS%
		}.
\NAMECITE{Inherently}{%
		Book:1976:INA%
		}.
\NAMECITE{inheritance}{%
		Costa:1994:OIB%
		}.
\NAMECITE{Inherited}{%
		Kuhnemann:1994:SIF%
		}.
\NAMECITE{{Inhibition}}{%
		Walter:1972:I%
		}.
\NAMECITE{{Inhibitionsfelder}}{%
		Walter:1972:I%
		}.
\NAMECITE{inhibitors}{%
		Bottoni:2002:MSP%
		}.
\NAMECITE{Initial}{%
		Merzenich:1979:BOT%
		}.
\NAMECITE{Inner}{%
		Vasudevan:1982:ILF%
		}.
\NAMECITE{Innermost}{%
		KrishnaRao:1996:RCI%
		}.
\NAMECITE{Innermost-Confluence}{%
		KrishnaRao:1996:RCI%
		}.
\NAMECITE{Input}{%
		Daduna:1981:DTR%
		}.
\NAMECITE{Insertion}{%
		Ellis:1980:CSI%
		}.
\NAMECITE{Insertion-Only}{%
		Anderson:1982:AII%
		}.
\NAMECITE{Insertions}{%
		Fischer:1980:ELE%
		}.
\NAMECITE{inspired}{%
		Csuhaj-Varju:2000:ESL%
		}.
\NAMECITE{Instability}{%
		Gouda:1990:ISS%
		}.
\NAMECITE{INTEGER}{%
		Stadel:1981:BVI,%
		Stadel:1981:BVI%
		}.
\NAMECITE{INTEGER-Darstellungen}{%
		Stadel:1981:BVI%
		}.
\NAMECITE{{INTEGER}-Representation}{%
		Stadel:1981:BVI%
		}.
\NAMECITE{integers}{%
		Amigo:2006:RIP%
		}.
\NAMECITE{Integrating}{%
		Ganapathi:1988:ICG%
		}.
\NAMECITE{integration}{%
		Schmitt:2005:CDS%
		}.
\NAMECITE{Integrity}{%
		Nicolas:1982:LII%
		}.
\NAMECITE{Intelligent}{%
		Giloi:1975:IGI%
		}.
\NAMECITE{Intensive}{%
		Tuzhilin:1996:MDI%
		}.
\NAMECITE{Interacting}{%
		Newton:1975:PPI%
		}.
\NAMECITE{Interaction}{%
		Milner:1996:CI%
		}.
\NAMECITE{Interactive}{%
		Giloi:1975:IGI%
		}.
\NAMECITE{Interconnection}{%
		Hsu:1995:PTC%
		}.
\NAMECITE{Interdependence}{%
		Mitrana:1997:IBS%
		}.
\NAMECITE{Interfaces}{%
		Pfaff:1983:COI%
		}.
\NAMECITE{Interference}{%
		Murtagh:1987:RPN%
		}.
\NAMECITE{intermittent}{%
		Cousot:1987:EII%
		}.
\NAMECITE{Internal}{%
		Mahmoud:1986:AIP%
		}.
\NAMECITE{{Internet}}{%
		Hui:1997:MCC%
		}.
\NAMECITE{Interpolation}{%
		Horowitz:1974:UVC%
		}.
\NAMECITE{interpolation-based}{%
		Ouksel:1992:RES%
		}.
\NAMECITE{Interpretation}{%
		File:1983:IRA%
		}.
\NAMECITE{Interpreted}{%
		Langmaack:1982:TPF%
		}.
\NAMECITE{Interprocedural}{%
		Reps:1996:SNI%
		}.
\NAMECITE{Interruptions}{%
		Rembowski:1985:PQI%
		}.
\NAMECITE{Intersection}{%
		Hertel:1984:SSS%
		}.
\NAMECITE{Intersections}{%
		Latteux:1979:ILA,%
		Latteux:1979:ILA%
		}.
\NAMECITE{Interval}{%
		Corradini:2001:CIP,%
		Corradini:2001:CIP%
		}.
\NAMECITE{introduction}{%
		Middeldorp:2000:TIE%
		}.
\NAMECITE{Invariant}{%
		Huynh:1982:RCI%
		}.
\NAMECITE{Invariants}{%
		Kindler:1995:ICS%
		}.
\NAMECITE{inverse}{%
		Autebert:1979:OCA%
		}.
\NAMECITE{inverses}{%
		Autebert:1979:OCA%
		}.
\NAMECITE{Investigations}{%
		Diekert:1986:IHG%
		}.
\NAMECITE{Involving}{%
		Maon:1986:EST%
		}.
\NAMECITE{irregular}{%
		Grigoriev:2004:PSI%
		}.
\NAMECITE{Iso}{%
		Guting:1984:ODC%
		}.
\NAMECITE{Iso-Rectangles}{%
		Guting:1984:ODC%
		}.
\NAMECITE{issues}{%
		Kourie:1998:LML%
		}.
\NAMECITE{Iterated}{%
		Asveld:1977:IDS%
		}.
\NAMECITE{Iteration}{%
		Asveld:1979:ELM%
		}.
\NAMECITE{Iterative}{%
		Fox:1973:RNM%
		}.
\NAMECITE{{ITNC}}{%
		Keesmaat:1997:NBC%
		}.


\NAMECITE{J}{%
		Habermann:1991:AJP%
		}.
\NAMECITE{Job}{%
		Lauesen:1973:JSG%
		}.
\NAMECITE{{John}}{%
		Barstow:1980:RSS%
		}.
\NAMECITE{Join}{%
		Vardi:1983:IMD%
		}.
\NAMECITE{Journeys}{%
		Koutny:1986:MRP%
		}.
\NAMECITE{Jumping}{%
		Culik:1973:SJM%
		}.
\NAMECITE{Jumps}{%
		Clint:1972:PPJ%
		}.


\NAMECITE{Kernel}{%
		Pratt:1978:PAO%
		}.
\NAMECITE{Kernel-Control}{%
		Pratt:1978:PAO%
		}.
\NAMECITE{Kernels}{%
		Nehmer:1975:DPC%
		}.
\NAMECITE{{Kettenbruchentwicklungen}}{%
		Schonhage:1971:SBK%
		}.
\NAMECITE{Key}{%
		Huang:1989:SDK%
		}.
\NAMECITE{Keys}{%
		Finkel:1974:QTD%
		}.
\NAMECITE{Kinded}{%
		Duggan:1996:KTI%
		}.
\NAMECITE{{Klaus}}{%
		Bauer:1981:KS%
		}.
\NAMECITE{Knapsack}{%
		Klein:1983:LTB%
		}.
\NAMECITE{{Knuth}}{%
		Dick:1990:AKB%
		}.
\NAMECITE{{Kolmogorov}}{%
		Balcazar:1986:SSG%
		}.
\NAMECITE{Komplexit{\"a}t}{%
		Paul:1974:KS,%
		Avenhaus:1978:SKGa%
		}.
\NAMECITE{kontextfreier}{%
		Hotz:1974:SAK%
		}.
\NAMECITE{kontextsensitiven}{%
		Stadel:1978:ZNK%
		}.
\NAMECITE{K{\"o}rpern}{%
		Schonhage:1977:SMP,%
		Eichner:1973:LRE%
		}.
\NAMECITE{{Kruskal}}{%
		Intrigila:2000:GHK%
		}.


\NAMECITE{{L}}{%
		Chakka:2001:MMM%
		}.
\NAMECITE{Label}{%
		Janssens:1981:CCF%
		}.
\NAMECITE{labeled}{%
		Ehrenfeucht:1990:CSR%
		}.
\NAMECITE{Labelled}{%
		Astesiano:2001:LTL%
		}.
\NAMECITE{labels}{%
		Alhazov:2004:TPL%
		}.
\NAMECITE{{Laguerre}}{%
		Heise:1976:OCA%
		}.
\NAMECITE{LALR}{%
		Chapman:1984:LPG,%
		Morimoto:2001:YAG,%
		Nakata:1986:GEL%
		}.
\NAMECITE{Landscape}{%
		Ehrenfeucht:1996:LLE%
		}.
\NAMECITE{langages}{%
		Boasson:1973:DFL%
		}.
\NAMECITE{Language}{%
		Wirth:1971:PLP%
		}.
\NAMECITE{Languages}{%
		Langmaack:1973:CPP%
		}.
\NAMECITE{{LAR}}{%
		Kroger:1977:LLA%
		}.
\NAMECITE{Large}{%
		Bayer:1972:OML%
		}.
\NAMECITE{Lattice}{%
		Cunningham:1985:RSL%
		}.
\NAMECITE{Lattices}{%
		Buckle:1993:CMJ%
		}.
\NAMECITE{Law}{%
		Bartsch:1978:CLG%
		}.
\NAMECITE{Laws}{%
		Buzen:1976:FOL%
		}.
\NAMECITE{layer}{%
		Belaga:1989:TMM%
		}.
\NAMECITE{Layered}{%
		Bovet:1991:MDS%
		}.
\NAMECITE{Layout}{%
		Efe:1997:OEV%
		}.
\NAMECITE{Lazy}{%
		Buchsbaum:1995:LSS%
		}.
\NAMECITE{{LBA}}{%
		Monien:1977:LPD%
		}.
\NAMECITE{{LBA}-Problem}{%
		Monien:1977:LPD%
		}.
\NAMECITE{{LCS}}{%
		Kumar:1987:LSA%
		}.
\NAMECITE{Leader}{%
		Goldreich:1987:ELR%
		}.
\NAMECITE{Leaders}{%
		Bouge:1988:ESA%
		}.
\NAMECITE{Learning}{%
		Menzel:1973:ETL%
		}.
\NAMECITE{Least}{%
		Hu:1972:LUB%
		}.
\NAMECITE{Left}{%
		Langmaack:1971:ARC%
		}.
\NAMECITE{left-inverse}{%
		Autebert:1979:OCA%
		}.
\NAMECITE{Lemma}{%
		vanLeeuwen:1979:ULC%
		}.
\NAMECITE{lemmas}{%
		Iwamoto:2007:TLD%
		}.
\NAMECITE{Length}{%
		Coffman:1976:AMM%
		}.
\NAMECITE{lengths}{%
		Alfa:1991:AQL%
		}.
\NAMECITE{Letter}{%
		Monien:1977:LPD%
		}.
\NAMECITE{letters}{%
		Currie:2003:WLW%
		}.
\NAMECITE{Level}{%
		Earley:1973:RLD%
		}.
\NAMECITE{{Levin}}{%
		Murtagh:1987:RPN%
		}.
\NAMECITE{{Levin-Gries}}{%
		Murtagh:1987:RPN%
		}.
\NAMECITE{Lexical}{%
		Yang:1995:LAP%
		}.
\NAMECITE{lexicographically}{%
		Kemp:1998:GWL%
		}.
\NAMECITE{Life}{%
		Geist:1986:RLC%
		}.
\NAMECITE{Life-Critical}{%
		Geist:1986:RLC%
		}.
\NAMECITE{Lifetime}{%
		Kastens:1987:LAA%
		}.
\NAMECITE{Like}{%
		Reutenauer:1980:OLI%
		}.
\NAMECITE{Limit}{%
		Mahmoud:2004:LLT%
		}.
\NAMECITE{limited}{%
		Leung:1998:FAL%
		}.
\NAMECITE{Line}{%
		Brown:1982:LBL%
		}.
\NAMECITE{lin{\'e}aires}{%
		Latteux:1980:GAL%
		}.
\NAMECITE{Linear}{%
		Kandzia:1973:TPL%
		}.
\NAMECITE{lineare}{%
		Eichner:1974:TLR,%
		Eichner:1973:LRE%
		}.
\NAMECITE{linearen}{%
		Kandzia:1973:TPL%
		}.
\NAMECITE{Linearly}{%
		Franck:1978:CLP,%
		Eichner:1973:LRE%
		}.
\NAMECITE{Link}{%
		Goldreich:1987:ELR%
		}.
\NAMECITE{Linked}{%
		Tsakalidis:1984:MOG%
		}.
\NAMECITE{List}{%
		Topor:1979:CSW%
		}.
\NAMECITE{List-Arithmetic}{%
		deGuzman:1995:FIB%
		}.
\NAMECITE{Lists}{%
		Moore:1981:ADT%
		}.
\NAMECITE{liveness}{%
		Hesselink:2006:SFS%
		}.
\NAMECITE{LL}{%
		Soisalon-Soininen:1979:MTG,%
		Vagner:2007:PLPa%
		}.
\NAMECITE{Load}{%
		Landwehr:1976:EPM%
		}.
\NAMECITE{Loading}{%
		Parent:1977:NIP%
		}.
\NAMECITE{Local}{%
		Iglehart:1984:SOA%
		}.
\NAMECITE{Locality}{%
		Kiehn:1994:CLC%
		}.
\NAMECITE{Locally}{%
		Rozenberg:1973:DSL%
		}.
\NAMECITE{Locations}{%
		Donahue:1977:LCU%
		}.
\NAMECITE{Locking}{%
		Kedem:1981:CDG%
		}.
\NAMECITE{Log}{%
		ONeil:1996:LSM,%
		Navarro:1993:CRS%
		}.
\NAMECITE{{LOG}-Specifications}{%
		Navarro:1993:CRS%
		}.
\NAMECITE{Log-Structured}{%
		ONeil:1996:LSM%
		}.
\NAMECITE{Logic}{%
		Luckham:1977:PTW%
		}.
\NAMECITE{logic-based}{%
		Sagiv:1998:LBA%
		}.
\NAMECITE{logical}{%
		Igarashi:1975:APVa%
		}.
\NAMECITE{logics}{%
		Burrieza:2003:FAT%
		}.
\NAMECITE{Long}{%
		Schmidt:1987:LUP%
		}.
\NAMECITE{Longest}{%
		Pritchard:1981:ALL%
		}.
\NAMECITE{Look}{%
		Katz:1975:CLT%
		}.
\NAMECITE{Look-Ahead}{%
		Yang:1995:LAP%
		}.
\NAMECITE{Lookahead}{%
		Ostrand:1981:PRG%
		}.
\NAMECITE{Looks}{%
		Biela:1996:RSL%
		}.
\NAMECITE{Loop}{%
		Fenner:1981:ATR%
		}.
\NAMECITE{Loop-free}{%
		Fenner:1981:ATR%
		}.
\NAMECITE{Loops}{%
		Kroger:1980:IPR%
		}.
\NAMECITE{Losslessness}{%
		Loizou:1987:LPJ%
		}.
\NAMECITE{{L{\"o}sung}}{%
		Huwig:1982:MPP%
		}.
\NAMECITE{Lower}{%
		Alt:1979:LBS%
		}.
\NAMECITE{lower-bounds-to-circuit-size}{%
		Belaga:1989:TMM%
		}.
\NAMECITE{LR}{%
		Anderson:1973:ELP,%
		Aycock:2001:EFG,%
		Madsen:1976:LPE%
		}.
\NAMECITE{{{LR}}-Parsing}{%
		Madsen:1976:LPE%
		}.
\NAMECITE{{LSM}}{%
		ONeil:1996:LSM%
		}.
\NAMECITE{{LSM}-Tree}{%
		ONeil:1996:LSM%
		}.
\NAMECITE{{Lucid}}{%
		Hoffmann:1980:SPL%
		}.


\NAMECITE{M}{%
		El-Affendi:1983:MEA,%
		Bartsch:1978:CLG%
		}.
\NAMECITE{{M.}}{%
		Ashcroft:1976:RPP%
		}.
\NAMECITE{{M/G/1}}{%
		Shore:1982:ITA%
		}.
\NAMECITE{Machine}{%
		Benson:1974:AMT%
		}.
\NAMECITE{Machines}{%
		Culik:1973:SJM%
		}.
\NAMECITE{Macro}{%
		Asveld:1979:ELM%
		}.
\NAMECITE{Main}{%
		Warren:1978:SMS%
		}.
\NAMECITE{maintainable}{%
		Chan:1988:GDS%
		}.
\NAMECITE{Maintaining}{%
		Tsakalidis:1984:MOG%
		}.
\NAMECITE{Maintenance}{%
		Bayer:1972:OML%
		}.
\NAMECITE{Management}{%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{Many}{%
		Nakajima:1980:HPS%
		}.
\NAMECITE{Many-sorted}{%
		Nakajima:1980:HPS%
		}.
\NAMECITE{Map}{%
		Mongenet:1994:GTM%
		}.
\NAMECITE{Mapping}{%
		Lee:1996:MGL%
		}.
\NAMECITE{{Mark}}{%
		Levene:1991:CNV%
		}.
\NAMECITE{Marking}{%
		Topor:1979:CSW%
		}.
\NAMECITE{{Markov}}{%
		Heidelberger:1980:VRT%
		}.
\NAMECITE{Marktoberdorf}{%
		Bauer:2003:EWD%
		}.
\NAMECITE{{Martin}}{%
		Bijlsma:1986:EGM%
		}.
\NAMECITE{{Maschinen}}{%
		Kaufholz:1974:VM%
		}.
\NAMECITE{Matching}{%
		Simon:1983:PMT%
		}.
\NAMECITE{Matchings}{%
		Lipski:1981:EAF%
		}.
\NAMECITE{Mathematical}{%
		Franta:1976:MAC%
		}.
\NAMECITE{Matrices}{%
		Wu:1994:CMA%
		}.
\NAMECITE{Matrix}{%
		MacVeigh:1977:EDR%
		}.
\NAMECITE{matter}{%
		Ben-Amram:2000:CCP%
		}.
\NAMECITE{Max}{%
		Horibe:1979:MER,%
		Epstein:2004:ASM%
		}.
\NAMECITE{Max-Entropy}{%
		Horibe:1979:MER%
		}.
\NAMECITE{Maximal}{%
		Galil:1980:AMF%
		}.
\NAMECITE{Maximizing}{%
		Coffman:1978:PMN%
		}.
\NAMECITE{Maximum}{%
		Lipski:1981:EAF%
		}.
\NAMECITE{{Mealy}}{%
		Buning:1980:UAI%
		}.
\NAMECITE{Mean}{%
		Coffman:1976:AMM%
		}.
\NAMECITE{mean-time}{%
		Rangarajan:1997:SMT%
		}.
\NAMECITE{meanings}{%
		Kobuchi:2000:SAT%
		}.
\NAMECITE{Measure}{%
		Guting:1984:ODC%
		}.
\NAMECITE{Measures}{%
		Paredaens:1978:CMF%
		}.
\NAMECITE{Mechanical}{%
		Shostak:1977:RUM%
		}.
\NAMECITE{Mechanism}{%
		Lewi:1978:EPG%
		}.
\NAMECITE{Median}{%
		Claus:1973:MAP%
		}.
\NAMECITE{Meet}{%
		Buckle:1993:CMJ%
		}.
\NAMECITE{{Mellin}}{%
		Flajolet:1994:MTA%
		}.
\NAMECITE{Membrane}{%
		Bottoni:2002:MSP%
		}.
\NAMECITE{membranes}{%
		Alhazov:2004:TPL%
		}.
\NAMECITE{Memo}{%
		Khoshnevisan:1990:EMT%
		}.
\NAMECITE{Memo-Table}{%
		Khoshnevisan:1990:EMT%
		}.
\NAMECITE{{M}{\'e}moire}{%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{memoriam}{%
		Bauer:1989:MAP%
		}.
\NAMECITE{Memories}{%
		Coffman:1971:PPE%
		}.
\NAMECITE{Memory}{%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{Merge}{%
		Schlumberger:1973:ODM%
		}.
\NAMECITE{Merge-Tree}{%
		ONeil:1996:LSM%
		}.
\NAMECITE{Mergeable}{%
		Galil:1980:AEM%
		}.
\NAMECITE{Merged}{%
		Khomenko:2006:MPN%
		}.
\NAMECITE{Mergesort}{%
		Flajolet:1994:MTA,%
		Moffat:1998:TBM%
		}.
\NAMECITE{Merging}{%
		Hwang:1971:OME%
		}.
\NAMECITE{{Merlin}}{%
		Koutny:1986:MRP%
		}.
\NAMECITE{{Merlin-Randell}}{%
		Koutny:1986:MRP%
		}.
\NAMECITE{Mesh}{%
		Kunde:1987:LBS%
		}.
\NAMECITE{Mesh-Connected}{%
		Kunde:1987:LBS%
		}.
\NAMECITE{meshes}{%
		Sibeyn:1998:LRM%
		}.
\NAMECITE{Message}{%
		Hennessy:1995:MLM%
		}.
\NAMECITE{Meta}{%
		Meersman:1978:TLM%
		}.
\NAMECITE{Meta-Controlled}{%
		Meersman:1978:TLM%
		}.
\NAMECITE{meta-theory}{%
		Kahrs:2007:IRM%
		}.
\NAMECITE{Metalanguage}{%
		Anderson:1976:SMP%
		}.
\NAMECITE{Metalgorithm}{%
		Rice:1975:PAA%
		}.
\NAMECITE{Metatheorems}{%
		Habel:1989:MDP%
		}.
\NAMECITE{Method}{%
		Pager:1977:PGM%
		}.
\NAMECITE{Methodology}{%
		Hehner:1986:PM%
		}.
\NAMECITE{Methods}{%
		Brandwajn:1974:MTS%
		}.
\NAMECITE{Metric}{%
		deBakker:1987:OMS%
		}.
\NAMECITE{microprocessors}{%
		Harman:1996:AMM%
		}.
\NAMECITE{min}{%
		Ding:1993:RMM,%
		Epstein:2004:ASM%
		}.
\NAMECITE{min-max}{%
		Ding:1993:RMM,%
		Epstein:2004:ASM%
		}.
\NAMECITE{mincing}{%
		Belaga:1989:TMM%
		}.
\NAMECITE{Minimal}{%
		Ehrich:1973:MMV,%
		Ehrich:1973:MMV%
		}.
\NAMECITE{minimale}{%
		Ehrich:1973:MMV,%
		Ehrich:1973:MMV%
		}.
\NAMECITE{Minimally}{%
		Makinen:2002:MAT%
		}.
\NAMECITE{Minimalpolynome}{%
		Paul:1975:BMU%
		}.
\NAMECITE{Minimizing}{%
		Coffman:1976:AMM%
		}.
\NAMECITE{Minimum}{%
		Tokuda:1981:EUR%
		}.
\NAMECITE{Minimum-Delay}{%
		Bovet:1991:MDS%
		}.
\NAMECITE{misconceptions}{%
		Bijlsma:1998:DSP%
		}.
\NAMECITE{mittlere}{%
		Claus:1973:MAP%
		}.
\NAMECITE{Mixed}{%
		Bulyonkov:1984:PMC%
		}.
\NAMECITE{mixins}{%
		Bettini:2005:MCM%
		}.
\NAMECITE{{MIZAR}}{%
		Rudnicki:1985:PPP%
		}.
\NAMECITE{{MM}}{%
		Chakka:2001:MMM%
		}.
\NAMECITE{mobile}{%
		Degano:1999:CDM%
		}.
\NAMECITE{Modal}{%
		Hennessy:1995:MLM%
		}.
\NAMECITE{Model}{%
		Turski:1971:MDS%
		}.
\NAMECITE{Modeled}{%
		Franta:1976:MAC%
		}.
\NAMECITE{Modeling}{%
		Baeza-Yates:1989:MSF%
		}.
\NAMECITE{Modell}{%
		Huwig:1982:MPP%
		}.
\NAMECITE{Modelling}{%
		Welch:1976:SCM%
		}.
\NAMECITE{Models}{%
		Gelenbe:1976:PMC%
		}.
\NAMECITE{Modes}{%
		Lao:1987:CBC%
		}.
\NAMECITE{Modifiable}{%
		Kessels:1982:ACM%
		}.
\NAMECITE{Modifications}{%
		Reps:1988:IEA%
		}.
\NAMECITE{Modified}{%
		Dewar:1982:SMA%
		}.
\NAMECITE{Modular}{%
		Vogler:1989:FSD%
		}.
\NAMECITE{Modularisation}{%
		Diaconescu:1996:CBM%
		}.
\NAMECITE{Modularity}{%
		Kastens:1994:MRA%
		}.
\NAMECITE{modulated}{%
		Chakka:2001:MMM%
		}.
\NAMECITE{modules}{%
		Duggan:2005:TBH%
		}.
\NAMECITE{{MOMI}}{%
		Bettini:2005:MCM%
		}.
\NAMECITE{Monadic}{%
		Gonczarowski:1985:DPM%
		}.
\NAMECITE{{Monge}}{%
		Deineko:1996:RPS%
		}.
\NAMECITE{Monitoring}{%
		Hulsmann:1991:TFH%
		}.
\NAMECITE{Monitors}{%
		Schmid:1976:EIC%
		}.
\NAMECITE{Monoid}{%
		Otto:1986:DWM%
		}.
\NAMECITE{Mono{\"\i}des}{%
		Perrot:1977:MSL%
		}.
\NAMECITE{Monoids}{%
		Perrot:1977:MSL%
		}.
\NAMECITE{Monotone}{%
		Kam:1977:MDF%
		}.
\NAMECITE{Monotonic}{%
		Breitbart:1975:BBA%
		}.
\NAMECITE{{Monte}}{%
		Iliopoulos:1986:MCC%
		}.
\NAMECITE{Morphemes}{%
		Schott:1972:AAI%
		}.
\NAMECITE{Morphic}{%
		Neraud:1995:DMI%
		}.
\NAMECITE{Morphisms}{%
		Reichardt:1986:DGG%
		}.
\NAMECITE{most}{%
		Shen:1999:FKM%
		}.
\NAMECITE{Motion}{%
		Sutner:1988:MPA%
		}.
\NAMECITE{{Motzkin}}{%
		Brlek:2006:NUR%
		}.
\NAMECITE{{Motzkins}}{%
		Vajnovszki:2002:GVM%
		}.
\NAMECITE{Movement}{%
		Reps:1988:IEA%
		}.
\NAMECITE{MR}{%
		Hehner:1988:EPM%
		}.
\NAMECITE{{MRE}}{%
		Tomaras:1991:MHD%
		}.
\NAMECITE{Multi}{%
		Nutt:1976:SRA%
		}.
\NAMECITE{Multi-Dimensional}{%
		Overmars:1982:DMD%
		}.
\NAMECITE{multi-disk}{%
		Buttner:2005:EPC%
		}.
\NAMECITE{Multi-Granularity}{%
		Lee:1996:MGL%
		}.
\NAMECITE{Multi-Level}{%
		Purdom:1981:BML%
		}.
\NAMECITE{Multi-Queue}{%
		Spirn:1976:MQS%
		}.
\NAMECITE{Multi-relations}{%
		Hayes:1992:MRZ%
		}.
\NAMECITE{multi-server}{%
		Chakka:2001:MMM%
		}.
\NAMECITE{multi-sets}{%
		Hayes:1992:MRZ%
		}.
\NAMECITE{multi-threading}{%
		Bergstra:2007:SCE%
		}.
\NAMECITE{multicast}{%
		Layuan:2003:DQA%
		}.
\NAMECITE{Multiclass}{%
		Krzesinski:1978:MNM%
		}.
\NAMECITE{Multiconnection}{%
		Ronse:1983:TSC%
		}.
\NAMECITE{Multidimensional}{%
		Lee:1978:WCA%
		}.
\NAMECITE{Multihead}{%
		Savitch:1973:NMA%
		}.
\NAMECITE{Multipass}{%
		Khabbaz:1974:MPA%
		}.
\NAMECITE{Multiple}{%
		Iglehart:1979:RSR%
		}.
\NAMECITE{Multiplication}{%
		Cohen:1976:ISF%
		}.
\NAMECITE{Multiplier}{%
		Becker:1987:ETO%
		}.
\NAMECITE{Multiplikation}{%
		Schonhage:1977:SMP%
		}.
\NAMECITE{Multiplikations}{%
		Fox:1973:RNM%
		}.
\NAMECITE{Multiprocessing}{%
		Baccelli:1982:PAE%
		}.
\NAMECITE{Multiprocessor}{%
		Liu:1978:PAM%
		}.
\NAMECITE{Multiprogrammed}{%
		Kameda:1977:FCR%
		}.
\NAMECITE{Multiprogramming}{%
		Gaver:1976:MMM%
		}.
\NAMECITE{Multisets}{%
		Katajainen:1994:SMS%
		}.
\NAMECITE{Multitape}{%
		Culik:1989:HMC%
		}.
\NAMECITE{Multitype}{%
		Gaver:1976:MMM%
		}.
\NAMECITE{Multivalued}{%
		Biskup:1978:CRM%
		}.
\NAMECITE{Multiversion}{%
		Xu:1992:LMD%
		}.
\NAMECITE{Multiway}{%
		Vaishnavi:1980:OMS%
		}.
\NAMECITE{Multiwriter}{%
		Haldar:1996:SEW%
		}.
\NAMECITE{Mutual}{%
		Anderson:1993:FGS%
		}.
\NAMECITE{Mutually}{%
		Culik:1993:SMR%
		}.


\NAMECITE{{N}}{%
		Kouvatsos:1986:MEG%
		}.
\NAMECITE{Naive}{%
		Rego:1992:NAH%
		}.
\NAMECITE{Name}{%
		Kastens:1991:ADT%
		}.
\NAMECITE{natural}{%
		Engelfriet:2004:NNS%
		}.
\NAMECITE{Nature}{%
		Reps:1996:SNI%
		}.
\NAMECITE{Near}{%
		Allen:1982:CON%
		}.
\NAMECITE{Near-Optimal}{%
		Allen:1982:CON%
		}.
\NAMECITE{Nearest}{%
		Tsakalidis:1988:NCA%
		}.
\NAMECITE{Nearest-Neighbor}{%
		Hinrichs:1992:ARS%
		}.
\NAMECITE{Nearly}{%
		Mehlhorn:1975:NOB%
		}.
\NAMECITE{Necessary}{%
		Schmitt:1983:NRO%
		}.
\NAMECITE{Needed}{%
		Kemp:1979:ANR%
		}.
\NAMECITE{Negation}{%
		Drabent:1995:WFA%
		}.
\NAMECITE{negative}{%
		Chakka:2001:MMM,%
		Marcus:1992:EOE%
		}.
\NAMECITE{Neighbor}{%
		Hinrichs:1992:ARS%
		}.
\NAMECITE{Nested}{%
		Roth:1989:NVN%
		}.
\NAMECITE{Net}{%
		Hauschildt:1994:PNA%
		}.
\NAMECITE{Net-Based}{%
		Keesmaat:1997:NBC%
		}.
\NAMECITE{Nets}{%
		Suzuki:1983:TMS%
		}.
\NAMECITE{Network}{%
		Kaufholz:1974:VM%
		}.
\NAMECITE{Networks}{%
		Fayolle:1974:SPB%
		}.
\NAMECITE{Nicely}{%
		Supowit:1983:CDT%
		}.
\NAMECITE{{NLC}}{%
		Rozenberg:1986:GTC%
		}.
\NAMECITE{no}{%
		Hehner:1988:EPM%
		}.
\NAMECITE{Node}{%
		Nahapetian:1973:NFG%
		}.
\NAMECITE{Nodes}{%
		Yamazaki:1997:HCA%
		}.
\NAMECITE{noisy}{%
		Ying:2005:CNC%
		}.
\NAMECITE{Non}{%
		Hartmanis:1972:NDS%
		}.
\NAMECITE{non-approximability}{%
		Chakaravarthy:2002:NAP%
		}.
\NAMECITE{Non-Determinancy}{%
		Hartmanis:1972:NDS%
		}.
\NAMECITE{non-determinism}{%
		Scott:2004:RND%
		}.
\NAMECITE{Non-deterministic}{%
		Nipkow:1986:NDD%
		}.
\NAMECITE{Non-Interference}{%
		Murtagh:1987:RPN%
		}.
\NAMECITE{Non-Linear}{%
		Harrison:1991:ENL%
		}.
\NAMECITE{Non-monotone}{%
		Commentz-Walter:1980:SDT%
		}.
\NAMECITE{Non-Procedural}{%
		Hoffmann:1978:DCC%
		}.
\NAMECITE{Non-Real-Time}{%
		Tomita:1995:EEP%
		}.
\NAMECITE{non-repetitive}{%
		Currie:2003:WLW%
		}.
\NAMECITE{Non-Standard}{%
		DeFrancesco:1994:PFC%
		}.
\NAMECITE{Non-Stationary}{%
		Rosenberg:1986:FAE%
		}.
\NAMECITE{non-stationnaires}{%
		Rosenberg:1986:FAE%
		}.
\NAMECITE{non-uniform}{%
		Walther:2004:PRE%
		}.
\NAMECITE{nondeterminacy}{%
		Wisniewski:2007:GAN%
		}.
\NAMECITE{Nondeterminism}{%
		Kintala:1980:ANF%
		}.
\NAMECITE{Nondeterministic}{%
		Back:1981:PTC,%
		Nielsen:1974:NHCb%
		}.
\NAMECITE{Nonfinite}{%
		Esik:1998:NAE%
		}.
\NAMECITE{Nonlinear}{%
		Gimpel:1975:NPT%
		}.
\NAMECITE{Nonplanar}{%
		Book:1976:INA%
		}.
\NAMECITE{{Nonstandard}}{%
		Belaga:1989:TMM%
		}.
\NAMECITE{Nonterminal}{%
		Yamazaki:1997:HCA%
		}.
\NAMECITE{Nonterminals}{%
		Ehrenfeucht:1974:NVH%
		}.
\NAMECITE{{NOR}}{%
		Blum:1984:CAO%
		}.
\NAMECITE{Normal}{%
		Cremers:1973:NFC%
		}.
\NAMECITE{Normalisierungsproblems}{%
		Stadel:1978:ZNK%
		}.
\NAMECITE{Normalization}{%
		Stadel:1978:ZNK%
		}.
\NAMECITE{normed}{%
		Cerna:1999:CEN%
		}.
\NAMECITE{Note}{%
		Savitch:1973:NMA%
		}.
\NAMECITE{Notions}{%
		Budd:1982:TNC%
		}.
\NAMECITE{Nouns}{%
		Schott:1972:AAI%
		}.
\NAMECITE{Novel}{%
		Sur:1995:IGN%
		}.
\NAMECITE{{NP}}{%
		Goodman:1983:NCP%
		}.
\NAMECITE{{NP}-complete}{%
		Goodman:1983:NCP%
		}.
\NAMECITE{{NP}-Hard}{%
		Krivanek:1986:NHP%
		}.
\NAMECITE{Null}{%
		Roth:1989:NVN%
		}.
\NAMECITE{nulled}{%
		Scott:2004:RND%
		}.
\NAMECITE{Number}{%
		Fox:1973:RNM%
		}.
\NAMECITE{Numbers}{%
		Monien:1985:RNA%
		}.
\NAMECITE{Numerical}{%
		Staphylopatis:1982:PCP%
		}.


\NAMECITE{Object}{%
		vandenBos:1991:PCO%
		}.
\NAMECITE{Object-Oriented}{%
		vandenBos:1991:PCO%
		}.
\NAMECITE{Objects}{%
		Moller:1985:ASI%
		}.
\NAMECITE{{OBSCURE}}{%
		Lehmann:1993:OSL%
		}.
\NAMECITE{Observation}{%
		Bertsch:1996:OSR%
		}.
\NAMECITE{Observational}{%
		Hennicker:1991:OIA%
		}.
\NAMECITE{Obstacles}{%
		Sutner:1988:MPA%
		}.
\NAMECITE{Obtain}{%
		Breitbart:1975:BBA%
		}.
\NAMECITE{{od}}{%
		Hehner:1979:DCO%
		}.
\NAMECITE{off}{%
		Commentz-Walter:1979:SDT%
		}.
\NAMECITE{Offs}{%
		Paul:1978:TST%
		}.
\NAMECITE{{Ogden}}{%
		Reutenauer:1980:OLI%
		}.
\NAMECITE{{Ogden}-Like}{%
		Reutenauer:1980:OLI%
		}.
\NAMECITE{{OL}}{%
		Nielsen:1974:NHCb%
		}.
\NAMECITE{{OL}-Systems}{%
		Nielsen:1974:NHCb%
		}.
\NAMECITE{{Omega}}{%
		Lenfant:1985:PDO%
		}.
\NAMECITE{On-Line}{%
		Brown:1982:LBL%
		}.
\NAMECITE{One}{%
		Monien:1977:LPD%
		}.
\NAMECITE{One-Counter}{%
		Monien:1977:LPD%
		}.
\NAMECITE{One-Letter}{%
		Monien:1977:LPD%
		}.
\NAMECITE{One-pass}{%
		Alblas:1987:OPT%
		}.
\NAMECITE{one-tape}{%
		Ben-Amram:2003:EDO%
		}.
\NAMECITE{One-Visit}{%
		Engelfriet:1981:FPO%
		}.
\NAMECITE{One-Way}{%
		Hromkovic:1983:OWM%
		}.
\NAMECITE{One-write}{%
		Chaudhuri:2000:OWA%
		}.
\NAMECITE{Ones}{%
		Hikita:1979:CRP%
		}.
\NAMECITE{online}{%
		He:2004:OAS,%
		Anonymous:2003:MPP%
		}.
\NAMECITE{Only}{%
		Fischer:1980:ELE%
		}.
\NAMECITE{Open}{%
		Langmaack:1973:POS%
		}.
\NAMECITE{Operating}{%
		Nehmer:1975:DPC%
		}.
\NAMECITE{Operation}{%
		Merzenich:1979:BOT%
		}.
\NAMECITE{Operational}{%
		Buzen:1976:FOL%
		}.
\NAMECITE{Operations}{%
		MacVeigh:1977:EDR,%
		Autebert:1979:OCA%
		}.
\NAMECITE{Operator}{%
		Pfaff:1983:COI%
		}.
\NAMECITE{Operators}{%
		Schmitt:1983:NRO%
		}.
\NAMECITE{Opportunistic}{%
		Pritchard:1991:OAE%
		}.
\NAMECITE{Optimal}{%
		Hwang:1971:OME%
		}.
\NAMECITE{Optimal-Time}{%
		Becker:1987:ETO%
		}.
\NAMECITE{Optimality}{%
		Kung:1983:OTC%
		}.
\NAMECITE{Optimally}{%
		Kemp:1979:ANR%
		}.
\NAMECITE{optimierende}{%
		Stadel:1981:BVI%
		}.
\NAMECITE{optimisation}{%
		Mikou:1979:AOP%
		}.
\NAMECITE{Optimization}{%
		Pratt:1978:PAO%
		}.
\NAMECITE{Optimizations}{%
		Farrow:1986:CSO%
		}.
\NAMECITE{optimize}{%
		Parama:2006:SAO%
		}.
\NAMECITE{Optimizing}{%
		Wilhelm:1979:CUD%
		}.
\NAMECITE{Optimum}{%
		Knuth:1971:OBS%
		}.
\NAMECITE{options}{%
		Dai:2007:EST%
		}.
\NAMECITE{{OPTRAN}}{%
		Lipps:1988:ARE%
		}.
\NAMECITE{{OR}-parallel}{%
		Barbuti:1997:ACM%
		}.
\NAMECITE{Oracle}{%
		Book:1979:LAS%
		}.
\NAMECITE{Order}{%
		Huet:1978:PAP%
		}.
\NAMECITE{order-sensitive}{%
		Ranjan:2000:DSO%
		}.
\NAMECITE{Order-Statistic}{%
		Richards:1992:SQD%
		}.
\NAMECITE{Ordered}{%
		Bayer:1972:OML%
		}.
\NAMECITE{Ordering}{%
		Dijkstra:1971:HOS%
		}.
\NAMECITE{Orders}{%
		Buckle:1993:CMJ%
		}.
\NAMECITE{organisation}{%
		Harman:1996:AMM%
		}.
\NAMECITE{Organization}{%
		Bayer:1972:OML%
		}.
\NAMECITE{Oriented}{%
		Olderog:1986:SOS%
		}.
\NAMECITE{Orthogonality}{%
		Cremers:1978:OIS%
		}.
\NAMECITE{Outermost}{%
		KrishnaRao:1996:RCI%
		}.
\NAMECITE{Outermost-Confluence}{%
		KrishnaRao:1996:RCI%
		}.
\NAMECITE{outline}{%
		Astesiano:2001:LTL%
		}.
\NAMECITE{Output}{%
		Iglehart:1984:SOA%
		}.
\NAMECITE{Overflow}{%
		Kuspert:1983:SUB%
		}.
\NAMECITE{overhang}{%
		Kari:2003:SFO%
		}.
\NAMECITE{overhang-free}{%
		Kari:2003:SFO%
		}.
\NAMECITE{Overloading}{%
		Duggan:1996:KTI%
		}.
\NAMECITE{overview}{%
		Gorlatch:2000:APD%
		}.


\NAMECITE{{P}}{%
		Madhu:2002:GNF%
		}.
\NAMECITE{Packed}{%
		Coffman:1978:PMN%
		}.
\NAMECITE{Packet}{%
		Fayolle:1974:SPB%
		}.
\NAMECITE{Packing}{%
		Coffman:1978:PMN%
		}.
\NAMECITE{{PAFAS}}{%
		Corradini:2002:CWC%
		}.
\NAMECITE{Page}{%
		Gelenbe:1973:PSD%
		}.
\NAMECITE{Paged}{%
		Coffman:1971:PPE%
		}.
\NAMECITE{pagination}{%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{Paging}{%
		Gelenbe:1973:PSD%
		}.
\NAMECITE{pair}{%
		Halava:2007:IMP%
		}.
\NAMECITE{Parallel}{%
		Claus:1973:MAP,%
		Diaz:1996:PAS%
		}.
\NAMECITE{{Paralleladdierwerks}}{%
		Claus:1973:MAP%
		}.
\NAMECITE{Parallelism}{%
		Berry:1985:DSS%
		}.
\NAMECITE{Parameter}{%
		Langmaack:1973:CPP%
		}.
\NAMECITE{Parameterisation}{%
		Sannella:1992:TFD%
		}.
\NAMECITE{Parameterization}{%
		Takeichi:1987:PPE%
		}.
\NAMECITE{Parameterized}{%
		Mitrani:1977:CPF%
		}.
\NAMECITE{Parameters}{%
		Ernst:1982:VPP%
		}.
\NAMECITE{param{\`e}tres}{%
		Rosenberg:1986:FAE%
		}.
\NAMECITE{Parametric}{%
		Duggan:1996:KTI%
		}.
\NAMECITE{Paramodulated}{%
		Siekmann:1980:PCG%
		}.
\NAMECITE{paraphrasing}{%
		Frederiks:2002:DPI%
		}.
\NAMECITE{Parsable}{%
		Franck:1978:CLP%
		}.
\NAMECITE{Parse}{%
		Thorup:1996:DGE%
		}.
\NAMECITE{Parser}{%
		Lewi:1978:EPG%
		}.
\NAMECITE{Parsers}{%
		Anderson:1973:ELP%
		}.
\NAMECITE{Parsing}{%
		Wharton:1976:RAP%
		}.
\NAMECITE{Part}{%
		LaLonde:1979:CLP,%
		Turski:1972:MDS%
		}.
\NAMECITE{Partage}{%
		Nain:1983:PTE%
		}.
\NAMECITE{Partial}{%
		Ehrich:1973:MMV%
		}.
\NAMECITE{Partial-Predicate}{%
		Hoogewijs:1987:PPL%
		}.
\NAMECITE{Partiell}{%
		Kandzia:1973:TPL%
		}.
\NAMECITE{Partiell-linearen}{%
		Kandzia:1973:TPL%
		}.
\NAMECITE{partielle}{%
		Ehrich:1973:MMV%
		}.
\NAMECITE{partitioned}{%
		Liu:2002:CDP%
		}.
\NAMECITE{Partitioning}{%
		Coffman:1984:PGG%
		}.
\NAMECITE{Partitions}{%
		Fenner:1981:ATR%
		}.
\NAMECITE{partly}{%
		vanStee:2001:RJC%
		}.
\NAMECITE{Pascal}{%
		Steensgaard-Madsen:1979:PCR,%
		Wirth:1971:PLP,%
		Hoare:1974:ACA%
		}.
\NAMECITE{pass}{%
		Alblas:1987:OPT%
		}.
\NAMECITE{Passes}{%
		Alblas:1981:CAE%
		}.
\NAMECITE{Passing}{%
		Lao:1987:CBC%
		}.
\NAMECITE{Past}{%
		Markey:2004:PFC%
		}.
\NAMECITE{Path}{%
		Berztiss:1980:DFT%
		}.
\NAMECITE{Pathlistings}{%
		Ramanathan:1981:PAD%
		}.
\NAMECITE{paths}{%
		Lauer:1979:CSS%
		}.
\NAMECITE{Pattern}{%
		Gimpel:1975:NPT%
		}.
\NAMECITE{Patterns}{%
		Schlumberger:1973:ODM%
		}.
\NAMECITE{Pebble}{%
		Paul:1978:TST%
		}.
\NAMECITE{Pebbles}{%
		Lengauer:1981:BWP%
		}.
\NAMECITE{Peephole}{%
		Ganapathi:1988:ICG%
		}.
\NAMECITE{{{\penalty0{}1}}}{%
		Alfa:1991:AQL%
		}.
\NAMECITE{\penalty0{}antiport}{%
		Frisco:2004:PSS%
		}.
\NAMECITE{{\penalty0{}C}}{%
		Dingel:2006:CAC%
		}.
\NAMECITE{{\penalty0{}COST}}{%
		Han:1999:PPC%
		}.
\NAMECITE{\penalty0{}Event}{%
		Degano:1988:DOS%
		}.
\NAMECITE{\penalty0{}G}{%
		Alfa:1991:AQL%
		}.
\NAMECITE{\penalty0{}Transition}{%
		Taubner:1990:RCP%
		}.
\NAMECITE{Performance}{%
		Coffman:1971:PPE,%
		Plateau:1980:EPA%
		}.
\NAMECITE{Performances}{%
		Plateau:1980:EPA%
		}.
\NAMECITE{performing}{%
		vandeVorst:1988:FDP%
		}.
\NAMECITE{Periodic}{%
		Baccelli:1981:ASF%
		}.
\NAMECITE{Periodic-like}{%
		Carpi:2001:PLW%
		}.
\NAMECITE{periodicity}{%
		Carpi:2000:SFP%
		}.
\NAMECITE{Periods}{%
		Harju:2006:PEW%
		}.
\NAMECITE{{Perlis}}{%
		Habermann:1991:AJP%
		}.
\NAMECITE{Permanent}{%
		Munch-Andersen:1977:SAJ%
		}.
\NAMECITE{Permitted}{%
		Rembowski:1985:PQI%
		}.
\NAMECITE{permitting}{%
		Lundberg:1999:OBG%
		}.
\NAMECITE{Permutation}{%
		Iliopoulos:1986:MCC%
		}.
\NAMECITE{{Permutationen}}{%
		Stoss:1973:RP%
		}.
\NAMECITE{Permutations}{%
		Stoss:1973:RP%
		}.
\NAMECITE{permuted}{%
		Deineko:1996:RPS%
		}.
\NAMECITE{Permuting}{%
		Lenfant:1985:PDO%
		}.
\NAMECITE{Perpetual}{%
		Levi:1988:CSL%
		}.
\NAMECITE{Persistence}{%
		Mayr:1981:PVR%
		}.
\NAMECITE{Perspective}{%
		Leung:1984:PDQ%
		}.
\NAMECITE{Petri}{%
		Hauschildt:1994:PNA,%
		Suzuki:1983:TMS%
		}.
\NAMECITE{Petrovich}{%
		Bauer:1989:MAP%
		}.
\NAMECITE{Phase}{%
		Cohen:1979:MPS%
		}.
\NAMECITE{Phenomenon}{%
		Anderson:1991:NEG%
		}.
\NAMECITE{Physical}{%
		Tsuda:1983:TLTa%
		}.
\NAMECITE{pi}{%
		Engelfriet:2004:NNS%
		}.
\NAMECITE{pi-calculus}{%
		Engelfriet:2004:NNS%
		}.
\NAMECITE{Picture}{%
		Bozapalidis:2008:PD%
		}.
\NAMECITE{Pieces}{%
		Coffman:1978:PMN%
		}.
\NAMECITE{Pipelines}{%
		Schneider:1985:TET%
		}.
\NAMECITE{Place}{%
		Burnetas:1997:AIE%
		}.
\NAMECITE{Plain}{%
		Thomsen:1993:PCS%
		}.
\NAMECITE{Planar}{%
		Rollik:1980:APG%
		}.
\NAMECITE{planaren}{%
		Rollik:1980:APG%
		}.
\NAMECITE{Plane}{%
		Chiba:1985:DPG%
		}.
\NAMECITE{Planning}{%
		Sutner:1988:MPA%
		}.
\NAMECITE{Point}{%
		Pohlmann:1991:FPA%
		}.
\NAMECITE{pointer}{%
		Matsumoto:1996:AAP%
		}.
\NAMECITE{pointers}{%
		Matsumoto:1996:AAP%
		}.
\NAMECITE{Points}{%
		Ramirez:1982:ORP%
		}.
\NAMECITE{points-to}{%
		Chakaravarthy:2002:NAP%
		}.
\NAMECITE{polarizations}{%
		Alhazov:2004:TPL%
		}.
\NAMECITE{Policies}{%
		Nutt:1976:SRA%
		}.
\NAMECITE{Policy}{%
		Kameda:1977:FCR%
		}.
\NAMECITE{poly}{%
		Giannella:2002:APC%
		}.
\NAMECITE{{P{\'o}lya}}{%
		Mahmoud:2004:RSI%
		}.
\NAMECITE{Polyhedra}{%
		Hertel:1984:SSS%
		}.
\NAMECITE{Polymorphism}{%
		Coppo:1983:SP%
		}.
\NAMECITE{Polynomen}{%
		Schonhage:1977:SMP%
		}.
\NAMECITE{Polynomial}{%
		Moenck:1976:APH%
		}.
\NAMECITE{Polynomials}{%
		Paul:1975:BMU%
		}.
\NAMECITE{Polytime}{%
		Beauquier:1998:PMC%
		}.
\NAMECITE{Polyvariant}{%
		Bulyonkov:1984:PMC%
		}.
\NAMECITE{Portable}{%
		Wallis:1978:DPP%
		}.
\NAMECITE{Position}{%
		Kempf:1987:TOL%
		}.
\NAMECITE{Positive}{%
		Huwig:1982:MPP%
		}.
\NAMECITE{positiven}{%
		Huwig:1982:MPP%
		}.
\NAMECITE{Possibilities}{%
		Lee:1996:MGL%
		}.
\NAMECITE{Possibility}{%
		Taubenfeld:1996:PIR%
		}.
\NAMECITE{Possible}{%
		Mateescu:1993:SPS%
		}.
\NAMECITE{{Post}}{%
		Ruohonen:1983:SVP%
		}.
\NAMECITE{Postorder}{%
		Whaley:1991:PTE%
		}.
\NAMECITE{Power}{%
		Reutenauer:1980:OLI%
		}.
\NAMECITE{powers}{%
		Amigo:2006:RIP%
		}.
\NAMECITE{Practical}{%
		Pager:1977:PGM%
		}.
\NAMECITE{{PRAMs}}{%
		Mehlhorn:1984:RDS,%
		Abolhassan:1999:CEP%
		}.
\NAMECITE{Pre}{%
		Buckle:1993:CMJ%
		}.
\NAMECITE{Pre-Orders}{%
		Buckle:1993:CMJ%
		}.
\NAMECITE{Precedence}{%
		Khabbaz:1974:MPA%
		}.
\NAMECITE{Predicate}{%
		Wurges:1981:STB%
		}.
\NAMECITE{Predicate-Transformer}{%
		Hesselink:1989:PTS%
		}.
\NAMECITE{Predicate/\penalty0{}Transition}{%
		Taubner:1990:RCP%
		}.
\NAMECITE{predicates}{%
		Ranjan:2000:DSO%
		}.
\NAMECITE{Predicative}{%
		Hehner:1986:PM%
		}.
\NAMECITE{Prediction}{%
		Martinez:1982:PBP%
		}.
\NAMECITE{Predictions}{%
		Coffman:1971:PPE%
		}.
\NAMECITE{preemptive}{%
		Coffman:2003:IPS%
		}.
\NAMECITE{Preference}{%
		Hesselink:2003:PRF%
		}.
\NAMECITE{prefetching}{%
		Buttner:2005:EPC%
		}.
\NAMECITE{Prefix}{%
		Heilbrunner:1985:TPC%
		}.
\NAMECITE{Prefix-Correct}{%
		Heilbrunner:1985:TPC%
		}.
\NAMECITE{Prefixes}{%
		Fraenkel:1983:TCP%
		}.
\NAMECITE{Preorder}{%
		Arun-Kumar:1992:EPP%
		}.
\NAMECITE{Prepaging}{%
		Martinez:1982:PBP%
		}.
\NAMECITE{Prescribed}{%
		Paun:1994:PTG%
		}.
\NAMECITE{Preservation}{%
		Su:1994:DPS%
		}.
\NAMECITE{Presortedness}{%
		Carlsson:1992:PPS%
		}.
\NAMECITE{Prevention}{%
		Munch-Andersen:1977:SAJ%
		}.
\NAMECITE{Primal}{%
		Bengelloun:1986:IPS%
		}.
\NAMECITE{Primary}{%
		Huang:1989:AMP%
		}.
\NAMECITE{Primitive}{%
		Meinke:1994:RSO%
		}.
\NAMECITE{Primitives}{%
		Nehmer:1975:DPC%
		}.
\NAMECITE{Principle}{%
		Guibas:1975:PIB%
		}.
\NAMECITE{Principles}{%
		Tennent:1977:LDM,%
		Berry:1981:RRD%
		}.
\NAMECITE{Priorities}{%
		Bause:1996:APN%
		}.
\NAMECITE{Prioritized}{%
		Franta:1980:APC%
		}.
\NAMECITE{Priority}{%
		Landwehr:1976:EPM%
		}.
\NAMECITE{Probabilistic}{%
		Gelenbe:1976:PMC%
		}.
\NAMECITE{Problem}{%
		Paul:1974:KS,%
		Epstein:2004:ASM%
		}.
\NAMECITE{Problematic}{%
		Manna:1981:PFP%
		}.
\NAMECITE{Problems}{%
		Paul:1975:BMU,%
		Monien:1977:CTM%
		}.
\NAMECITE{Procedural}{%
		Hoffmann:1978:DCC%
		}.
\NAMECITE{Procedure}{%
		Langmaack:1973:CPP,%
		Mikou:1979:AOP%
		}.
\NAMECITE{Procedure-Type}{%
		Ernst:1982:VPP%
		}.
\NAMECITE{Procedures}{%
		Langmaack:1973:POS,%
		Bouchet:1979:PRS%
		}.
\NAMECITE{Process}{%
		Heidelberger:1980:VRT%
		}.
\NAMECITE{Processes}{%
		Dijkstra:1971:HOS,%
		Lauer:1977:ACF%
		}.
\NAMECITE{processeurs}{%
		Nain:1983:PTE%
		}.
\NAMECITE{Processing}{%
		Stephens:1997:SSP%
		}.
\NAMECITE{Processor}{%
		Coffman:1972:OST%
		}.
\NAMECITE{Processors}{%
		Liu:1978:PAM%
		}.
\NAMECITE{{PROCOL}}{%
		vandenBos:1991:PCO%
		}.
\NAMECITE{Product}{%
		Francez:1983:PPT%
		}.
\NAMECITE{Production}{%
		Rosen:1975:DGG%
		}.
\NAMECITE{Productions}{%
		Pager:1978:EUP%
		}.
\NAMECITE{{PROFIT}}{%
		Han:1999:PPC%
		}.
\NAMECITE{{PROFIT/\penalty0{}COST}}{%
		Han:1999:PPC%
		}.
\NAMECITE{Program}{%
		Clint:1972:PPJ%
		}.
\NAMECITE{Program-Analysis}{%
		Reps:1996:SNI%
		}.
\NAMECITE{Program-Substitution}{%
		Biela:1988:PSA%
		}.
\NAMECITE{Programm}{%
		Strassen:1972:BP%
		}.
\NAMECITE{Programmable}{%
		Kaufholz:1972:PEA%
		}.
\NAMECITE{Programme}{%
		Claus:1971:VPS%
		}.
\NAMECITE{Programmed}{%
		Rozenberg:1972:DCP%
		}.
\NAMECITE{programmierbare}{%
		Kaufholz:1972:PEA%
		}.
\NAMECITE{Programming}{%
		Wirth:1971:PLP%
		}.
\NAMECITE{Programs}{%
		Claus:1971:VPS%
		}.
\NAMECITE{Project}{%
		Loizou:1987:LPJ%
		}.
\NAMECITE{Project-Join}{%
		Loizou:1987:LPJ%
		}.
\NAMECITE{projection}{%
		Duan:2008:DPP%
		}.
\NAMECITE{projections}{%
		Chandra:1983:SBV%
		}.
\NAMECITE{{Prolog}}{%
		LeCharlier:1995:RAI%
		}.
\NAMECITE{promoters}{%
		Bottoni:2002:MSP%
		}.
\NAMECITE{promoters/inhibitors}{%
		Bottoni:2002:MSP%
		}.
\NAMECITE{Proof}{%
		Hoare:1972:PCD%
		}.
\NAMECITE{Proofs}{%
		Barringer:1984:LCU%
		}.
\NAMECITE{Properties}{%
		Newton:1975:PPI,%
		Blondel:1998:SNP%
		}.
\NAMECITE{proposition}{%
		Engelfriet:1998:AGG%
		}.
\NAMECITE{Propositional}{%
		Nishimura:1979:SMP%
		}.
\NAMECITE{Protocol}{%
		Franta:1980:APC%
		}.
\NAMECITE{Protocols}{%
		Ramarao:1989:CDC%
		}.
\NAMECITE{Prototyping}{%
		Poetzsch-Heffter:1997:PRP%
		}.
\NAMECITE{Providing}{%
		Lesley:2003:PVS%
		}.
\NAMECITE{Proving}{%
		Clint:1972:PPJ%
		}.
\NAMECITE{{PSPACE}}{%
		Reisch:1980:GPV%
		}.
\NAMECITE{{PSPACE}-Complete}{%
		Reisch:1980:GPV%
		}.
\NAMECITE{{PSPACE-vollst{\"a}ndig}}{%
		Reisch:1980:GPV%
		}.
\NAMECITE{Publication}{%
		Anonymous:2003:MPP%
		}.
\NAMECITE{{Publisher}}{%
		Anonymous:2003:MPP%
		}.
\NAMECITE{pure}{%
		Silva:2003:NPP%
		}.
\NAMECITE{Purely}{%
		Ottmann:1985:PTU%
		}.
\NAMECITE{Purpose}{%
		Casanova:1980:GPS%
		}.
\NAMECITE{Push}{%
		Ehrenfeucht:1988:RUM%
		}.
\NAMECITE{Push-Down}{%
		Ehrenfeucht:1988:RUM%
		}.
\NAMECITE{Pushdown}{%
		Ben-Ari:1978:IPS%
		}.


\NAMECITE{{QoS}}{%
		Layuan:2003:DQA%
		}.
\NAMECITE{{QoS}-Aware}{%
		Layuan:2003:DQA%
		}.
\NAMECITE{Quad}{%
		Finkel:1974:QTD%
		}.
\NAMECITE{Quad-}{%
		Overmars:1982:DMD%
		}.
\NAMECITE{quadratic}{%
		Iwamoto:2002:QST%
		}.
\NAMECITE{Quadrature}{%
		Rice:1975:PAA%
		}.
\NAMECITE{Quadtree}{%
		Aref:1993:DWM%
		}.
\NAMECITE{Quantification}{%
		Laurinolli:1978:BQR%
		}.
\NAMECITE{Quantum}{%
		Rembowski:1985:PQI%
		}.
\NAMECITE{Quasi}{%
		deLuca:1994:WQO%
		}.
\NAMECITE{Quasi-Orders}{%
		deLuca:1994:WQO%
		}.
\NAMECITE{Queries}{%
		Biskup:1995:OSC%
		}.
\NAMECITE{Query}{%
		Buchsbaum:1995:LSS%
		}.
\NAMECITE{Querying}{%
		Meghini:1985:QFR%
		}.
\NAMECITE{Queue}{%
		Franta:1976:MAC%
		}.
\NAMECITE{Queueing}{%
		Gelenbe:1976:BSQ%
		}.
\NAMECITE{Queues}{%
		Iglehart:1979:RSR%
		}.
\NAMECITE{Queuing}{%
		Giammo:1976:VCP%
		}.
\NAMECITE{{Quicksort}}{%
		Sedgewick:1977:AQP%
		}.
\NAMECITE{Quorum}{%
		Kumar:1996:OCH%
		}.
\NAMECITE{Quotient}{%
		Latteux:1985:FOC%
		}.


\NAMECITE{R}{%
		Ashcroft:1976:RPP%
		}.
\NAMECITE{{R.}}{%
		Berry:1981:RRD%
		}.
\NAMECITE{{Ramsey}}{%
		Monien:1985:RNA%
		}.
\NAMECITE{{Randell}}{%
		Koutny:1986:MRP%
		}.
\NAMECITE{Random}{%
		Schnorr:1972:EAZ%
		}.
\NAMECITE{Randomized}{%
		Mehlhorn:1984:RDS%
		}.
\NAMECITE{Range}{%
		Bentley:1980:EWC%
		}.
\NAMECITE{{Rangierkomplexit{\"a}t}}{%
		Stoss:1973:RP%
		}.
\NAMECITE{ranging}{%
		Greco:2001:ESD%
		}.
\NAMECITE{Rank}{%
		Neraud:1995:DMI%
		}.
\NAMECITE{ranking}{%
		Sibeyn:1998:LRM%
		}.
\NAMECITE{rankings}{%
		Hesselink:2003:PRF%
		}.
\NAMECITE{Rate}{%
		Parent:1977:NIP%
		}.
\NAMECITE{rates}{%
		Cheng:2000:SMS%
		}.
\NAMECITE{Rational}{%
		Boasson:1973:DFL%
		}.
\NAMECITE{rationelle}{%
		Boasson:1973:DFL%
		}.
\NAMECITE{re}{%
		Lipps:1988:ARE%
		}.
\NAMECITE{Reachability}{%
		Reif:1988:CRD%
		}.
\NAMECITE{Reactive}{%
		Tuzhilin:1996:MDI%
		}.
\NAMECITE{Reactivity}{%
		Manna:1993:MR%
		}.
\NAMECITE{Read}{%
		Kirousis:1995:EAC%
		}.
\NAMECITE{Readers}{%
		Conradi:1977:SCC%
		}.
\NAMECITE{Real}{%
		Hennessy:1981:FDR%
		}.
\NAMECITE{Real-Time}{%
		Hennessy:1981:FDR%
		}.
\NAMECITE{Realisierbarkeit}{%
		Eichner:1973:LRE%
		}.
\NAMECITE{Realisierungen}{%
		Kandzia:1973:TPL%
		}.
\NAMECITE{Realistic}{%
		Poetzsch-Heffter:1997:PRP%
		}.
\NAMECITE{Realizability}{%
		Eichner:1974:TLR%
		}.
\NAMECITE{Realizable}{%
		Eichner:1973:LRE%
		}.
\NAMECITE{Realizations}{%
		Kandzia:1973:TPL%
		}.
\NAMECITE{Rearrangement}{%
		Purdom:1981:BML%
		}.
\NAMECITE{Reasonable}{%
		Lauesen:1973:JSG%
		}.
\NAMECITE{Reasoning}{%
		Kroger:1977:LLA%
		}.
\NAMECITE{Rebalancing}{%
		Nurmi:1996:CBS%
		}.
\NAMECITE{Receptive}{%
		Josephs:1992:RPT%
		}.
\NAMECITE{Recognition}{%
		Alt:1979:LBS%
		}.
\NAMECITE{Recognizability}{%
		Bozapalidis:2006:RGP%
		}.
\NAMECITE{Recognizable}{%
		Laurinolli:1978:BQR%
		}.
\NAMECITE{Recognized}{%
		Ecker:1974:ELA%
		}.
\NAMECITE{Recommended}{%
		Steensgaard-Madsen:1979:PCR%
		}.
\NAMECITE{Reconstructed}{%
		Jones:1994:TLP%
		}.
\NAMECITE{Record}{%
		Leung:1982:EFL%
		}.
\NAMECITE{Recording}{%
		Ehrenfeucht:1988:RUM%
		}.
\NAMECITE{Records}{%
		Devroye:1988:ATR%
		}.
\NAMECITE{Recovery}{%
		Lewi:1978:EPG,%
		Bouchet:1979:PRS%
		}.
\NAMECITE{Rectangles}{%
		Guting:1984:ODC%
		}.
\NAMECITE{Recurrence}{%
		Pettorossi:1982:DVE%
		}.
\NAMECITE{recurrences}{%
		Hwang:1998:AEM%
		}.
\NAMECITE{Recursion}{%
		Hesselink:1989:PTS%
		}.
\NAMECITE{Recursive}{%
		Francez:1977:BRC%
		}.
\NAMECITE{Recursively}{%
		Araki:1981:FLE%
		}.
\NAMECITE{red}{%
		Larsen:2002:RRB%
		}.
\NAMECITE{red-black}{%
		Larsen:2002:RRB%
		}.
\NAMECITE{Reduced}{%
		Djidjev:1997:RCS%
		}.
\NAMECITE{reducibility}{%
		Kapur:1991:SCG%
		}.
\NAMECITE{Reducing}{%
		Fox:1973:RNM%
		}.
\NAMECITE{Reduction}{%
		Heidelberger:1980:VRT%
		}.
\NAMECITE{Reductions}{%
		Tokuda:1981:EUR%
		}.
\NAMECITE{Redundancy}{%
		Bertsch:1996:OSR%
		}.
\NAMECITE{Redundant}{%
		Murtagh:1987:RPN%
		}.
\NAMECITE{Reexecution}{%
		LeCharlier:1995:RAI%
		}.
\NAMECITE{Referees}{%
		Anonymous:1995:AR%
		}.
\NAMECITE{reference}{%
		Moreau:2001:CDR%
		}.
\NAMECITE{references}{%
		Matsumoto:1996:AAP%
		}.
\NAMECITE{Referential}{%
		Sondergaard:1990:RTD%
		}.
\NAMECITE{Refinement}{%
		Correll:1978:PPC%
		}.
\NAMECITE{Refinements}{%
		Back:1988:CRP%
		}.
\NAMECITE{Regenerative}{%
		Iglehart:1979:RSR%
		}.
\NAMECITE{Region}{%
		Lee:1978:WCA%
		}.
\NAMECITE{Regions}{%
		Schmid:1976:EIC%
		}.
\NAMECITE{Register}{%
		Asveld:1979:ELM%
		}.
\NAMECITE{Registers}{%
		Kemp:1979:ANR%
		}.
\NAMECITE{Regular}{%
		Langmaack:1971:ARC%
		}.
\NAMECITE{Regularity}{%
		Bucher:1986:RTD%
		}.
\NAMECITE{Regulated}{%
		Fernau:1997:UTR%
		}.
\NAMECITE{{Reidar}}{%
		Silberschatz:1978:RSC%
		}.
\NAMECITE{Rejection}{%
		Akyildiz:1989:CAN%
		}.
\NAMECITE{Related}{%
		Lipski:1981:EAF%
		}.
\NAMECITE{Relating}{%
		KrishnaRao:1996:RCI%
		}.
\NAMECITE{Relation}{%
		Culik:1973:SJM%
		}.
\NAMECITE{Relational}{%
		Earley:1973:RLD%
		}.
\NAMECITE{Relations}{%
		Laurinolli:1978:BQR%
		}.
\NAMECITE{Relationship}{%
		Mannila:1983:RMO%
		}.
\NAMECITE{relationships}{%
		Karr:1976:ARA%
		}.
\NAMECITE{Relative}{%
		Berman:1990:PRL%
		}.
\NAMECITE{Relatively}{%
		Damm:1983:SRH%
		}.
\NAMECITE{relaxed}{%
		Ding:1993:RMM%
		}.
\NAMECITE{Reliability}{%
		Hamlet:1981:RTP%
		}.
\NAMECITE{{RelView}}{%
		Berghammer:2008:ARA%
		}.
\NAMECITE{Remarks}{%
		Ashcroft:1976:RPP%
		}.
\NAMECITE{Removing}{%
		Hehner:1978:RML%
		}.
\NAMECITE{Reorganization}{%
		Ramirez:1982:ORP%
		}.
\NAMECITE{Repair}{%
		Fischer:1992:SFE%
		}.
\NAMECITE{{R}{\'e}partie}{%
		Plateau:1980:EPA%
		}.
\NAMECITE{r{\'e}parties}{%
		Bouchet:1979:PRS%
		}.
\NAMECITE{repetitive}{%
		Currie:2003:WLW%
		}.
\NAMECITE{Replaceability}{%
		Beynon:1985:RCE%
		}.
\NAMECITE{Replacement}{%
		Mayr:1981:PVR%
		}.
\NAMECITE{replication}{%
		Mihalache:19xx:GSR%
		}.
\NAMECITE{Reply}{%
		Hansen:1973:RCC%
		}.
\NAMECITE{Report}{%
		vanWijngaarden:1975:RRA%
		}.
\NAMECITE{representable}{%
		Ehrenfeucht:1990:CSR%
		}.
\NAMECITE{Representation}{%
		MacVeigh:1977:EDR%
		}.
\NAMECITE{representations}{%
		Hoare:1972:PCD%
		}.
\NAMECITE{Representative}{%
		Calzarossa:1986:WMR%
		}.
\NAMECITE{Representing}{%
		Huddleston:1982:NDS%
		}.
\NAMECITE{reprise}{%
		Bouchet:1979:PRS%
		}.
\NAMECITE{requirements}{%
		Peterson:1995:VSR%
		}.
\NAMECITE{Residue}{%
		Valk:1985:RVS%
		}.
\NAMECITE{resilient}{%
		Rangarajan:1997:SMT%
		}.
\NAMECITE{Resolution}{%
		Wharton:1976:RAP%
		}.
\NAMECITE{Resource}{%
		Nutt:1976:SRA%
		}.
\NAMECITE{respect}{%
		Shen:1999:FKM%
		}.
\NAMECITE{Respecting}{%
		Buckle:1993:CMJ%
		}.
\NAMECITE{Response}{%
		Iglehart:1979:RSR%
		}.
\NAMECITE{restarts}{%
		vanStee:2001:RJC%
		}.
\NAMECITE{Restricted}{%
		Mehlhorn:1984:RDS%
		}.
\NAMECITE{Restriction}{%
		Hromkovic:1985:FTW%
		}.
\NAMECITE{Result}{%
		Dunne:1987:RVG%
		}.
\NAMECITE{Results}{%
		Gelenbe:1976:PMC%
		}.
\NAMECITE{Retention}{%
		Kearns:1983:IRC%
		}.
\NAMECITE{Retracts}{%
		Mitchell:1988:ICR%
		}.
\NAMECITE{retrial}{%
		Falin:1994:ITA%
		}.
\NAMECITE{Retrieval}{%
		Finkel:1974:QTD%
		}.
\NAMECITE{{RETRPROV}}{%
		Biela:1996:RSL%
		}.
\NAMECITE{Reusability}{%
		Kastens:1994:MRA%
		}.
\NAMECITE{Reversal}{%
		Hromkovic:1985:FTW%
		}.
\NAMECITE{reversals}{%
		Walther:2004:PRE%
		}.
\NAMECITE{Revised}{%
		vanWijngaarden:1975:RRA%
		}.
\NAMECITE{revisited}{%
		Sannella:1988:TFD%
		}.
\NAMECITE{Rewrite}{%
		Cunningham:1985:RSL%
		}.
\NAMECITE{Rewriting}{%
		Ehrenfeucht:1974:NVH%
		}.
\NAMECITE{Right}{%
		Langmaack:1971:ARC%
		}.
\NAMECITE{Right-Boundary}{%
		Ehrenfeucht:1988:RUM%
		}.
\NAMECITE{Ring}{%
		Goldreich:1987:ELR%
		}.
\NAMECITE{Robin}{%
		Daduna:1981:DTR%
		}.
\NAMECITE{{Robinson}}{%
		Ruzicka:1989:ALR%
		}.
\NAMECITE{Robust}{%
		Cristian:1982:RDT%
		}.
\NAMECITE{Role}{%
		Shostak:1977:RUM%
		}.
\NAMECITE{Root}{%
		Doberkat:1982:DRH%
		}.
\NAMECITE{rotations}{%
		Larsen:1998:ACR%
		}.
\NAMECITE{Round}{%
		Daduna:1981:DTR%
		}.
\NAMECITE{Round-Robin}{%
		Daduna:1981:DTR%
		}.
\NAMECITE{routines}{%
		Clint:1973:PPC%
		}.
\NAMECITE{Routing}{%
		Becker:1986:ARP%
		}.
\NAMECITE{Rule}{%
		Biskup:1978:CRM%
		}.
\NAMECITE{Rules}{%
		Ernst:1977:RIP%
		}.
\NAMECITE{Run}{%
		Hinz:1992:RTL%
		}.
\NAMECITE{Run-Time}{%
		Hinz:1992:RTL%
		}.
\NAMECITE{Running}{%
		vanStee:2001:RJC%
		}.
\NAMECITE{Runs}{%
		Salzberg:1989:MSR%
		}.


\NAMECITE{{S.}}{%
		Berstel:1974:CG%
		}.
\NAMECITE{safe}{%
		Levi:2006:TEB%
		}.
\NAMECITE{Same}{%
		Engelfriet:1992:CFH%
		}.
\NAMECITE{{Samelson}}{%
		Bauer:1981:KS%
		}.
\NAMECITE{{SAT}}{%
		Gorlatch:2000:APD%
		}.
\NAMECITE{Satellite}{%
		Bechtold:1985:TSC%
		}.
\NAMECITE{Satisfiability}{%
		Knuth:1990:NS%
		}.
\NAMECITE{satisfying}{%
		Calders:2007:CSC%
		}.
\NAMECITE{{Saturated}}{%
		Leguy:1982:LSC%
		}.
\NAMECITE{satur{\'e}s}{%
		Leguy:1982:LSC%
		}.
\NAMECITE{Saves}{%
		Coffman:1993:SSF%
		}.
\NAMECITE{{SB}}{%
		ONeil:1992:STI%
		}.
\NAMECITE{{SB}-tree}{%
		ONeil:1992:STI%
		}.
\NAMECITE{scalability}{%
		Rangarajan:1997:SMT%
		}.
\NAMECITE{Scattered}{%
		Gonczarowski:1989:SVC%
		}.
\NAMECITE{{SCCS}}{%
		Critchlow:1991:EPD%
		}.
\NAMECITE{{Schaltkreise}}{%
		Claus:1971:VPS%
		}.
\NAMECITE{Schedule}{%
		Coffman:1976:AMM%
		}.
\NAMECITE{Scheduled}{%
		Lee:1992:SMF%
		}.
\NAMECITE{Schedulers}{%
		Casanova:1980:GPS%
		}.
\NAMECITE{Schedules}{%
		Bovet:1991:MDS%
		}.
\NAMECITE{Scheduling}{%
		Coffman:1972:OST%
		}.
\NAMECITE{Schema}{%
		Gotlieb:1974:CSS%
		}.
\NAMECITE{Schemas}{%
		Goodman:1983:NCP%
		}.
\NAMECITE{Schemata}{%
		Ehrich:1975:GTDa,%
		Ehrich:1975:GTDa%
		}.
\NAMECITE{Schematic}{%
		Stewart:1993:LSC%
		}.
\NAMECITE{Schemes}{%
		Rosenberg:1977:SSB,%
		Diaz:1996:PAS%
		}.
\NAMECITE{{Schnelle}}{%
		Schonhage:1971:SBK%
		}.
\NAMECITE{{Scholten}}{%
		Bijlsma:1998:DSP%
		}.
\NAMECITE{{Schorr}}{%
		Topor:1979:CSW%
		}.
\NAMECITE{{Schorr-Waite}}{%
		Topor:1979:CSW%
		}.
\NAMECITE{Science}{%
		Hoogewijs:1987:PPL%
		}.
\NAMECITE{Search}{%
		Smith:19xx:SDG%
		}.
\NAMECITE{Searches}{%
		Lee:1978:WCA%
		}.
\NAMECITE{Searching}{%
		Guibas:1975:PIB%
		}.
\NAMECITE{searchlight}{%
		Yen:1999:OAS%
		}.
\NAMECITE{second}{%
		Huet:1978:PAP%
		}.
\NAMECITE{second-Order}{%
		Huet:1978:PAP%
		}.
\NAMECITE{Secondary}{%
		Wright:1981:BST%
		}.
\NAMECITE{Selection}{%
		Snyder:1982:RSI%
		}.
\NAMECITE{Selective}{%
		Rozenberg:1980:CFG%
		}.
\NAMECITE{Self}{%
		Welch:1976:SCM%
		}.
\NAMECITE{Self-embedded}{%
		Andrei:2004:SEC%
		}.
\NAMECITE{Self-Stabilization}{%
		Gouda:1990:ISS%
		}.
\NAMECITE{Self-Stabilizing}{%
		Cherkasova:1995:BSS%
		}.
\NAMECITE{{SEMANOL}}{%
		Anderson:1976:SMP%
		}.
\NAMECITE{Semantic}{%
		Zislis:1975:SDC%
		}.
\NAMECITE{Semantics}{%
		Hoare:1974:CCF%
		}.
\NAMECITE{Semaphore}{%
		Agerwala:1977:SES%
		}.
\NAMECITE{semi}{%
		He:2004:OAS%
		}.
\NAMECITE{semi-algebraic}{%
		Geerts:2005:DVD%
		}.
\NAMECITE{semi-online}{%
		He:2004:OAS%
		}.
\NAMECITE{Semigroup}{%
		Kamimura:1985:EGI%
		}.
\NAMECITE{Semigroups}{%
		Eichner:1978:SLRa%
		}.
\NAMECITE{Sensitive}{%
		Savitch:1973:NMA%
		}.
\NAMECITE{Sensitivity}{%
		Schuler:1975:NDC%
		}.
\NAMECITE{Sentential}{%
		Salomaa:1973:SFC%
		}.
\NAMECITE{Separation}{%
		Lengauer:1981:BWP%
		}.
\NAMECITE{Separatoren}{%
		Philipp:1980:SPG%
		}.
\NAMECITE{Separators}{%
		Philipp:1980:SPG%
		}.
\NAMECITE{Sequence}{%
		Staalmarck:1996:SRP%
		}.
\NAMECITE{Sequences}{%
		Nielson:1983:CSW%
		}.
\NAMECITE{Sequential}{%
		Dijkstra:1971:HOS,%
		Hotz:1974:SAK%
		}.
\NAMECITE{{Sequentielle}}{%
		Hotz:1974:SAK%
		}.
\NAMECITE{s{\'e}quentielles}{%
		Autebert:1979:OCA%
		}.
\NAMECITE{Sequnces}{%
		Schnorr:1972:EAZ%
		}.
\NAMECITE{Serializability}{%
		Vidyasankar:1987:GTS%
		}.
\NAMECITE{Series}{%
		Reutenauer:1980:OLI%
		}.
\NAMECITE{series-parallel}{%
		Yen:1999:OAS%
		}.
\NAMECITE{Server}{%
		Agrawala:1982:ESG%
		}.
\NAMECITE{Servers}{%
		Kouvatsos:1988:MET%
		}.
\NAMECITE{Service}{%
		Labetoulle:1976:SQN%
		}.
\NAMECITE{services}{%
		Lesley:2003:PVS%
		}.
\NAMECITE{session}{%
		Gay:2005:SST%
		}.
\NAMECITE{Set}{%
		Taniguchi:1976:ACS%
		}.
\NAMECITE{Set-Partitioning}{%
		Coffman:1984:PGG%
		}.
\NAMECITE{Sets}{%
		Ehrich:1973:MMV%
		}.
\NAMECITE{settings}{%
		Epstein:2006:VAS%
		}.
\NAMECITE{Several}{%
		Darlington:1978:SSS%
		}.
\NAMECITE{Shared}{%
		Berry:1985:DSS%
		}.
\NAMECITE{Shared-Memory}{%
		Berry:1985:DSS%
		}.
\NAMECITE{Sharing}{%
		Brandwajn:1974:MTS%
		}.
\NAMECITE{Sharp}{%
		Bijlsma:1989:SPR%
		}.
\NAMECITE{Short}{%
		Krishnamurthy:1985:SPT%
		}.
\NAMECITE{Shuffle}{%
		Mitrana:1997:IBS%
		}.
\NAMECITE{Side}{%
		Kowaltowski:1977:AAS%
		}.
\NAMECITE{Sieve}{%
		Pritchard:1982:EWS%
		}.
\NAMECITE{{Silberschatz}}{%
		Levene:1991:CNV%
		}.
\NAMECITE{silent}{%
		Dolev:1999:MRS%
		}.
\NAMECITE{similar}{%
		Nakatsu:1982:LCS%
		}.
\NAMECITE{simple}{%
		Mihalache:19xx:GSR%
		}.
\NAMECITE{Simplest}{%
		Mateescu:1993:SPS%
		}.
\NAMECITE{Simplified}{%
		Goodman:1983:NCP%
		}.
\NAMECITE{simulating}{%
		Frisco:2004:PSS%
		}.
\NAMECITE{Simulation}{%
		Iglehart:1979:RSR%
		}.
\NAMECITE{Simulations}{%
		Mehlhorn:1984:RDS%
		}.
\NAMECITE{simultan{\'e}e}{%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{Simultaneous}{%
		Gelenbe:1974:AAG%
		}.
\NAMECITE{Single}{%
		Gelenbe:1976:BSQ%
		}.
\NAMECITE{single-}{%
		Buttner:2005:EPC%
		}.
\NAMECITE{single-machine}{%
		Lee:2004:BCS%
		}.
\NAMECITE{Single-Queue}{%
		Gelenbe:1976:BSQ%
		}.
\NAMECITE{Single-Server}{%
		Ruhl:1994:BRT%
		}.
\NAMECITE{Site}{%
		Huang:1989:AMP%
		}.
\NAMECITE{Situational}{%
		Manna:1981:PFP%
		}.
\NAMECITE{Situational-Calculus}{%
		Manna:1981:PFP%
		}.
\NAMECITE{six}{%
		Roth:1992:EBP%
		}.
\NAMECITE{Size}{%
		Gelenbe:1973:PSD%
		}.
\NAMECITE{Size-depth}{%
		Commentz-Walter:1979:SDT%
		}.
\NAMECITE{Sized}{%
		Csirik:1989:LAV%
		}.
\NAMECITE{Skip}{%
		Kirschenhofer:1994:PLR%
		}.
\NAMECITE{Slack}{%
		Liu:1982:SST%
		}.
\NAMECITE{slender}{%
		Honkala:2000:SLB%
		}.
\NAMECITE{slenderness}{%
		Honkala:1998:DPC%
		}.
\NAMECITE{Slices}{%
		Horwitz:1991:ECP%
		}.
\NAMECITE{Slicings}{%
		Tamminen:1986:CMS%
		}.
\NAMECITE{SLR}{%
		Wyrostek:1986:PTW%
		}.
\NAMECITE{Small}{%
		Balcazar:1986:SSG%
		}.
\NAMECITE{Software}{%
		Berzins:1986:MSE%
		}.
\NAMECITE{Solution}{%
		Morito:1980:UBA%
		}.
\NAMECITE{Solutions}{%
		Huang:1989:IMD%
		}.
\NAMECITE{solve}{%
		Berghammer:2008:ARA%
		}.
\NAMECITE{Solved}{%
		Brandwajn:1974:MTS%
		}.
\NAMECITE{Solves}{%
		Hertel:1984:SSS%
		}.
\NAMECITE{solving}{%
		Yen:1999:OAS%
		}.
\NAMECITE{Some}{%
		Ehrenfeucht:1974:NVH%
		}.
\NAMECITE{Sort}{%
		Burnetas:1997:AIE%
		}.
\NAMECITE{sorted}{%
		Nakajima:1980:HPS%
		}.
\NAMECITE{{Sortierproblemen}}{%
		Paul:1974:KS%
		}.
\NAMECITE{Sorting}{%
		Paul:1974:KS%
		}.
\NAMECITE{Sound}{%
		Olderog:1981:SCH%
		}.
\NAMECITE{Space}{%
		Deussen:1977:VWG%
		}.
\NAMECITE{Space-Bounded}{%
		Book:1979:LAS%
		}.
\NAMECITE{Spaces}{%
		Cremers:1978:FBD%
		}.
\NAMECITE{Spanning}{%
		Tarjan:1976:EDS%
		}.
\NAMECITE{Sparse}{%
		MacVeigh:1977:EDR%
		}.
\NAMECITE{spatial}{%
		Ouksel:1992:RES%
		}.
\NAMECITE{Special}{%
		Otto:1991:DPF%
		}.
\NAMECITE{specialization}{%
		Tip:2000:CHS%
		}.
\NAMECITE{Specification}{%
		Neuhold:1976:SPC%
		}.
\NAMECITE{Specification-Oriented}{%
		Olderog:1986:SOS%
		}.
\NAMECITE{Specifications}{%
		Moore:1981:ADT%
		}.
\NAMECITE{Specified}{%
		Reusch:1986:MCI%
		}.
\NAMECITE{specifunction}{%
		Chen:2005:WS%
		}.
\NAMECITE{Specify}{%
		Garg:1997:UCD%
		}.
\NAMECITE{Specifying}{%
		Ehrich:2000:SCD%
		}.
\NAMECITE{Speech}{%
		Banatre:1983:NDW%
		}.
\NAMECITE{Speeding}{%
		Deransart:1984:SCT%
		}.
\NAMECITE{Speedup}{%
		Aczel:1997:NFS%
		}.
\NAMECITE{{Speicheroptimale}}{%
		Kern:1977:SF%
		}.
\NAMECITE{Spelling}{%
		Du:1992:MFA%
		}.
\NAMECITE{Split}{%
		Huang:1984:GBS%
		}.
\NAMECITE{Splits}{%
		Baeza-Yates:1989:MSF%
		}.
\NAMECITE{Splitting}{%
		Garey:1974:PBS%
		}.
\NAMECITE{{Sprachen}}{%
		Hotz:1974:SAK%
		}.
\NAMECITE{Sprouts}{%
		Schmidt:1989:DSD%
		}.
\NAMECITE{square}{%
		Epstein:2005:OSC%
		}.
\NAMECITE{Stability}{%
		Fayolle:1974:SPB%
		}.
\NAMECITE{Stabilization}{%
		Gouda:1990:ISS%
		}.
\NAMECITE{Stabilizing}{%
		Cherkasova:1995:BSS%
		}.
\NAMECITE{Stable}{%
		Huang:1989:SDK%
		}.
\NAMECITE{Stably}{%
		Katajainen:1994:SMS%
		}.
\NAMECITE{Stack}{%
		Russell:1977:EBC%
		}.
\NAMECITE{Stack-Counter}{%
		Miyano:1982:HTM%
		}.
\NAMECITE{Stacks}{%
		Kamin:1987:ETS%
		}.
\NAMECITE{Stage}{%
		Franta:1976:MAC%
		}.
\NAMECITE{Staggered}{%
		Franta:1980:APC%
		}.
\NAMECITE{Standard}{%
		Hansen:1978:RSH%
		}.
\NAMECITE{Starting}{%
		Epstein:2004:ASM%
		}.
\NAMECITE{State}{%
		Greibach:1978:HTT%
		}.
\NAMECITE{statechart}{%
		Makinen:2002:MAT%
		}.
\NAMECITE{Statement}{%
		He:1983:GPT%
		}.
\NAMECITE{Statements}{%
		deBruin:1981:GSS%
		}.
\NAMECITE{States}{%
		Best:1984:FCS%
		}.
\NAMECITE{Static}{%
		Warren:1978:SMS%
		}.
\NAMECITE{Station}{%
		Kouvatsos:1988:MET%
		}.
\NAMECITE{Stationary}{%
		Rosenberg:1986:FAE%
		}.
\NAMECITE{stationnaires}{%
		Rosenberg:1986:FAE%
		}.
\NAMECITE{Statistic}{%
		Richards:1992:SQD%
		}.
\NAMECITE{Statistical}{%
		Iglehart:1981:RSR%
		}.
\NAMECITE{{Steiner}}{%
		Kou:1981:FAS%
		}.
\NAMECITE{Step}{%
		Taubner:1989:SFS%
		}.
\NAMECITE{Stepwise}{%
		Wabenhorst:2003:SDF%
		}.
\NAMECITE{sticker}{%
		Kari:1998:DCS%
		}.
\NAMECITE{Sticky}{%
		Kari:2003:SFO%
		}.
\NAMECITE{Sticky-free}{%
		Kari:2003:SFO%
		}.
\NAMECITE{Stochastic}{%
		Gawo:2003:SCD%
		}.
\NAMECITE{Storage}{%
		Betteridge:1974:ASA,%
		Kern:1977:SF%
		}.
\NAMECITE{Store}{%
		Leung:1987:ASA%
		}.
\NAMECITE{Store-and-Forward}{%
		Bernabeu-Auban:1991:RFS%
		}.
\NAMECITE{{Sto{\ss}}}{%
		Klingler:1981:GBA%
		}.
\NAMECITE{{Strassen}}{%
		Cohen:1976:ISF%
		}.
\NAMECITE{Strategies}{%
		Mitrani:1977:CPF%
		}.
\NAMECITE{Strategy}{%
		Hinz:1992:RTL%
		}.
\NAMECITE{Stratified}{%
		vanLeeuwen:1983:SBS%
		}.
\NAMECITE{Stream}{%
		deBakker:1987:OMS%
		}.
\NAMECITE{streams}{%
		Meinke:2001:CDS%
		}.
\NAMECITE{stretching}{%
		Epstein:2003:SR%
		}.
\NAMECITE{Strictness}{%
		Indermark:2006:ACP%
		}.
\NAMECITE{String}{%
		McKellar:1972:BAS%
		}.
\NAMECITE{String-Rewriting}{%
		Otto:1991:DPF%
		}.
\NAMECITE{strings}{%
		Mihalache:19xx:GSR%
		}.
\NAMECITE{strip}{%
		Coffman:2002:PRS%
		}.
\NAMECITE{Strong}{%
		Srba:2003:SBS,%
		Rodriguez:1981:IFC%
		}.
\NAMECITE{Strongest}{%
		Mili:1985:SIF%
		}.
\NAMECITE{Strongly}{%
		vanLamsweerde:1979:FDS%
		}.
\NAMECITE{Structural}{%
		Fachini:1992:LAS%
		}.
\NAMECITE{Structure}{%
		Smith:19xx:SDG%
		}.
\NAMECITE{Structured}{%
		Majster:1977:EDG%
		}.
\NAMECITE{Structures}{%
		Turski:1971:MDS%
		}.
\NAMECITE{{Structures.}}{%
		Ehrenfeucht:1990:PSSb%
		}.
\NAMECITE{Study}{%
		Labetoulle:1976:SQN%
		}.
\NAMECITE{{Sturmian}}{%
		Carpi:2000:SFP%
		}.
\NAMECITE{stuttering}{%
		Kucera:2005:SPR%
		}.
\NAMECITE{style}{%
		Scott:2007:BCT%
		}.
\NAMECITE{Sub}{%
		Thorup:1996:DGE%
		}.
\NAMECITE{Sub-Parse}{%
		Thorup:1996:DGE%
		}.
\NAMECITE{Subclass}{%
		Biskup:1995:OSC%
		}.
\NAMECITE{Subclasses}{%
		Chung:1985:CPS%
		}.
\NAMECITE{subexponential}{%
		Dai:2007:EST%
		}.
\NAMECITE{subexponential-time}{%
		Dai:2007:EST%
		}.
\NAMECITE{Subexpressions}{%
		Ullman:1973:FAE%
		}.
\NAMECITE{{Subrecursive}}{%
		Avenhaus:1978:SKGa%
		}.
\NAMECITE{{Subrekursive}}{%
		Avenhaus:1978:SKGa%
		}.
\NAMECITE{Subroutines}{%
		Langmaack:1973:POS%
		}.
\NAMECITE{Subsequence}{%
		Pritchard:1981:ALL%
		}.
\NAMECITE{subsequences}{%
		BarYehuda:1998:PSF%
		}.
\NAMECITE{Subset}{%
		Peters:1987:PAS%
		}.
\NAMECITE{subset-sum}{%
		Ilie:2000:ESS%
		}.
\NAMECITE{Subsets}{%
		Senizergues:1996:RSF%
		}.
\NAMECITE{Substitution}{%
		Ginsburg:1975:SGF%
		}.
\NAMECITE{Subtypes}{%
		Qian:1993:ASH%
		}.
\NAMECITE{subtyping}{%
		Costa:1994:OIB%
		}.
\NAMECITE{Succinct}{%
		Wagner:1986:CCP%
		}.
\NAMECITE{Sufficient}{%
		Kfoury:1985:NSC%
		}.
\NAMECITE{Suffix}{%
		Bertsch:1996:OSR%
		}.
\NAMECITE{Suffixes}{%
		Fraenkel:1983:TCP%
		}.
\NAMECITE{suitable}{%
		Nakatsu:1982:LCS%
		}.
\NAMECITE{Sum}{%
		Peters:1987:PAS%
		}.
\NAMECITE{Sums}{%
		Mehlhorn:1979:SRB%
		}.
\NAMECITE{Supercube}{%
		Sen:1989:SOF%
		}.
\NAMECITE{Supersets}{%
		Pritchard:1991:OAE%
		}.
\NAMECITE{Supertype}{%
		Leavens:1995:SVO%
		}.
\NAMECITE{{Supnick}}{%
		Deineko:1996:RPS%
		}.
\NAMECITE{Support}{%
		Bayer:1984:DMS%
		}.
\NAMECITE{surjective}{%
		Chandra:1983:SBV%
		}.
\NAMECITE{Survey}{%
		Nijholt:1980:SNF%
		}.
\NAMECITE{Survivability}{%
		Vianu:1988:DSU%
		}.
\NAMECITE{swapping}{%
		Duggan:2005:TBH%
		}.
\NAMECITE{Sweep}{%
		Hertel:1984:SSS%
		}.
\NAMECITE{Switching}{%
		Stoss:1973:RP%
		}.
\NAMECITE{Symbol}{%
		Bucher:1983:TSS%
		}.
\NAMECITE{Symbolic}{%
		Tabuada:2007:SMC%
		}.
\NAMECITE{Symmetric}{%
		Bayer:1972:SBB%
		}.
\NAMECITE{symmetries}{%
		Schmidt:2000:HCS%
		}.
\NAMECITE{symport}{%
		Frisco:2004:PSS%
		}.
\NAMECITE{symport/\penalty0{}antiport}{%
		Frisco:2004:PSS%
		}.
\NAMECITE{Synchronic}{%
		Suzuki:1983:TMS%
		}.
\NAMECITE{{Synchronisationsgraphen}}{%
		Genrich:1973:S%
		}.
\NAMECITE{Synchronizable}{%
		Culik:1986:SDP%
		}.
\NAMECITE{Synchronization}{%
		Lamport:1976:SIP,%
		Genrich:1973:S%
		}.
\NAMECITE{Synchronized}{%
		Arnold:1982:SBP%
		}.
\NAMECITE{Synchronizing}{%
		Hansen:1972:CTS%
		}.
\NAMECITE{Synchronous}{%
		Bergstra:2007:SCE%
		}.
\NAMECITE{synchrony}{%
		Lesley:2003:PVS%
		}.
\NAMECITE{Syntactic}{%
		Bozapalidis:1991:ECS,%
		Perrot:1977:MSL%
		}.
\NAMECITE{syntactiques}{%
		Perrot:1977:MSL%
		}.
\NAMECITE{Syntax}{%
		Knuth:1971:TSA%
		}.
\NAMECITE{Syntax-Directed}{%
		Kuhnemann:1994:SIF%
		}.
\NAMECITE{Syntax-Errors}{%
		Levy:1975:ACS%
		}.
\NAMECITE{Synthesis}{%
		Spitzen:1975:VSD%
		}.
\NAMECITE{Synthesized}{%
		Kuhnemann:1994:SIF%
		}.
\NAMECITE{synthesizes}{%
		Makinen:2002:MAT%
		}.
\NAMECITE{System}{%
		Brandwajn:1974:MTS,%
		Casanova:1981:EGP%
		}.
\NAMECITE{Systematic}{%
		Mili:1985:SIF%
		}.
\NAMECITE{syst{\`e}me}{%
		Mikou:1979:AOP%
		}.
\NAMECITE{syst{\`e}mes}{%
		Bouchet:1979:PRS%
		}.
\NAMECITE{Systems}{%
		Langmaack:1971:ARC%
		}.
\NAMECITE{Systolic}{%
		Culik:1983:SAV%
		}.


\NAMECITE{t}{%
		Alfa:1991:AQL%
		}.
\NAMECITE{t{\^a}ches}{%
		Nain:1983:PTE%
		}.
\NAMECITE{Table}{%
		Khoshnevisan:1990:EMT%
		}.
\NAMECITE{Tableau}{%
		Cleaveland:1990:TBM%
		}.
\NAMECITE{Tableau-Based}{%
		Cleaveland:1990:TBM%
		}.
\NAMECITE{Tabular}{%
		Tsuda:1983:TLTa%
		}.
\NAMECITE{Tabulation}{%
		Chin:1995:TMD%
		}.
\NAMECITE{tag}{%
		Pansiot:1983:HFC%
		}.
\NAMECITE{tag-syst{\`e}mes}{%
		Pansiot:1983:HFC%
		}.
\NAMECITE{Tag-Systems}{%
		Pansiot:1983:HFC%
		}.
\NAMECITE{Tandem}{%
		Cantor:1986:ITA%
		}.
\NAMECITE{Tape}{%
		Monien:1977:LPD%
		}.
\NAMECITE{Task}{%
		Bannister:1983:TAF,%
		Nain:1983:PTE%
		}.
\NAMECITE{Tasking}{%
		Lodaya:1990:PTE%
		}.
\NAMECITE{Tasks}{%
		Spirn:1976:MQS%
		}.
\NAMECITE{{TCSP}}{%
		Baier:1994:CBE%
		}.
\NAMECITE{teacher}{%
		Makinen:2002:MAT%
		}.
\NAMECITE{Teams}{%
		Paun:1994:PTG%
		}.
\NAMECITE{Technique}{%
		Owicki:1976:APT%
		}.
\NAMECITE{Techniques}{%
		Bouchet:1979:PRS%
		}.
\NAMECITE{Teil}{%
		Ehrich:1975:GTDa%
		}.
\NAMECITE{Temporal}{%
		Queille:1983:FRP%
		}.
\NAMECITE{temps}{%
		Rosenberg:1986:FAE%
		}.
\NAMECITE{{Tennent}}{%
		Berry:1981:RRD%
		}.
\NAMECITE{term}{%
		Kapur:1987:SCR%
		}.
\NAMECITE{Term-Generating}{%
		Engelfriet:1992:CFH%
		}.
\NAMECITE{Terminal}{%
		Maurer:1976:GFT%
		}.
\NAMECITE{Terminals}{%
		Giloi:1975:IGI%
		}.
\NAMECITE{Termination}{%
		Katz:1975:CLT%
		}.
\NAMECITE{Test}{%
		Bucher:1986:RTD%
		}.
\NAMECITE{Testable}{%
		Becker:1987:ETO%
		}.
\NAMECITE{Testing}{%
		Garey:1974:PBS%
		}.
\NAMECITE{Tests}{%
		Deransart:1984:SCT%
		}.
\NAMECITE{text}{%
		Nakatsu:1982:LCS%
		}.
\NAMECITE{their}{%
		Culik:1973:SJM%
		}.
\NAMECITE{Theorem}{%
		Shostak:1977:RUM%
		}.
\NAMECITE{Theorems}{%
		Greibach:1978:HTT%
		}.
\NAMECITE{Theoretic}{%
		Paul:1980:AIG%
		}.
\NAMECITE{Theoretical}{%
		JaJa:1982:SEA%
		}.
\NAMECITE{Theorie}{%
		Kandzia:1973:TPL%
		}.
\NAMECITE{Theories}{%
		Hoare:1974:CCF%
		}.
\NAMECITE{Theory}{%
		Kandzia:1973:TPL%
		}.
\NAMECITE{thinness}{%
		Honkala:1998:DPC%
		}.
\NAMECITE{threading}{%
		Bergstra:2007:SCE%
		}.
\NAMECITE{threads}{%
		Bergstra:2007:DPP%
		}.
\NAMECITE{Three}{%
		Suzuki:1983:TMS%
		}.
\NAMECITE{Three-element}{%
		Li:2004:TEC%
		}.
\NAMECITE{Three-Stage}{%
		Ronse:1983:TSC%
		}.
\NAMECITE{Thrifty}{%
		Schneider:1985:TET%
		}.
\NAMECITE{Throughput}{%
		Bechtold:1985:TSC%
		}.
\NAMECITE{Thrown}{%
		Dijkstra:1976:GTD%
		}.
\NAMECITE{{Thue}}{%
		Narendran:1988:EFO%
		}.
\NAMECITE{tier}{%
		Elmasry:2008:TTR%
		}.
\NAMECITE{Time}{%
		Claus:1973:MAP%
		}.
\NAMECITE{Time-Sharing}{%
		Giloi:1975:IGI%
		}.
\NAMECITE{Time-Space}{%
		Paul:1978:TST%
		}.
\NAMECITE{Timed}{%
		Nicollin:1993:ATG%
		}.
\NAMECITE{Times}{%
		Lauesen:1973:JSG%
		}.
\NAMECITE{Timing}{%
		Aceto:1996:TCP%
		}.
\NAMECITE{{TMs}}{%
		Iwamoto:2007:TLD%
		}.
\NAMECITE{Tolerance}{%
		Huang:1989:AMP%
		}.
\NAMECITE{Tolerant}{%
		Bannister:1983:TAF%
		}.
\NAMECITE{{Tomita}}{%
		Scott:2007:BCT%
		}.
\NAMECITE{{Tomita}-style}{%
		Scott:2007:BCT%
		}.
\NAMECITE{Tools}{%
		Mongenet:1994:GTM%
		}.
\NAMECITE{Top}{%
		Knuth:1971:TSA%
		}.
\NAMECITE{Top-Down}{%
		Knuth:1971:TSA%
		}.
\NAMECITE{Topologies}{%
		Hsu:1995:PTC%
		}.
\NAMECITE{Total}{%
		Manna:1974:AAT,%
		Eichner:1974:TLR%
		}.
\NAMECITE{Trace}{%
		Petit:1993:RTL%
		}.
\NAMECITE{Traces}{%
		Diekert:1994:DAA%
		}.
\NAMECITE{Trade}{%
		Paul:1978:TST%
		}.
\NAMECITE{trade-off}{%
		Commentz-Walter:1979:SDT%
		}.
\NAMECITE{Trade-Offs}{%
		Paul:1978:TST%
		}.
\NAMECITE{Tradeoff}{%
		Commentz-Walter:1980:SDT%
		}.
\NAMECITE{Trading}{%
		Alhazov:2004:TPL%
		}.
\NAMECITE{Traffic}{%
		Tcha:1992:PST%
		}.
\NAMECITE{Train}{%
		Koutny:1986:MRP%
		}.
\NAMECITE{Trajectory}{%
		Domaratzki:2004:TBC%
		}.
\NAMECITE{Trajectory-based}{%
		Domaratzki:2004:TBC%
		}.
\NAMECITE{transactional}{%
		Kim:2004:MMT%
		}.
\NAMECITE{Transactions}{%
		Lee:1996:MGL%
		}.
\NAMECITE{Transducer}{%
		Weber:1992:LVF%
		}.
\NAMECITE{Transducers}{%
		Greibach:1978:HTT%
		}.
\NAMECITE{transductions}{%
		Boasson:1973:DFL%
		}.
\NAMECITE{Transfer}{%
		Fernau:1997:UTR%
		}.
\NAMECITE{Transform}{%
		Mescheder:1980:NAO%
		}.
\NAMECITE{Transformation}{%
		Pettorossi:1982:DVE%
		}.
\NAMECITE{Transformational}{%
		Monien:1976:TMT%
		}.
\NAMECITE{Transformationen}{%
		Sabelfeld:1978:ATF%
		}.
\NAMECITE{Transformations}{%
		Sabelfeld:1978:ATF%
		}.
\NAMECITE{Transformer}{%
		He:1983:GPT%
		}.
\NAMECITE{Transformers}{%
		Wurges:1981:STB%
		}.
\NAMECITE{Transforming}{%
		Soisalon-Soininen:1979:MTG%
		}.
\NAMECITE{Transforms}{%
		Flajolet:1994:MTA%
		}.
\NAMECITE{Transition}{%
		Queille:1983:FRP%
		}.
\NAMECITE{transitions}{%
		Barbuti:2004:TAU%
		}.
\NAMECITE{transitive}{%
		Eve:1977:CTC%
		}.
\NAMECITE{Translatable}{%
		Langmaack:1971:ARC%
		}.
\NAMECITE{translatables}{%
		Boasson:1973:FLT%
		}.
\NAMECITE{Translation}{%
		Kern:1977:SF%
		}.
\NAMECITE{Translational}{%
		Iwamoto:2007:TLD%
		}.
\NAMECITE{Translations}{%
		Demers:1982:SDP%
		}.
\NAMECITE{Transmission}{%
		Langmaack:1973:CPP%
		}.
\NAMECITE{Transparency}{%
		Sondergaard:1990:RTD%
		}.
\NAMECITE{Transposition}{%
		Tsuda:1983:TLTa%
		}.
\NAMECITE{Traversals}{%
		Bird:1984:UCP%
		}.
\NAMECITE{Treatment}{%
		Stadel:1981:BVI%
		}.
\NAMECITE{Tree}{%
		Guibas:1975:PIB%
		}.
\NAMECITE{tree-based}{%
		Moffat:1998:TBM%
		}.
\NAMECITE{Tree-systems}{%
		Dassow:2001:TSM%
		}.
\NAMECITE{tree-transformation}{%
		Janssen:2007:TTP%
		}.
\NAMECITE{Trees}{%
		Knuth:1971:OBS%
		}.
\NAMECITE{Trellis}{%
		Choffrut:1984:RTC%
		}.
\NAMECITE{{Trial}}{%
		Ameur:1996:TEN%
		}.
\NAMECITE{Tricky}{%
		Krishnamurthy:1985:SPT%
		}.
\NAMECITE{Trie}{%
		Flajolet:1983:PEE%
		}.
\NAMECITE{Tries}{%
		Devroye:1984:PAH%
		}.
\NAMECITE{Triesort}{%
		Devroye:1984:PAH%
		}.
\NAMECITE{true}{%
		Majster-Cederbaum:2003:TAR%
		}.
\NAMECITE{Truly}{%
		Heilbrunner:1985:TPC%
		}.
\NAMECITE{Tuples}{%
		deGuzman:1995:FIB%
		}.
\NAMECITE{{Turing}}{%
		Schnorr:1976:NCT%
		}.
\NAMECITE{Turn}{%
		Lauesen:1973:JSG%
		}.
\NAMECITE{Turn-Around}{%
		Lauesen:1973:JSG%
		}.
\NAMECITE{Two}{%
		Hansen:1972:CTS%
		}.
\NAMECITE{Two-Dimensional}{%
		Brown:1982:LBL%
		}.
\NAMECITE{two-letter}{%
		Roth:1992:EBP%
		}.
\NAMECITE{Two-Level}{%
		Meersman:1978:TLM%
		}.
\NAMECITE{Two-Processor}{%
		Coffman:1972:OST%
		}.
\NAMECITE{Two-Station}{%
		Kouvatsos:1988:MET%
		}.
\NAMECITE{Two-Symbol}{%
		Bucher:1983:TSS%
		}.
\NAMECITE{two-terminal}{%
		Yen:1999:OAS%
		}.
\NAMECITE{Two-tier}{%
		Elmasry:2008:TTR%
		}.
\NAMECITE{Two-Way}{%
		Monien:1977:LPD%
		}.
\NAMECITE{typability}{%
		Vansummeren:2005:CDT%
		}.
\NAMECITE{Type}{%
		Moore:1981:ADT%
		}.
\NAMECITE{Type-based}{%
		Duggan:2005:TBH%
		}.
\NAMECITE{Typed}{%
		Jones:1994:TLP%
		}.
\NAMECITE{types}{%
		Guttag:1978:ASA%
		}.


\NAMECITE{{{\"U}berdeckungsprobleme}}{%
		Paul:1975:BMU%
		}.
\NAMECITE{Ultimate}{%
		Culik:1978:UEP%
		}.
\NAMECITE{Ultralinear}{%
		Kuich:1981:CPU%
		}.
\NAMECITE{Unavoidable}{%
		Schmidt:1987:LUP%
		}.
\NAMECITE{Unbalanced}{%
		Cunto:1988:TUM%
		}.
\NAMECITE{Unbounded}{%
		Kumar:1993:IPU%
		}.
\NAMECITE{uncertainty}{%
		Hesselink:2003:PRF%
		}.
\NAMECITE{Unconditional}{%
		Fernau:1997:UTR%
		}.
\NAMECITE{Undecidability}{%
		Heilbrunner:1987:UUM%
		}.
\NAMECITE{Undefinedness}{%
		Barringer:1984:LCU%
		}.
\NAMECITE{Unfoldability}{%
		Sondergaard:1990:RTD%
		}.
\NAMECITE{unfoldings}{%
		Khomenko:2003:CPP%
		}.
\NAMECITE{Unification}{%
		Shostak:1977:RUM%
		}.
\NAMECITE{Unified}{%
		Horowitz:1974:UVC%
		}.
\NAMECITE{Uniform}{%
		Leung:1984:PDQ%
		}.
\NAMECITE{uniformization}{%
		Konstantinidis:2007:RUA%
		}.
\NAMECITE{Unifying}{%
		Cau:1996:PCA%
		}.
\NAMECITE{Uniquely}{%
		Morita:1997:HUP%
		}.
\NAMECITE{uniqueness}{%
		Biskup:2003:AID%
		}.
\NAMECITE{Unit}{%
		Pager:1978:EUP%
		}.
\NAMECITE{{UNITY}}{%
		Sanders:1998:DRM%
		}.
\NAMECITE{univalent}{%
		Carpi:2002:WUF%
		}.
\NAMECITE{Universal}{%
		Buning:1980:UAI%
		}.
\NAMECITE{Universality}{%
		Kfoury:1985:NSC%
		}.
\NAMECITE{Universe}{%
		Iwama:1983:UPU%
		}.
\NAMECITE{Unnecessary}{%
		Donahue:1977:LCU%
		}.
\NAMECITE{Unrestricted}{%
		Iwama:1983:UPU%
		}.
\NAMECITE{Unsafe}{%
		Zhang:1989:UOB%
		}.
\NAMECITE{untyped}{%
		VandenBussche:1998:CUF%
		}.
\NAMECITE{Update}{%
		Levcopoulos:1988:BST%
		}.
\NAMECITE{updates}{%
		Larsen:2002:RRB%
		}.
\NAMECITE{Updating}{%
		Ottmann:1985:PTU%
		}.
\NAMECITE{Upper}{%
		Hu:1972:LUB%
		}.
\NAMECITE{Upsequence}{%
		Dewar:1982:SMA%
		}.
\NAMECITE{urgent}{%
		Barbuti:2004:TAU%
		}.
\NAMECITE{urn}{%
		Mahmoud:2002:SRB%
		}.
\NAMECITE{Use}{%
		Wilhelm:1979:CUD%
		}.
\NAMECITE{Useful}{%
		vanLeeuwen:1979:ULC%
		}.
\NAMECITE{users}{%
		Arora:2006:TAW%
		}.
\NAMECITE{Using}{%
		Kuck:1974:BPE%
		}.
\NAMECITE{Utilization}{%
		Kuspert:1983:SUB%
		}.


\NAMECITE{Valent}{%
		Dunne:1987:RVG%
		}.
\NAMECITE{Validated}{%
		Adams:1979:EVM%
		}.
\NAMECITE{Validation}{%
		Giammo:1976:VCP%
		}.
\NAMECITE{Valuedness}{%
		Weber:1990:VFT%
		}.
\NAMECITE{Values}{%
		Roth:1989:NVN%
		}.
\NAMECITE{Variable}{%
		Szwarcfiter:1984:OMS%
		}.
\NAMECITE{Variable-Sized}{%
		Csirik:1989:LAV%
		}.
\NAMECITE{Variablenmengen}{%
		Ehrich:1973:MMV%
		}.
\NAMECITE{Variables}{%
		Ehrich:1973:MMV%
		}.
\NAMECITE{Variance}{%
		Heidelberger:1980:VRT%
		}.
\NAMECITE{Variants}{%
		Ruohonen:1983:SVP%
		}.
\NAMECITE{Variations}{%
		Nielsen:1974:NHCb%
		}.
\NAMECITE{Various}{%
		Stadel:1981:BVI%
		}.
\NAMECITE{Vector}{%
		Mayr:1981:PVR%
		}.
\NAMECITE{vectors}{%
		Chandra:1983:SBV%
		}.
\NAMECITE{Verification}{%
		Spitzen:1975:VSD%
		}.
\NAMECITE{verify}{%
		Garg:1997:UCD%
		}.
\NAMECITE{verifying}{%
		Markey:2004:PFC%
		}.
\NAMECITE{{VeriSoft}}{%
		Dingel:2006:CAC%
		}.
\NAMECITE{Vernetzungsstruktur}{%
		Kaufholz:1974:VM%
		}.
\NAMECITE{verschiedener}{%
		Stadel:1981:BVI%
		}.
\NAMECITE{Version}{%
		Yu:1990:MTS%
		}.
\NAMECITE{Versus}{%
		Ehrenfeucht:1974:NVH%
		}.
\NAMECITE{Vertex}{%
		Monien:1985:RNA%
		}.
\NAMECITE{Very}{%
		Pettorossi:1982:DVE%
		}.
\NAMECITE{via}{%
		Ben-Amram:2000:CCP%
		}.
\NAMECITE{View}{%
		Horowitz:1974:UVC%
		}.
\NAMECITE{Virtual}{%
		Brandwajn:1974:MTS%
		}.
\NAMECITE{Visit}{%
		Engelfriet:1981:FPO%
		}.
\NAMECITE{visiting}{%
		Vajnovszki:2002:GVM%
		}.
\NAMECITE{vital}{%
		Shen:1999:FKM%
		}.
\NAMECITE{{VLSI}}{%
		Culik:1983:SAV%
		}.
\NAMECITE{{VLSI}-Multiplier}{%
		Becker:1987:ETO%
		}.
\NAMECITE{{vollst{\"a}ndig}}{%
		Reisch:1980:GPV%
		}.
\NAMECITE{Vollst{\"a}ndigkeitssatz}{%
		Claus:1971:VPS%
		}.
\NAMECITE{Volumes}{%
		Anonymous:1988:AIV%
		}.
\NAMECITE{vorgeschriebener}{%
		Avenhaus:1978:SKGa%
		}.


\NAMECITE{W}{%
		Bauer:2003:EWD%
		}.
\NAMECITE{{Waite}}{%
		Topor:1979:CSW%
		}.
\NAMECITE{waiting}{%
		Gelenbe:1979:PMC%
		}.
\NAMECITE{Wavelet}{%
		Culik:1997:IDW%
		}.
\NAMECITE{Way}{%
		Monien:1977:LPD%
		}.
\NAMECITE{{WCS}}{%
		Schuler:1975:WAC%
		}.
\NAMECITE{{WCS}-Analysis}{%
		Schuler:1975:WAC%
		}.
\NAMECITE{Weak}{%
		Luckham:1977:PTW%
		}.
\NAMECITE{weakest}{%
		Chen:2005:WS%
		}.
\NAMECITE{Weakly}{%
		Schuler:1974:WCS%
		}.
\NAMECITE{Weight}{%
		Narendran:1988:EFO%
		}.
\NAMECITE{Weight-Reducing}{%
		Narendran:1988:EFO%
		}.
\NAMECITE{Weighted}{%
		Unterauer:1979:DWB%
		}.
\NAMECITE{Weights}{%
		Loveland:1985:PBB%
		}.
\NAMECITE{Well}{%
		deLuca:1994:WQO%
		}.
\NAMECITE{Well-structured}{%
		Geeraerts:2007:WSL%
		}.
\NAMECITE{{WFA}}{%
		Culik:1997:CFG%
		}.
\NAMECITE{Wheel}{%
		Pritchard:1982:EWS%
		}.
\NAMECITE{Whether}{%
		Otto:1986:DWM%
		}.
\NAMECITE{which}{%
		Darlington:1976:SWA%
		}.
\NAMECITE{While}{%
		Mili:1985:SIF%
		}.
\NAMECITE{while-loops}{%
		Meinicke:2008:ARP%
		}.
\NAMECITE{White}{%
		Lengauer:1981:BWP%
		}.
\NAMECITE{{Wijngaarden}}{%
		Deussen:1975:DCV%
		}.
\NAMECITE{Window}{%
		Aref:1993:DWM%
		}.
\NAMECITE{wireless}{%
		Arora:2006:TAW%
		}.
\NAMECITE{within}{%
		Luckham:1977:PTW%
		}.
\NAMECITE{Without}{%
		Clarke:1980:PCC%
		}.
\NAMECITE{Word}{%
		Bauer:1984:FCR%
		}.
\NAMECITE{Words}{%
		Ecker:1974:ELA%
		}.
\NAMECITE{workflows}{%
		Kiepuszewski:2003:FCF%
		}.
\NAMECITE{Workload}{%
		Calzarossa:1986:WMR%
		}.
\NAMECITE{Worse}{%
		Wyrostek:1986:PTW%
		}.
\NAMECITE{Worst}{%
		Lee:1978:WCA%
		}.
\NAMECITE{Worst-Case}{%
		Lee:1978:WCA%
		}.
\NAMECITE{{Worte}}{%
		Ecker:1974:ELA%
		}.
\NAMECITE{Write}{%
		Kirousis:1995:EAC%
		}.
\NAMECITE{writer}{%
		Haldar:1996:SEW%
		}.
\NAMECITE{{{Writers}}}{%
		Conradi:1977:SCC%
		}.


\NAMECITE{{XML}}{%
		Berstel:2002:FPX%
		}.
\NAMECITE{{XSLT}}{%
		Trombetta:2006:EOE%
		}.


\NAMECITE{Yo}{%
		Fisher:1992:YYP%
		}.
\NAMECITE{Yo-Yo}{%
		Fisher:1992:YYP%
		}.


\NAMECITE{{Z}}{%
		Hayes:1992:MRZ%
		}.
\NAMECITE{Zeitkomplexit{\"a}t}{%
		Stadel:1978:ZNK%
		}.
\NAMECITE{{Zeno}}{%
		Berard:2000:AZW%
		}.
\NAMECITE{{Zufallsfolgen}}{%
		Schnorr:1972:EAZ%
		}.
\NAMECITE{Zugriffssysteme}{%
		Ehrich:1975:GTDa,%
		Ehrich:1975:GTDb%
		}.
\NAMECITE{{Zur}}{%
		Kandzia:1973:TPL%
		}.