%%======================================================================
%% 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@psi.math.utah.edu on Sun Jan 11 10:57:53 MST 2004
%%======================================================================

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



\NAMECITE{$10$}{%
		Rem:1986:SPEb%
		}.
\NAMECITE{$11$}{%
		Rem:1986:SPEc%
		}.
\NAMECITE{$12$}{%
		Rem:1986:SPEd%
		}.
\NAMECITE{$13$}{%
		Rem:1986:SPEe%
		}.
\NAMECITE{$14$}{%
		Rem:1986:SPEf%
		}.
\NAMECITE{$15$}{%
		Rem:1987:SPEa%
		}.
\NAMECITE{$16$}{%
		Rem:1987:SPEb%
		}.
\NAMECITE{$18$}{%
		Rem:1987:SPEc%
		}.
\NAMECITE{$19$}{%
		Rem:1987:SPEd%
		}.
\NAMECITE{$2$}{%
		Rem:1983:SPEb%
		}.
\NAMECITE{$21$}{%
		Rem:1988:SPEa%
		}.
\NAMECITE{$22$}{%
		Rem:1988:SPEb%
		}.
\NAMECITE{$23$}{%
		Rem:1989:SPE%
		}.
\NAMECITE{$24$}{%
		Rem:1990:SPE%
		}.
\NAMECITE{$3$}{%
		Rem:1984:SPEa%
		}.
\NAMECITE{$4$}{%
		Rem:1984:SPEb%
		}.
\NAMECITE{$5$}{%
		Rem:1984:SPEc%
		}.
\NAMECITE{$6$}{%
		Rem:1985:SPEa%
		}.
\NAMECITE{$7$}{%
		Rem:1985:SPEb%
		}.
\NAMECITE{$8$}{%
		Rem:1985:SPEc%
		}.
\NAMECITE{$^2$}{%
		Bos:1997:IDP%
		}.
\NAMECITE{${\bf E3}$}{%
		Morris:1999:LRE%
		}.
\NAMECITE{$\mu$}{%
		Groote:2001:ATH%
		}.
\NAMECITE{$\pi$}{%
		Sangiorgi:2000:CMS%
		}.
\NAMECITE{$Z$}{%
		Boiten:1999:CCC%
		}.


\NAMECITE{-an}{%
		Hedin:2003:JAO%
		}.
\NAMECITE{{-calculus}}{%
		Sangiorgi:2000:CMS%
		}.
\NAMECITE{-selected}{%
		Garavel:2003:SIF%
		}.


\NAMECITE{{0}}{%
		Balbo:2000:PMD,%
		Sangiorgi:2000:CMS,%
		Streicher:2000:PFM%
		}.
\NAMECITE{{0-471-97646-6}}{%
		Balbo:2000:PMD%
		}.
\NAMECITE{{0-521-63107-6}}{%
		Streicher:2000:PFM%
		}.
\NAMECITE{{0-521-64320-1}}{%
		Sangiorgi:2000:CMS%
		}.


\NAMECITE{{1}}{%
		Dijkstra:1982:ESA,%
		Sangiorgi:2000:CMS,%
		vanEijck:2000:TSL%
		}.
\NAMECITE{{1-57586-098-8}}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{1981/82}{%
		Dijkstra:1982:ESA%
		}.
\NAMECITE{{1995}}{%
		Madey:1997:FSF%
		}.


\NAMECITE{{24}}{%
		Chandy:1997:EPT%
		}.


\NAMECITE{{3}}{%
		Kirchner:1987:RIG%
		}.
\NAMECITE{{39}}{%
		Anonymous:2001:AIVa%
		}.
\NAMECITE{3rd}{%
		Jones:1990:EES,%
		Moller:1995:MPC,%
		Anonymous:1991:ESP%
		}.


\NAMECITE{{40}}{%
		Anonymous:2001:AIVb%
		}.
\NAMECITE{{41}}{%
		Anonymous:2001:AIV%
		}.
\NAMECITE{{42}}{%
		Anonymous:2002:AIVa%
		}.
\NAMECITE{{43}}{%
		Anonymous:2002:AIVb%
		}.
\NAMECITE{{4th}}{%
		Krieg-Bruckner:1994:MSD%
		}.


\NAMECITE{5th}{%
		Anonymous:1995:PES%
		}.


\NAMECITE{{6}}{%
		Balbo:2000:PMD,%
		Streicher:2000:PFM%
		}.


\NAMECITE{{8}}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{83g}{%
		Dijkstra:1982:ESA%
		}.


\NAMECITE{'90}{%
		Jones:1990:EES,%
		Anonymous:1991:ESP%
		}.
\NAMECITE{'95}{%
		Madey:1997:FSF%
		}.
\NAMECITE{96d}{%
		Chandy:1997:EPT%
		}.


\NAMECITE{absolute}{%
		Berghammer:2003:LAA%
		}.
\NAMECITE{Abstract}{%
		Bondorf:1991:AAR,%
		Comini:2003:AIB,%
		Kapur:1988:CII,%
		Mauborgne:1998:AIU,%
		Nielson:2003:AIM,%
		Cortesi:2000:CAD,%
		Cousineau:1987:CAM,%
		Diehl:2000:GMD,%
		Ferdinand:1999:CBP,%
		Fitzpatrick:1997:ATA,%
		Giacobazzi:1998:ODD,%
		Giannotti:1994:GSL,%
		Girard:2000:CAD,%
		Halbwachs:1998:ASP,%
		Hankin:1994:AFP,%
		Hughes:1994:RAI,%
		Levi:2001:SSA,%
		Sousa:2002:CRA,%
		Yi:1998:AIE%
		}.
\NAMECITE{Abstracting}{%
		Monniaux:2003:ACP%
		}.
\NAMECITE{Abstraction}{%
		Francez:1986:SCA,%
		Mitchell:1993:AEP,%
		Morgan:1988:PPA%
		}.
\NAMECITE{abstractor}{%
		Bidoit:1995:BAS%
		}.
\NAMECITE{acceptors}{%
		Hemerik:1989:BTA,%
		Kaldewaij:1990:SDA%
		}.
\NAMECITE{accumulations}{%
		Gibbons:1994:EPA,%
		Gibbons:2000:GDA%
		}.
\NAMECITE{acquisition}{%
		Dardenne:1993:GRA%
		}.
\NAMECITE{{ACSR}}{%
		Kwak:2002:PAS%
		}.
\NAMECITE{{ACSR-VP}}{%
		Kwak:2002:PAS%
		}.
\NAMECITE{action}{%
		Doh:2003:CPL%
		}.
\NAMECITE{action-semantics}{%
		Doh:2003:CPL%
		}.
\NAMECITE{actions}{%
		Kurki-Suonio:1993:RTS%
		}.
\NAMECITE{active}{%
		Elseaidy:1997:MVA%
		}.
\NAMECITE{acyclic}{%
		Gries:1989:ATR,%
		Watson:2003:NAC%
		}.
\NAMECITE{{ADA}}{%
		Gerth:1984:PSC%
		}.
\NAMECITE{adaptation}{%
		Ayed:2000:CPA%
		}.
\NAMECITE{adaptive}{%
		Palsberg:1997:NAC%
		}.
\NAMECITE{Adequate}{%
		Manna:1984:APP%
		}.
\NAMECITE{administration}{%
		Burgess:2003:TSA%
		}.
\NAMECITE{Advanced}{%
		Streicher:2000:PFM%
		}.
\NAMECITE{affect}{%
		Storey:2000:HDP%
		}.
\NAMECITE{agenda}{%
		Grieskamp:2001:SES%
		}.
\NAMECITE{agent}{%
		Depke:2002:FAO%
		}.
\NAMECITE{agent-oriented}{%
		Depke:2002:FAO%
		}.
\NAMECITE{agents}{%
		Moreau:2001:DDS%
		}.
\NAMECITE{{ALDEBARAN}}{%
		Korver:1997:DFI%
		}.
\NAMECITE{Algebra}{%
		Bergstra:1985:TDA,%
		Bos:1997:IDP,%
		Feijs:1999:RPA,%
		Feijs:2002:CA,%
		Moller:1993:TPA,%
		Rondogiannis:1994:PNB%
		}.
\NAMECITE{Algebraic}{%
		Broy:1986:AIP,%
		Gardiner:1994:ACP,%
		Koomen:1985:ASV,%
		Reps:1991:APP,%
		Baker-Finch:1990:ACT,%
		Benaini:1990:SNS,%
		Berghammer:1988:TAS,%
		Bidoit:1989:HMA,%
		Feijs:2001:MNA,%
		Nitsche:2000:SAF,%
		Partsch:1989:IRR,%
		Rees:2003:ASI,%
		Schobbens:1993:EAS%
		}.
\NAMECITE{algebraically}{%
		Gardiner:1992:RAA%
		}.
\NAMECITE{algebras}{%
		Bernot:1994:LAE%
		}.
\NAMECITE{{ALGOL}}{%
		Tennent:1989:EDS%
		}.
\NAMECITE{{ALGOL}-like}{%
		Tennent:1989:EDS%
		}.
\NAMECITE{Algorithm}{%
		Bird:1996:FAD,%
		Coquand:1996:ATC,%
		Katajainen:1983:AIK,%
		Lamport:1982:ACP,%
		Manna:1981:DSU,%
		McCurley:1986:DDA,%
		Paulson:1985:VUA,%
		Shyamasundar:1984:SLF,%
		Smith:1990:ATD,%
		Sun:1987:DSE,%
		Abramov:2002:URA,%
		Arnold:1989:ESP,%
		Berghammer:2003:LAA,%
		Bird:1989:FDP,%
		Chisholm:1987:DPA,%
		Fernandez:1990:IEA,%
		Gries:1989:ATR,%
		KrusemanAretz:1989:NAE,%
		Madhukar:1995:SDA,%
		Mateti:1988:MTT,%
		Nguyen:1998:DAC,%
		Paleri:2003:PRE,%
		Watson:2003:BMS,%
		Watson:2003:NAC,%
		Xue:1988:DLA,%
		deMoor:1999:BAG,%
		vandeSnepscheut:1986:DDI,%
		vanderSommen:1997:PME%
		}.
\NAMECITE{Algorithms}{%
		Kaldewaij:1987:SAB,%
		Schmitz:1982:EPS,%
		Smith:1987:ASD,%
		vanDiepen:1986:PDT,%
		vanderNat:1986:ACD,%
		Achatz:1996:MPD,%
		Back:1990:SRP,%
		Backhouse:1994:CPA,%
		Butler:1999:CDP,%
		Curtis:2003:CGA,%
		Fitzpatrick:1997:ATA,%
		Garavel:1997:SVV,%
		Gibbons:1994:EPA,%
		Marcelis:1990:CAE,%
		Moir:1995:WFA,%
		Moller:1994:SPG,%
		Pepper:1997:HDG,%
		Russling:1996:DCL,%
		Smith:1985:DDC,%
		Steffen:1993:GDF,%
		Tel:1988:DGM,%
		Watson:1996:TSM%
		}.
\NAMECITE{alias}{%
		Hind:2001:EEP%
		}.
\NAMECITE{aliasing}{%
		Venet:1999:AAP%
		}.
\NAMECITE{alternation}{%
		Mateescu:2003:EFM%
		}.
\NAMECITE{alternation-free}{%
		Mateescu:2003:EFM%
		}.
\NAMECITE{Alternative}{%
		Dijkstra:1982:SAS,%
		Katajainen:1983:AIK,%
		Dijkstra:1982:ESA%
		}.
\NAMECITE{always}{%
		Pedreschi:2003:LPA%
		}.
\NAMECITE{ambients}{%
		Nielson:2003:AIM%
		}.
\NAMECITE{analyses}{%
		Hind:2001:EEP%
		}.
\NAMECITE{Analysing}{%
		vanderNat:1986:ACD,%
		Nielson:1987:HLP%
		}.
\NAMECITE{Analysis}{%
		Boullier:1987:NER,%
		Burn:1986:SAH,%
		Cortesi:2003:SA,%
		Groote:2001:ATH,%
		Aiken:1999:ISC,%
		Armstrong:1998:TCB,%
		Attanasio:2003:SAR,%
		Bagnara:1998:HCS,%
		DeFrancesco:1998:SSRb,%
		Fernandez:2003:SSR,%
		Hankin:1995:LTI,%
		Heimdahl:2000:ANW,%
		Kwak:2002:PAS,%
		LacknerSolbergGasser:1998:STA,%
		Martino:2001:PPA,%
		Montenyohl:1991:CSF,%
		Nielson:1988:ABT,%
		Nielson:1994:TPW,%
		Nitsche:2000:SAF,%
		Rondogiannis:1994:PNB,%
		Ruthing:2001:CMP,%
		Segers:1996:DAU,%
		Steffen:1993:GDF,%
		Venet:1999:AAP,%
		Vogler:1991:FDC,%
		Wah:2003:ACE%
		}.
\NAMECITE{animation}{%
		Bicarregui:1997:MMF%
		}.
\NAMECITE{Anomaly}{%
		Broy:1988:NDF%
		}.
\NAMECITE{application}{%
		Bruns:1997:IAM,%
		Feijs:2001:MNA,%
		Kosiuczenko:1997:TRL,%
		Marchand:2001:FVP,%
		Mota:2001:MCC%
		}.
\NAMECITE{Applications}{%
		Smith:1987:ASD,%
		Ayed:2000:CPA,%
		Krieg-Bruckner:1994:MSD,%
		Madey:1997:FSF%
		}.
\NAMECITE{applied}{%
		Berry:2000:EFM%
		}.
\NAMECITE{Approach}{%
		Broy:1984:SAL,%
		Joseph:1986:SMA,%
		Sokolowski:1984:PCT,%
		Astesiano:1999:SHT,%
		Barbuti:1983:SAS,%
		Feijs:2001:MNA,%
		Joshi:2000:SAS,%
		Kneuper:1991:SES,%
		KrusemanAretz:1989:NAE,%
		Kwak:2002:PAS,%
		Palsberg:1997:NAC,%
		Quilici:2000:PPM,%
		Wermelinger:2002:GTA,%
		vonKarger:2000:CAR%
		}.
\NAMECITE{Approaches}{%
		Astesiano:2001:FAS%
		}.
\NAMECITE{Approximate}{%
		Hankin:1994:AFP%
		}.
\NAMECITE{Approximating}{%
		Brauburger:1999:ADF%
		}.
\NAMECITE{approximation}{%
		Berghammer:2003:LAA%
		}.
\NAMECITE{April}{%
		Garavel:2003:SIF,%
		Wada:1996:OPN%
		}.
\NAMECITE{Arbiters}{%
		Ebergen:1992:AES%
		}.
\NAMECITE{arc}{%
		Nguyen:1998:DAC%
		}.
\NAMECITE{arc-consistency}{%
		Nguyen:1998:DAC%
		}.
\NAMECITE{architectural}{%
		Compare:1999:UAM,%
		Garlan:2002:RNA,%
		Jerding:2000:UVA%
		}.
\NAMECITE{architecture}{%
		Benaini:1990:SNS,%
		Bergstra:1998:DTT,%
		Hussmann:2002:MAT,%
		Wermelinger:2002:GTA%
		}.
\NAMECITE{Architectures}{%
		Ciancarini:2003:ICL,%
		Lucena:1995:FDE,%
		Bonsangue:2003:CCM,%
		Canal:2001:CIS,%
		vanderAalst:2002:CBS%
		}.
\NAMECITE{Arithmetic}{%
		Pritchard:1983:CSN,%
		Jones:1994:DAC%
		}.
\NAMECITE{array}{%
		Fitzpatrick:1997:ATA%
		}.
\NAMECITE{Arrays}{%
		Apt:1996:ABQ,%
		Katoen:1996:SAR%
		}.
\NAMECITE{arrows}{%
		Hughes:2000:GMA%
		}.
\NAMECITE{Asl}{%
		Inoue:1986:COM%
		}.
\NAMECITE{Asl/{F}}{%
		Inoue:1986:COM%
		}.
\NAMECITE{aspect}{%
		Hedin:2003:JAO%
		}.
\NAMECITE{aspect-oriented}{%
		Hedin:2003:JAO%
		}.
\NAMECITE{Aspects}{%
		Anonymous:1994:PCF,%
		Feijs:1999:RPA%
		}.
\NAMECITE{assertion}{%
		Iglewski:1997:IDM%
		}.
\NAMECITE{Assertional}{%
		Lamport:1982:ACP%
		}.
\NAMECITE{Assertions}{%
		Joseph:1986:SMA%
		}.
\NAMECITE{assessment}{%
		Chaumun:2002:CIM%
		}.
\NAMECITE{assumption}{%
		Collette:1994:CAC%
		}.
\NAMECITE{assumption-commitment}{%
		Collette:1994:CAC%
		}.
\NAMECITE{asynchronous}{%
		Back:1996:SCA,%
		Stolen:1996:RPS%
		}.
\NAMECITE{asynchronously}{%
		Ebergen:1992:AES%
		}.
\NAMECITE{atomic}{%
		Anderson:1992:BAR,%
		Bueno:1998:POC%
		}.
\NAMECITE{attribute}{%
		Jalili:1985:GIE,%
		Marcelis:1990:CAE%
		}.
\NAMECITE{Authentication}{%
		Abadi:1993:ADS%
		}.
\NAMECITE{Author}{%
		Anonymous:2001:AIV,%
		Anonymous:2001:AIVa,%
		Anonymous:2001:AIVb,%
		Anonymous:2002:AIVa,%
		Anonymous:2002:AIVb,%
		Anonymous:2002:AIa,%
		Anonymous:2002:AIb,%
		Anonymous:2003:AIa,%
		Anonymous:2003:AIb,%
		Anonymous:2003:AIc,%
		Anonymous:2003:AId%
		}.
\NAMECITE{Automata}{%
		Maraninchi:2003:MAN,%
		Monniaux:2003:ACP%
		}.
\NAMECITE{Automated}{%
		Hermanns:2000:ACM,%
		Volker:2002:AVF,%
		Fitzpatrick:1997:ATA%
		}.
\NAMECITE{Automatic}{%
		Bondorf:1991:AAH,%
		Bondorf:1991:AAR,%
		Cooke:2002:ACS,%
		Moitra:1985:ACC,%
		Nielson:1988:ABT,%
		Venet:1999:AAP,%
		Fernandez:1997:EAG,%
		Varro:2002:DAT%
		}.
\NAMECITE{Automatically}{%
		Carreira:2003:AVO,%
		Ganzinger:1983:IML%
		}.
\NAMECITE{automation}{%
		Berzins:2002:LIA,%
		Luqi:2002:SEB%
		}.
\NAMECITE{Autoprojection}{%
		Bondorf:1991:AAH,%
		Bondorf:1991:AAR%
		}.
\NAMECITE{auxiliary}{%
		Singh:1991:SCO%
		}.
\NAMECITE{avionic}{%
		Berry:2000:EFM%
		}.
\NAMECITE{Avoid}{%
		Broy:1988:NDF%
		}.
\NAMECITE{Axiomatizing}{%
		DeFrancesco:1993:ACN%
		}.


\NAMECITE{{B}}{%
		Requet:2003:BME%
		}.
\NAMECITE{Back}{%
		Danvy:1994:BDS,%
		Emerson:1987:MMC%
		}.
\NAMECITE{Backtracking}{%
		Fokkinga:1991:ETP,%
		Frost:1996:MPF%
		}.
\NAMECITE{backward}{%
		Nishimura:1996:IDV%
		}.
\NAMECITE{baffler}{%
		Dijkstra:1987:HEB%
		}.
\NAMECITE{Bag}{%
		Hoogendijk:1994:RPL%
		}.
\NAMECITE{Balanced}{%
		Reade:1992:BTR%
		}.
\NAMECITE{Based}{%
		Heilbrunner:1982:TRR,%
		Kaldewaij:1987:SAB,%
		Partsch:1984:STD,%
		Stoye:1986:MFO,%
		Tolksdorf:1998:LSB,%
		Aiken:1999:ISC,%
		Attanasio:2003:SAR,%
		Bagnara:1998:HCS,%
		Bergstra:1997:GPB,%
		Borghoff:1998:CBP,%
		Bowman:1999:SCC,%
		Comini:2003:AIB,%
		Fernandez:2003:SSR,%
		Heimdahl:2000:ANW,%
		Kosiuczenko:1997:TRL,%
		Kwak:2002:PAS,%
		Luqi:2002:SEB,%
		Minas:2002:CRD,%
		Padberg:2001:RBR,%
		PeytonJones:1998:TBO,%
		Quilici:2000:PPM,%
		Rondogiannis:1994:PNB,%
		Rowstron:2003:UMC,%
		Schmidt:1988:DSB,%
		Volker:2002:AVF,%
		vanderAalst:2002:CBS%
		}.
\NAMECITE{Basic}{%
		Cardelli:1987:BPT,%
		Antoniol:2001:DCT%
		}.
\NAMECITE{basis}{%
		Morris:1987:TBS%
		}.
\NAMECITE{{Batcher}}{%
		Dijkstra:1987:HEB%
		}.
\NAMECITE{behavior}{%
		Compare:1999:UAM,%
		Ferdinand:1999:CBP,%
		vanderAalst:2002:CBS%
		}.
\NAMECITE{Behavioural}{%
		Bidoit:1995:BAS,%
		Schoett:1990:BCD%
		}.
\NAMECITE{Berlin}{%
		Garavel:2003:SIF%
		}.
\NAMECITE{Beyond}{%
		Anderson:1992:BAR,%
		Luqi:2002:SEB%
		}.
\NAMECITE{biconnected}{%
		Madhukar:1995:SDA%
		}.
\NAMECITE{bidirectional}{%
		Ruthing:2001:CMP%
		}.
\NAMECITE{bin}{%
		Berghammer:2003:LAA%
		}.
\NAMECITE{binary}{%
		Cifuentes:2001:RJT,%
		Manna:1987:OBS%
		}.
\NAMECITE{binary-search}{%
		Manna:1987:OBS%
		}.
\NAMECITE{binding}{%
		Nielson:1988:ABT%
		}.
\NAMECITE{{Bird}}{%
		Cai:19xx:CRU%
		}.
\NAMECITE{{Bird-Meertens}}{%
		Cai:19xx:CRU%
		}.
\NAMECITE{bisimulation}{%
		Fernandez:1990:IEA%
		}.
\NAMECITE{block}{%
		Edwards:2003:SES,%
		Vogler:1991:FDC,%
		Volker:2002:AVF,%
		Wise:1999:UBE%
		}.
\NAMECITE{block-based}{%
		Volker:2002:AVF%
		}.
\NAMECITE{block-diagram}{%
		Edwards:2003:SES%
		}.
\NAMECITE{block-structured}{%
		Vogler:1991:FDC%
		}.
\NAMECITE{board}{%
		Anonymous:2002:EBa,%
		Anonymous:2002:EBb,%
		Anonymous:2003:EBa,%
		Anonymous:2003:EBb,%
		Anonymous:2003:EBc,%
		Anonymous:2003:EBd,%
		Anonymous:2003:EBf,%
		Anonymous:2003:EBe,%
		Anonymous:2003:EBg%
		}.
\NAMECITE{Boiler}{%
		Carreira:2003:AVO%
		}.
\NAMECITE{Book}{%
		Anonymous:1999:BR,%
		Simpson:1998:BR%
		}.
\NAMECITE{{Boolean}}{%
		Armstrong:1998:TCB%
		}.
\NAMECITE{Bottom}{%
		Hemerik:1989:BTA,%
		Barbuti:1992:BPT,%
		vandenEijnde:1990:LBR%
		}.
\NAMECITE{Bottom-up}{%
		Hemerik:1989:BTA,%
		Barbuti:1992:BPT%
		}.
\NAMECITE{Bound}{%
		Fokkinga:1991:ETP%
		}.
\NAMECITE{bounded}{%
		Anderson:1992:BAR,%
		Apt:1996:ABQ%
		}.
\NAMECITE{{Boyer}}{%
		Watson:2003:BMS%
		}.
\NAMECITE{Branch}{%
		Fokkinga:1991:ETP%
		}.
\NAMECITE{Branch-and-Bound}{%
		Fokkinga:1991:ETP%
		}.
\NAMECITE{Branching}{%
		Emerson:1987:MMC,%
		Emerson:1982:UBT%
		}.
\NAMECITE{Bridging}{%
		deMoor:1999:BAG,%
		Dijkstra:2000:CCB%
		}.
\NAMECITE{broadcasting}{%
		Prasad:1995:CBS%
		}.
\NAMECITE{Broadcasts}{%
		Schneider:1984:FTB%
		}.
\NAMECITE{{BSP}}{%
		Loulergue:2000:CFB%
		}.
\NAMECITE{built}{%
		Kirchner:1987:RIG%
		}.
\NAMECITE{built-in}{%
		Kirchner:1987:RIG%
		}.
\NAMECITE{{Bulterman}}{%
		Feijen:1981:BRP%
		}.
\NAMECITE{bus}{%
		Bos:1997:IDP%
		}.


\NAMECITE{{C}}{%
		Bos:1997:IDP,%
		Smith:1998:SPT,%
		Tonella:2002:CSC%
		}.
\NAMECITE{{C}-bus}{%
		Bos:1997:IDP%
		}.
\NAMECITE{Cache}{%
		Ferdinand:1999:CBP%
		}.
\NAMECITE{{CAESAR}}{%
		Korver:1997:DFI%
		}.
\NAMECITE{{CAESAR/ALDEBARAN}}{%
		Korver:1997:DFI%
		}.
\NAMECITE{Calculating}{%
		Backhouse:1994:CPA,%
		Bijlsma:1989:CP,%
		Cai:19xx:CRU%
		}.
\NAMECITE{Calculational}{%
		Butler:1999:CDP,%
		vonKarger:2000:CAR%
		}.
\NAMECITE{calculi}{%
		Hennessy:2001:UFI%
		}.
\NAMECITE{Calculus}{%
		Hoare:1981:CTC,%
		Ayed:2000:CPA,%
		Banerjee:1998:SST,%
		Berghammer:1996:TDC,%
		Cavalcanti:1999:IPP,%
		Dijkstra:2000:CCB,%
		Frappier:1996:RCP,%
		Loulergue:2000:CFB,%
		Mateescu:2003:EFM,%
		Morgan:1990:TIR,%
		Morris:1987:TBS,%
		Nielson:1988:ABT,%
		Pepper:1987:SCP,%
		Prasad:1995:CBS,%
		Semini:1999:RCT,%
		Sangiorgi:2000:CMS%
		}.
\NAMECITE{call}{%
		Banerjee:1998:SST%
		}.
\NAMECITE{call-by-value}{%
		Banerjee:1998:SST%
		}.
\NAMECITE{{Caltech}}{%
		Back:1996:SCA%
		}.
\NAMECITE{Cambridge}{%
		Sangiorgi:2000:CMS,%
		Streicher:2000:PFM%
		}.
\NAMECITE{{Card}}{%
		Requet:2003:BME%
		}.
\NAMECITE{cards}{%
		Abadi:1993:ADS%
		}.
\NAMECITE{Carl}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{Case}{%
		Partsch:1984:STD,%
		Pritchard:1983:CSN,%
		Bellegarde:1994:SFM,%
		Cifuentes:2001:RJT,%
		Gribomont:1990:SRC,%
		Partsch:1989:IRR,%
		Vogler:1991:FDC,%
		Wing:1997:CSM%
		}.
\NAMECITE{Categorical}{%
		Fiadeiro:1997:CSP,%
		Cousineau:1987:CAM%
		}.
\NAMECITE{causally}{%
		Stoller:1995:VPU%
		}.
\NAMECITE{causally-ordered}{%
		Stoller:1995:VPU%
		}.
\NAMECITE{{CC}}{%
		Bueno:1998:POC%
		}.
\NAMECITE{{CCS}}{%
		DeFrancesco:1993:ACN%
		}.
\NAMECITE{centres}{%
		Omicini:2001:TST%
		}.
\NAMECITE{chain}{%
		Hermanns:2000:ACM%
		}.
\NAMECITE{change}{%
		Chaumun:2002:CIM,%
		Gupta:1998:CCC%
		}.
\NAMECITE{changeability}{%
		Chaumun:2002:CIM%
		}.
\NAMECITE{{Charts}}{%
		Engels:2002:HCM%
		}.
\NAMECITE{Checker}{%
		Fairbairn:1986:NTF%
		}.
\NAMECITE{Checking}{%
		Coquand:1996:ATC,%
		Emerson:1987:MMC,%
		Boiten:1999:CCC,%
		Bowman:1999:SCC,%
		Esparza:1994:MCU,%
		Levi:2001:SSA,%
		Mateescu:2003:EFM,%
		McMillan:2000:MHV,%
		Mota:2001:MCC,%
		Wing:1997:CSM%
		}.
\NAMECITE{Christoph}{%
		Balbo:2000:PMD%
		}.
\NAMECITE{{CICS}}{%
		Sellink:2002:RCC%
		}.
\NAMECITE{{CIGALE}}{%
		Voisin:1986:CTI%
		}.
\NAMECITE{circuits}{%
		Jones:1994:DAC%
		}.
\NAMECITE{Circular}{%
		Sethi:1982:CEE%
		}.
\NAMECITE{{Cjj}}{%
		Tonella:2002:CSC%
		}.
\NAMECITE{clash}{%
		Michel:1988:DTP%
		}.
\NAMECITE{Class}{%
		vanderNat:1986:ACD,%
		Banerjee:1992:TSC,%
		Hofstee:1994:DCS,%
		Russling:1996:DCL%
		}.
\NAMECITE{classes}{%
		Armstrong:1998:TCB%
		}.
\NAMECITE{classification}{%
		Curtis:2003:CGA,%
		Marcelis:1990:CAE,%
		Singh:1993:RCS%
		}.
\NAMECITE{Closed}{%
		Elrad:1982:DDP%
		}.
\NAMECITE{closing}{%
		Kapus:1997:VXC%
		}.
\NAMECITE{Closure}{%
		Schmitz:1982:EPS%
		}.
\NAMECITE{Clustering}{%
		Sousa:2002:CRA%
		}.
\NAMECITE{{COBOL}}{%
		Sellink:2002:RCC,%
		vanDeursen:2001:ESC%
		}.
\NAMECITE{{COBOL}/{CICS}}{%
		Sellink:2002:RCC%
		}.
\NAMECITE{Code}{%
		Despland:1990:URT,%
		Ruthing:2001:CMP,%
		Antoniol:2001:DCT,%
		Berghammer:1988:TAS,%
		Cifuentes:2001:RJT,%
		Liu:2003:EDC,%
		Rowstron:2003:UMC%
		}.
\NAMECITE{{collect}}{%
		Rowstron:1998:SLM%
		}.
\NAMECITE{Collection}{%
		Bauer:1981:PWS%
		}.
\NAMECITE{collective}{%
		Martino:2001:PPA%
		}.
\NAMECITE{Colloquium}{%
		Anonymous:1994:PCF%
		}.
\NAMECITE{Combinations}{%
		Cortesi:2000:CAD%
		}.
\NAMECITE{combining}{%
		Doh:2003:CPL%
		}.
\NAMECITE{command}{%
		He:1997:PMG%
		}.
\NAMECITE{commitment}{%
		Collette:1994:CAC%
		}.
\NAMECITE{Communicating}{%
		Bergstra:1985:TDA,%
		Francez:1983:ENC,%
		Hoare:1981:CTC,%
		Misra:1990:SCO,%
		Sangiorgi:2000:CMS,%
		Zielinski:1986:MEP,%
		Butler:1996:SRC,%
		Ebergen:1992:AES,%
		Schneider:1997:TRC%
		}.
\NAMECITE{Communication}{%
		Elrad:1982:DDP,%
		Francez:1986:SCA,%
		Perrin:1992:CRP,%
		Bergstra:1997:GPB,%
		Engels:2002:HCM,%
		Koomen:1985:ASV,%
		Martino:2001:PPA,%
		Morley:1997:SCR,%
		Stolen:1996:RPS%
		}.
\NAMECITE{Communication-Closed}{%
		Elrad:1982:DDP%
		}.
\NAMECITE{compact}{%
		Kessels:1990:VPC%
		}.
\NAMECITE{Comparative}{%
		deVink:1990:CSP%
		}.
\NAMECITE{Comparing}{%
		Bonsangue:2003:CCM,%
		Dybjer:1990:CIE%
		}.
\NAMECITE{comparison}{%
		Giegerich:1995:CIP,%
		Girard:2000:CAD%
		}.
\NAMECITE{Compatibility}{%
		Canal:2001:CIS%
		}.
\NAMECITE{compilation}{%
		Schnoebelen:1988:RCP%
		}.
\NAMECITE{compiler}{%
		Bird:1987:FDE,%
		Consel:1993:SDG,%
		Hedin:2003:JAO%
		}.
\NAMECITE{compilers}{%
		Ganzinger:1983:IML%
		}.
\NAMECITE{Compiling}{%
		Inoue:1986:COM,%
		Palsberg:1997:NAC%
		}.
\NAMECITE{completion}{%
		Kirchner:1987:RIG%
		}.
\NAMECITE{Complex}{%
		Harel:1987:SVF%
		}.
\NAMECITE{Complexity}{%
		Rem:1982:FSP%
		}.
\NAMECITE{compliant}{%
		Tonella:2002:CSC%
		}.
\NAMECITE{Component}{%
		Feijs:2002:CA,%
		vanderAalst:2002:CBS,%
		Attanasio:2003:SAR,%
		Compare:1999:UAM%
		}.
\NAMECITE{Component-based}{%
		vanderAalst:2002:CBS,%
		Attanasio:2003:SAR%
		}.
\NAMECITE{components}{%
		Ebergen:1992:AES,%
		Grieskamp:2001:SES,%
		Hesselink:2001:CDC,%
		Madhukar:1995:SDA,%
		vandenBrand:2000:GCS%
		}.
\NAMECITE{Composing}{%
		Doh:2003:CPL%
		}.
\NAMECITE{Composition}{%
		Collette:1994:CAC,%
		Clarke:2002:ESU%
		}.
\NAMECITE{Compositional}{%
		Klaudel:2001:CHL,%
		Hermanns:2000:ACM,%
		McMillan:2000:MHV%
		}.
\NAMECITE{Compositionality}{%
		vanderAalst:2002:CPI%
		}.
\NAMECITE{Comprehensive}{%
		Aldrich:2003:CSE%
		}.
\NAMECITE{Comput}{%
		Chandy:1997:EPT,%
		Dijkstra:1982:ESA,%
		vanderAalst:2002:CPI%
		}.
\NAMECITE{Computability}{%
		Kapur:1988:CII%
		}.
\NAMECITE{Computation}{%
		Dijkstra:2000:CCB,%
		Pritchard:1983:CSN,%
		vanEijck:2000:TSL,%
		Abramov:2002:URA,%
		Cai:1989:PDF,%
		Chandy:1995:PTR,%
		Chandy:1997:EPT,%
		Liu:2001:SIE,%
		Nielson:1987:HLP%
		}.
\NAMECITE{computations}{%
		Kaldewaij:1990:DSC%
		}.
\NAMECITE{computer}{%
		Luqi:2002:SEB,%
		Parnas:1995:FDC,%
		Turski:1996:WC%
		}.
\NAMECITE{computer-based}{%
		Luqi:2002:SEB%
		}.
\NAMECITE{Computing}{%
		Gupta:1998:CCC,%
		Schmitz:1982:EPS,%
		Berghammer:2000:DRP%
		}.
\NAMECITE{Concepts}{%
		Minas:2002:CRD%
		}.
\NAMECITE{concerns}{%
		Morgan:1988:PPA%
		}.
\NAMECITE{Concurrency}{%
		Gribomont:1993:CTS,%
		Lengauer:1982:MPCa,%
		Lengauer:1982:MPCb,%
		Cooke:2002:ACS,%
		Gribomont:1990:SRC%
		}.
\NAMECITE{Concurrent}{%
		Broy:1984:SAL,%
		Gerth:1984:PSC,%
		Hesselink:2001:CDC,%
		Manna:1984:APP,%
		Misra:1990:SCO,%
		Chakravarty:1998:GHO,%
		Chandy:1995:PTR,%
		Chandy:1997:EPT,%
		Cleaveland:2002:GTV,%
		Knapp:1992:DCP,%
		Singh:1991:SCO%
		}.
\NAMECITE{Conditions}{%
		Ryder:1988:CII%
		}.
\NAMECITE{conference}{%
		Moller:1995:MPC%
		}.
\NAMECITE{configuration}{%
		Cao:2003:DCM%
		}.
\NAMECITE{configurations}{%
		Attanasio:2003:SAR%
		}.
\NAMECITE{congruence}{%
		Baker-Finch:1990:ACT%
		}.
\NAMECITE{connected}{%
		Hesselink:2001:CDC%
		}.
\NAMECITE{Conquer}{%
		Smith:1987:ASD,%
		Achatz:1996:MPD,%
		Smith:1985:DDC%
		}.
\NAMECITE{considered}{%
		Monin:1996:ECH%
		}.
\NAMECITE{consistency}{%
		Boiten:1999:CCC,%
		Bowman:1999:SCC,%
		Nguyen:1998:DAC%
		}.
\NAMECITE{Constants}{%
		Giannotti:1987:SES%
		}.
\NAMECITE{Constraint}{%
		Borghoff:1998:CBP,%
		Aiken:1999:ISC,%
		Andrews:1995:FII,%
		Apt:1996:ABQ,%
		Bagnara:1998:HCS,%
		Pepper:1997:HDG,%
		Quilici:2000:PPM,%
		VanHentenryck:1998:NCP%
		}.
\NAMECITE{Constraint-based}{%
		Borghoff:1998:CBP,%
		Aiken:1999:ISC,%
		Quilici:2000:PPM%
		}.
\NAMECITE{Constraints}{%
		Seidl:1998:CSD,%
		Chakravarty:1998:GHO,%
		Hartonas-Garmhausen:2000:VSC,%
		Rehof:1999:TCF,%
		VanHentenryck:1998:NCP%
		}.
\NAMECITE{construct}{%
		Maraninchi:2003:MAN,%
		Plath:2001:FIU%
		}.
\NAMECITE{constructing}{%
		Finance:1985:MLC,%
		Mili:1992:HCW%
		}.
\NAMECITE{Construction}{%
		Abrial:1984:MCP,%
		Backhouse:1996:MPC,%
		Gardiner:1994:ACP,%
		Cortesi:2000:CAD,%
		Frappier:1996:RCP,%
		Hedin:2003:JAO,%
		Moitra:1985:ACC,%
		Moller:1995:MPC,%
		Voisin:1986:CTI,%
		Watson:2003:NAC,%
		vanAmmers:1998:PCC%
		}.
\NAMECITE{constructions}{%
		Giegerich:1995:CIP,%
		Heckmann:1991:PDC%
		}.
\NAMECITE{Constructive}{%
		Boiten:1999:CCC%
		}.
\NAMECITE{Constructs}{%
		Broy:1984:SAL,%
		Martino:2001:PPA%
		}.
\NAMECITE{context}{%
		Kapus:1997:VXC,%
		vanAmmers:1998:PCC,%
		vandenBrand:2000:GCS%
		}.
\NAMECITE{context-free}{%
		vandenBrand:2000:GCS%
		}.
\NAMECITE{contexts}{%
		Nickson:1997:SCP%
		}.
\NAMECITE{contextual}{%
		Bueno:1998:POC,%
		Vogler:1991:FDC%
		}.
\NAMECITE{continuation}{%
		Montenyohl:1991:CSF%
		}.
\NAMECITE{continuations}{%
		Nishizaki:1993:PCL%
		}.
\NAMECITE{continuous}{%
		Chandy:1990:RAC,%
		Gupta:1998:CCC%
		}.
\NAMECITE{Control}{%
		Partsch:1983:ETD,%
		Elseaidy:1997:MVA,%
		Volker:2002:AVF%
		}.
\NAMECITE{controlled}{%
		Brunekreef:2002:TUC%
		}.
\NAMECITE{controller}{%
		Marchand:2001:FVP%
		}.
\NAMECITE{Conventions}{%
		Francez:1983:ENC%
		}.
\NAMECITE{Convergence}{%
		Sorensen:2000:CPT%
		}.
\NAMECITE{conversion}{%
		Jansson:2002:PDC%
		}.
\NAMECITE{convolution}{%
		Struik:1990:SDP%
		}.
\NAMECITE{Coordinating}{%
		Vitek:2003:CPS%
		}.
\NAMECITE{Coordination}{%
		Ciancarini:1998:LCM,%
		Ciancarini:2003:ICL,%
		Goeman:1998:CIF,%
		Tolksdorf:1998:LSB,%
		Bergstra:1998:DTT,%
		Bonsangue:2003:CCM,%
		Brogi:2003:ECS,%
		Fukuda:1998:DCM,%
		Moran:2003:EFS,%
		Rowstron:2003:UMC%
		}.
\NAMECITE{Copenhagen}{%
		Jones:1990:EES%
		}.
\NAMECITE{{copy}}{%
		Rowstron:1998:SLM%
		}.
\NAMECITE{{copy-collect}}{%
		Rowstron:1998:SLM%
		}.
\NAMECITE{Copying}{%
		vanDiepen:1986:PDT%
		}.
\NAMECITE{Correct}{%
		Despland:1990:URT,%
		Paleri:2003:PRE%
		}.
\NAMECITE{Correctness}{%
		Broy:1986:AIP,%
		Hoare:1981:CTC,%
		Jongejan:1992:CTR,%
		Lamport:1982:ACP,%
		Meyer:1999:CLP,%
		Montenyohl:1991:CSF,%
		Schoett:1990:BCD,%
		Sokolowski:1984:PCT,%
		Abramov:2002:URA,%
		Barbuti:1983:SAS,%
		Fokkinga:1987:CPS,%
		Hehner:1999:SPT%
		}.
\NAMECITE{Cost}{%
		Skillicorn:1993:DPP%
		}.
\NAMECITE{Costing}{%
		Jay:2000:CPP%
		}.
\NAMECITE{counterexamples}{%
		Ryder:1988:CII%
		}.
\NAMECITE{counters}{%
		Segers:1996:DAU%
		}.
\NAMECITE{coupling}{%
		Wah:2003:ACE%
		}.
\NAMECITE{Crippled}{%
		Wagner:1984:CQP%
		}.
\NAMECITE{Critical}{%
		Garavel:2003:SIF,%
		Hartonas-Garmhausen:2000:VSC,%
		Maraninchi:2003:MAN,%
		Ruthing:2001:CMP%
		}.
\NAMECITE{{CRL}}{%
		Groote:2001:ATH%
		}.
\NAMECITE{cross}{%
		Kamareddine:1992:SCR%
		}.
\NAMECITE{cross-roads}{%
		Kamareddine:1992:SCR%
		}.
\NAMECITE{cryptographic}{%
		Monniaux:2003:ACP%
		}.
\NAMECITE{CSLI}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{{CSP}}{%
		Baruch:1988:PIS,%
		Berghammer:1996:TDC,%
		Dix:1983:EIC,%
		Moitra:1985:ACC,%
		Mota:2001:MCC%
		}.
\NAMECITE{{CSP-Z}}{%
		Mota:2001:MCC%
		}.
\NAMECITE{cubing}{%
		Xue:1988:DLA%
		}.
\NAMECITE{cut}{%
		deVink:1990:CSP%
		}.
\NAMECITE{cyclic}{%
		Grieskamp:2001:SES,%
		Xue:1988:DLA%
		}.


\NAMECITE{Data}{%
		Bondorf:1991:AAR,%
		Broy:1988:NDF,%
		Kapur:1988:CII,%
		Malcolm:1990:DSP,%
		Mason:1988:VPD,%
		Partsch:1983:ETD,%
		Schoett:1990:BCD,%
		Szymanski:1988:EHD,%
		Bagnara:1998:HCS,%
		Bradley:2001:FDL,%
		Girard:2000:CAD,%
		Jansson:2002:PDC,%
		Kaldewaij:1995:MSD,%
		Liu:2003:EDC,%
		Maassen:1992:PPD,%
		Michel:1988:DTP,%
		Nitsche:2000:SAF,%
		Ruthing:2001:CMP,%
		Steffen:1993:GDF,%
		Tennent:1989:EDS,%
		Wah:2003:ACE%
		}.
\NAMECITE{data-flow}{%
		Bagnara:1998:HCS%
		}.
\NAMECITE{database}{%
		Jahnke:2002:SIE,%
		Sousa:2002:CRA%
		}.
\NAMECITE{dataspaces}{%
		Brogi:2003:ECS%
		}.
\NAMECITE{dead}{%
		Liu:2003:EDC%
		}.
\NAMECITE{deadlock}{%
		DeFrancesco:1998:SSRb,%
		Rondogiannis:1994:PNB%
		}.
\NAMECITE{dealing}{%
		Apt:1983:PRT%
		}.
\NAMECITE{debugging}{%
		Francel:2001:VSW%
		}.
\NAMECITE{decision}{%
		Mauborgne:1998:AIU%
		}.
\NAMECITE{decomposing}{%
		Ebergen:1992:AES%
		}.
\NAMECITE{Decomposition}{%
		Elrad:1982:DDP%
		}.
\NAMECITE{decompositions}{%
		Desharnais:1993:MSD%
		}.
\NAMECITE{Deductive}{%
		Manna:1981:DSU%
		}.
\NAMECITE{definition}{%
		Borger:1995:MDF%
		}.
\NAMECITE{Definitional}{%
		Szymanski:1988:EHD%
		}.
\NAMECITE{definitions}{%
		Baker-Finch:1990:ACT,%
		Schmidt:1988:DSB%
		}.
\NAMECITE{deforestation}{%
		Seidl:1998:CSD%
		}.
\NAMECITE{delegation}{%
		Abadi:1993:ADS%
		}.
\NAMECITE{Denmark}{%
		Jones:1990:EES%
		}.
\NAMECITE{Denotational}{%
		Blikle:1989:DE,%
		Schmidt:1988:DSB%
		}.
\NAMECITE{dependency}{%
		Armstrong:1998:TCB%
		}.
\NAMECITE{Dependent}{%
		Coquand:1996:ATC%
		}.
\NAMECITE{deployment}{%
		Rayside:2002:EJL%
		}.
\NAMECITE{Derivation}{%
		Chisholm:1987:DPA,%
		Knapp:1992:DCP,%
		McCurley:1986:DDA,%
		Partsch:1983:ETD,%
		vanDiepen:1986:PDT,%
		Bird:1989:FDP,%
		Butler:1999:CDP,%
		Cai:1989:PDF,%
		Ebergen:1990:DSM,%
		Kaldewaij:1990:DSC,%
		Liu:1995:SDI,%
		Pepper:1997:HDG,%
		Tel:1988:DGM,%
		vandeSnepscheut:1986:DDI%
		}.
\NAMECITE{derived}{%
		Hesselink:1992:LPD%
		}.
\NAMECITE{Deriving}{%
		Berghammer:2000:DRP,%
		KrusemanAretz:1988:DLP,%
		Russling:1996:DCL,%
		Skillicorn:1993:DPP,%
		Sun:1987:DSE%
		}.
\NAMECITE{Description}{%
		Lucena:1995:FDE,%
		Souquieres:1985:DII,%
		Garlan:2002:RNA,%
		Vogler:1991:FDC%
		}.
\NAMECITE{Design}{%
		Antoniol:2001:DCT,%
		Bergstra:1985:TDA,%
		Bird:1996:FAD,%
		Segers:1996:DAU,%
		Banach:1995:RSD,%
		Berghammer:1996:TDC,%
		Berry:1992:ESP,%
		Bloom:1995:TDI,%
		Bradley:2001:FDL,%
		Diehl:2000:GMD,%
		Fiadeiro:1997:CSP,%
		Gribomont:1993:CTS,%
		Iglewski:1997:IDM,%
		Kaldewaij:1990:SDA,%
		Krieg-Bruckner:1994:MSD,%
		Madhukar:1995:SDA,%
		Perrin:1992:CRP,%
		Robertson:2002:PFE,%
		Scholz:2001:IDS,%
		Smith:1985:DDC,%
		Smith:1990:ATD,%
		Struik:1990:SDP%
		}.
\NAMECITE{Design-code}{%
		Antoniol:2001:DCT%
		}.
\NAMECITE{Designing}{%
		Jones:1994:DAC,%
		Smith:1987:ASD,%
		Varro:2002:DAT%
		}.
\NAMECITE{Destructively}{%
		Mason:1988:VPD%
		}.
\NAMECITE{Detecting}{%
		Korver:1997:DFI,%
		Schmidt:1988:DSB%
		}.
\NAMECITE{Detection}{%
		Best:1981:SDE,%
		Martino:2001:PPA,%
		Tel:1988:DGM%
		}.
\NAMECITE{determination}{%
		Hesselink:2001:CDC%
		}.
\NAMECITE{Deterministic}{%
		Balbo:2000:PMD%
		}.
\NAMECITE{Developing}{%
		Gries:1982:NSS,%
		Ledru:1993:DRS,%
		Xue:1988:DLA%
		}.
\NAMECITE{Development}{%
		Partsch:1983:ETD,%
		Partsch:1986:TPD,%
		Berry:2000:EFM,%
		Bird:1987:FDE,%
		Gorlatch:1999:EIL,%
		Heisel:1992:FIG,%
		Luk:1990:SLP,%
		Maraninchi:2003:MAN%
		}.
\NAMECITE{Developments}{%
		Partsch:1984:STD%
		}.
\NAMECITE{diagram}{%
		Edwards:2003:SES,%
		Minas:2002:CRD%
		}.
\NAMECITE{diagrams}{%
		Cortellessa:2002:PUP%
		}.
\NAMECITE{dialect}{%
		Smith:1998:SPT%
		}.
\NAMECITE{different}{%
		Nishimura:1996:IDV%
		}.
\NAMECITE{Differential}{%
		Bossi:1996:DLP%
		}.
\NAMECITE{{Dilworth}}{%
		Kaldewaij:1987:SAB%
		}.
\NAMECITE{direct}{%
		Danvy:1994:BDS%
		}.
\NAMECITE{Directed}{%
		McCurley:1986:DDA,%
		Consel:1993:SDG,%
		Dardenne:1993:GRA%
		}.
\NAMECITE{directory}{%
		Moreau:2001:DDS%
		}.
\NAMECITE{{Dirichlet}}{%
		Struik:1990:SDP%
		}.
\NAMECITE{disc}{%
		Kessels:1990:VPC%
		}.
\NAMECITE{discipline}{%
		Banatre:1990:GMD%
		}.
\NAMECITE{discrete}{%
		Bergstra:1998:DTT,%
		Bos:1997:IDP%
		}.
\NAMECITE{discrete-time}{%
		Bos:1997:IDP%
		}.
\NAMECITE{disjunctive}{%
		Giacobazzi:1998:ODD%
		}.
\NAMECITE{Display}{%
		Sufrin:1982:FSD%
		}.
\NAMECITE{Display-Oriented}{%
		Sufrin:1982:FSD%
		}.
\NAMECITE{Distributed}{%
		Andreoli:1998:MND,%
		Borghoff:1998:CBP,%
		Cao:2003:DCM,%
		Elrad:1982:DDP,%
		Fukuda:1998:DCM,%
		Hofstee:1990:DS,%
		Joseph:1986:SMA,%
		Joseph:1987:PRF,%
		Lamport:1982:ACP,%
		Martin:1985:DME,%
		McCurley:1986:DDA,%
		Moreau:2001:DDS,%
		Garavel:1997:SVV,%
		Nguyen:1998:DAC,%
		Tel:1988:DGM,%
		vandeSnepscheut:1986:DDI%
		}.
\NAMECITE{Distributing}{%
		Hofstee:1994:DCS%
		}.
\NAMECITE{Distributive}{%
		vanderNat:1986:ACD%
		}.
\NAMECITE{Divide}{%
		Smith:1987:ASD,%
		Achatz:1996:MPD,%
		Smith:1985:DDC%
		}.
\NAMECITE{Divide-And-Conquer}{%
		Smith:1987:ASD,%
		Achatz:1996:MPD%
		}.
\NAMECITE{division}{%
		Michel:1988:DTP%
		}.
\NAMECITE{do}{%
		Storey:2000:HDP%
		}.
\NAMECITE{documents}{%
		Parnas:1995:FDC%
		}.
\NAMECITE{Domain}{%
		Partsch:1986:TPD,%
		Heckmann:1991:PDC,%
		Maraninchi:2003:MAN%
		}.
\NAMECITE{domain-specific}{%
		Maraninchi:2003:MAN%
		}.
\NAMECITE{domains}{%
		Brauburger:1999:ADF,%
		Cortesi:2000:CAD,%
		Gelfond:2002:MRK,%
		Giacobazzi:1998:ODD%
		}.
\NAMECITE{Down}{%
		Bergstra:1985:TDA,%
		Frost:1996:MPF,%
		Luk:1990:SLP,%
		Segers:1996:DAU%
		}.
\NAMECITE{downwards}{%
		Gibbons:2000:GDA%
		}.
\NAMECITE{Dual}{%
		Kaldewaij:1987:SAB%
		}.
\NAMECITE{Dynamic}{%
		Andreoli:1998:MND,%
		Cao:2003:DCM,%
		Henglein:1994:DTS,%
		Gelfond:2002:MRK,%
		Heisel:1992:FIG%
		}.


\NAMECITE{{Earley}}{%
		KrusemanAretz:1989:NAE,%
		Partsch:1984:STD%
		}.
\NAMECITE{early}{%
		Cortellessa:2002:PUP,%
		Robertson:2002:PFE%
		}.
\NAMECITE{Ed}{%
		Anonymous:2003:EBf%
		}.
\NAMECITE{edges}{%
		Ruthing:2001:CMP%
		}.
\NAMECITE{Editor}{%
		Sufrin:1982:FSD,%
		Minas:2002:CRD%
		}.
\NAMECITE{Editorial}{%
		Anonymous:1999:E,%
		Anonymous:2000:Ea,%
		Anonymous:2002:EBa,%
		Anonymous:2002:EBb,%
		Anonymous:2003:EBa,%
		Anonymous:2003:EBb,%
		Anonymous:2003:EBc,%
		Anonymous:2003:EBd,%
		Backhouse:1996:MPC,%
		Sintzoff:1981:E,%
		Anonymous:2003:EBe,%
		Anonymous:2003:EBg%
		}.
\NAMECITE{{Editors}}{%
		Ghezzi:1993:GER%
		}.
\NAMECITE{Eds}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{effect}{%
		Wah:2003:ACE%
		}.
\NAMECITE{effectiveness}{%
		Hind:2001:EEP%
		}.
\NAMECITE{Effects}{%
		Josephs:1986:FPS%
		}.
\NAMECITE{efficiency}{%
		Berzins:2002:LIA%
		}.
\NAMECITE{Efficient}{%
		Gibbons:1994:EPA,%
		Mateescu:2003:EFM,%
		Partsch:1983:ETD,%
		Szymanski:1988:EHD,%
		Bird:1987:FDE,%
		Bloom:1995:TDI,%
		Fernandez:1990:IEA,%
		Fitzpatrick:1997:ATA,%
		Liu:2001:SIE%
		}.
\NAMECITE{election}{%
		Garavel:1997:SVV,%
		Usenko:2002:SSG%
		}.
\NAMECITE{electricity}{%
		Arnold:1997:ESE%
		}.
\NAMECITE{Elementary}{%
		Tennent:1989:EDS%
		}.
\NAMECITE{Elements}{%
		Misra:1982:FRE%
		}.
\NAMECITE{Eliminating}{%
		Liu:2003:EDC%
		}.
\NAMECITE{Elimination}{%
		Kaldewaij:1990:SE,%
		Sethi:1982:CEE,%
		Aldrich:2003:CSE,%
		Paleri:2003:PRE,%
		Wise:1999:UBE%
		}.
\NAMECITE{embedded}{%
		Arnold:1997:ESE,%
		Grieskamp:2001:SES,%
		Moran:2003:EFS,%
		Rayside:2002:EJL%
		}.
\NAMECITE{Embedding}{%
		Ciapessoni:1993:ETG%
		}.
\NAMECITE{embeddings}{%
		Bonsangue:2003:CCM%
		}.
\NAMECITE{empirical}{%
		vanDeursen:2001:ESC%
		}.
\NAMECITE{end}{%
		Ait-Ameur:1999:RRE%
		}.
\NAMECITE{end-points}{%
		Ait-Ameur:1999:RRE%
		}.
\NAMECITE{Engineering}{%
		Anonymous:1994:PCF,%
		Astesiano:2001:FAS,%
		Baxter:2000:RER,%
		Blikle:1989:DE,%
		Luqi:2002:SEB,%
		Sousa:2002:CRA%
		}.
\NAMECITE{Enric}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{ensuring}{%
		Requet:2003:BME%
		}.
\NAMECITE{Environment}{%
		Cao:2003:DCM,%
		Bardohl:2002:VEV%
		}.
\NAMECITE{Environments}{%
		Sethi:1982:CEE,%
		Schmidt:1988:DSB%
		}.
\NAMECITE{Equational}{%
		Nipkow:1989:ERI%
		}.
\NAMECITE{equationally}{%
		Morris:1999:LRE%
		}.
\NAMECITE{Equations}{%
		Bondorf:1991:AAH,%
		Bondorf:1991:AAR,%
		Sun:1987:DSE,%
		Banerjee:1992:TSC,%
		Fecht:1999:FSG%
		}.
\NAMECITE{equivalence}{%
		Fernandez:1990:IEA%
		}.
\NAMECITE{ERCIM}{%
		Garavel:2003:SIF%
		}.
\NAMECITE{Errata}{%
		Dijkstra:1982:ESA%
		}.
\NAMECITE{Erratic}{%
		Moran:2003:EFS%
		}.
\NAMECITE{Erratum}{%
		Anonymous:2000:Eb,%
		Chandy:1997:EPT%
		}.
\NAMECITE{Error}{%
		Boullier:1987:NER,%
		Zielinski:1986:MEP%
		}.
\NAMECITE{{ESOP}}{%
		Anonymous:1991:ESP,%
		Jones:1990:EES%
		}.
\NAMECITE{{ESTEREL}}{%
		Berry:1992:ESP,%
		Berry:2000:EFM%
		}.
\NAMECITE{estimating}{%
		Yi:1998:AIE%
		}.
\NAMECITE{European}{%
		Anonymous:1991:ESP,%
		Anonymous:1995:PES,%
		Jones:1990:EES,%
		Krieg-Bruckner:1994:MSD%
		}.
\NAMECITE{Evaluating}{%
		Hind:2001:EEP%
		}.
\NAMECITE{Evaluation}{%
		Giannotti:1987:SES,%
		Boiten:1992:IRF,%
		Harrison:1995:TPE,%
		Marcelis:1990:CAE,%
		Meyer:1999:CLP,%
		Seaman:1996:OSS%
		}.
\NAMECITE{evaluator}{%
		Jalili:1985:GIE%
		}.
\NAMECITE{events}{%
		Benveniste:1991:SPE%
		}.
\NAMECITE{Evolution}{%
		vanDiepen:1986:PDT%
		}.
\NAMECITE{Evolving}{%
		Lucena:1995:FDE%
		}.
\NAMECITE{example}{%
		Arnold:1989:ESP%
		}.
\NAMECITE{Examples}{%
		Bauer:1981:PWS,%
		Knapp:1992:DCP,%
		Ryder:1988:CII%
		}.
\NAMECITE{Exception}{%
		Best:1981:SDE,%
		Bernot:1994:LAE%
		}.
\NAMECITE{Exceptions}{%
		Dix:1983:EIC,%
		Monin:1996:ECH,%
		Schobbens:1993:EAS,%
		Spivey:1990:FTE,%
		Yi:1998:AIE%
		}.
\NAMECITE{Exclusion}{%
		Martin:1985:DME,%
		vanderSommen:1997:PME%
		}.
\NAMECITE{execution}{%
		Edwards:2003:SES,%
		Kneuper:1991:SES%
		}.
\NAMECITE{Exercise}{%
		Partsch:1983:ETD,%
		Rem:1986:SPEa,%
		Schmitz:1982:EPS,%
		Ebergen:1992:AES,%
		Fokkinga:1991:ETP,%
		Reade:1992:BTR%
		}.
\NAMECITE{Exercises}{%
		Rem:1983:SPEa,%
		Rem:1983:SPEb,%
		Rem:1984:SPEa,%
		Rem:1984:SPEb,%
		Rem:1985:SPEa,%
		Rem:1985:SPEb,%
		Rem:1985:SPEc,%
		Rem:1986:SPEb,%
		Rem:1986:SPEc,%
		Rem:1986:SPEd,%
		Rem:1986:SPEe,%
		Rem:1986:SPEf,%
		Rem:1987:SPEa,%
		Rem:1987:SPEb,%
		Rem:1987:SPEc,%
		Rem:1987:SPEd,%
		Rem:1988:SPEa,%
		Loyens:1990:TSP,%
		Rem:1984:SPEc,%
		Rem:1988:SPEb,%
		Rem:1989:SPE,%
		Rem:1990:SPE%
		}.
\NAMECITE{Expansion}{%
		Sun:1987:DSE%
		}.
\NAMECITE{experience}{%
		Arnold:1997:ESE,%
		Heimdahl:2000:ANW%
		}.
\NAMECITE{Experiment}{%
		Fernandez:1997:EAG,%
		Bidoit:1989:HMA%
		}.
\NAMECITE{experiments}{%
		Quilici:2000:PPM%
		}.
\NAMECITE{Explaining}{%
		Duggan:1996:ETI%
		}.
\NAMECITE{explanation}{%
		Dijkstra:1987:HEB%
		}.
\NAMECITE{explicit}{%
		Duggan:2001:FSI%
		}.
\NAMECITE{exploratory}{%
		Jahnke:2002:SIE%
		}.
\NAMECITE{expressing}{%
		Volpe:2001:FOL%
		}.
\NAMECITE{expression}{%
		Voisin:1986:CTI,%
		Watson:2003:BMS%
		}.
\NAMECITE{Expressions}{%
		Sethi:1982:CEE,%
		Bellegarde:1986:RSF,%
		Janicki:2001:FST%
		}.
\NAMECITE{Expressive}{%
		Mitchell:1993:AEP,%
		Felleisen:1991:EPP%
		}.
\NAMECITE{expressiveness}{%
		Brogi:2003:ECS%
		}.
\NAMECITE{Extended}{%
		Francez:1983:ENC%
		}.
\NAMECITE{Extending}{%
		Clarke:2002:ESU%
		}.
\NAMECITE{extension}{%
		Cointe:1984:EVV%
		}.
\NAMECITE{External}{%
		Dybjer:1990:CIE%
		}.
\NAMECITE{Extracting}{%
		Gorlatch:1999:EIL,%
		Rayside:2002:EJL%
		}.
\NAMECITE{extraction}{%
		Jerding:2000:UVA%
		}.


\NAMECITE{{F}}{%
		Inoue:1986:COM%
		}.
\NAMECITE{factor}{%
		Berghammer:2003:LAA%
		}.
\NAMECITE{factories}{%
		vandenBrand:2000:GCS%
		}.
\NAMECITE{factory}{%
		Brunekreef:2002:TUC%
		}.
\NAMECITE{fairness}{%
		Apt:1983:PRT%
		}.
\NAMECITE{Family}{%
		Pritchard:1987:LPN%
		}.
\NAMECITE{Fast}{%
		Moir:1998:FLL,%
		Moir:1995:WFA%
		}.
\NAMECITE{faster}{%
		Fecht:1999:FSG%
		}.
\NAMECITE{Fault}{%
		Joseph:1987:PRF,%
		Schneider:1984:FTB,%
		Rowstron:2003:UMC%
		}.
\NAMECITE{Fault-Tolerant}{%
		Schneider:1984:FTB%
		}.
\NAMECITE{Feature}{%
		Plath:2001:FIU,%
		Korver:1997:DFI%
		}.
\NAMECITE{February}{%
		Krieg-Bruckner:1994:MSD%
		}.
\NAMECITE{{Fifth}}{%
		Garavel:2003:SIF%
		}.
\NAMECITE{Finding}{%
		McCurley:1986:DDA,%
		Misra:1982:FRE%
		}.
\NAMECITE{Finite}{%
		Duggan:2001:FSI,%
		Gribomont:1990:SRC,%
		Rehof:1999:TCF%
		}.
\NAMECITE{finite-state}{%
		Gribomont:1990:SRC%
		}.
\NAMECITE{first}{%
		Volpe:2001:FOL%
		}.
\NAMECITE{first-order}{%
		Volpe:2001:FOL%
		}.
\NAMECITE{Fixed}{%
		Rem:1982:FSP,%
		Cai:1989:PDF,%
		Hankin:1994:AFP%
		}.
\NAMECITE{Fixed-Space}{%
		Rem:1982:FSP%
		}.
\NAMECITE{fixpoint}{%
		Hennessy:2001:UFI%
		}.
\NAMECITE{floating}{%
		Ait-Ameur:1999:RRE%
		}.
\NAMECITE{floating-point}{%
		Ait-Ameur:1999:RRE%
		}.
\NAMECITE{Flow}{%
		Broy:1988:NDF,%
		Bagnara:1998:HCS,%
		Joshi:2000:SAS,%
		Montenyohl:1991:CSF,%
		Ruthing:2001:CMP,%
		Steffen:1993:GDF%
		}.
\NAMECITE{fly}{%
		Mateescu:2003:EFM%
		}.
\NAMECITE{{FMTA}}{%
		Madey:1997:FSF%
		}.
\NAMECITE{FoLLI}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{Foreword}{%
		Apt:1993:F,%
		Cousot:1998:F,%
		Cuellar:2000:F,%
		Ehrig:2002:F,%
		Jones:1991:F,%
		Morgan:1994:F,%
		Nielson:1998:F%
		}.
\NAMECITE{Formal}{%
		Anonymous:1994:PCF,%
		Berry:2002:FMV,%
		Bird:1989:FDP,%
		Depke:2002:FAO,%
		Garavel:2003:SIF,%
		Lucena:1995:FDE,%
		Madey:1997:FSF,%
		Marchand:2001:FVP,%
		Polak:2002:FMP,%
		Sufrin:1982:FSD,%
		Arnold:1997:ESE,%
		Bellegarde:1994:SFM,%
		Berry:2000:EFM,%
		Bicarregui:1997:MMF,%
		Bird:1987:FDE,%
		Bradley:2001:FDL,%
		Fokkinga:1987:CPS,%
		Guttag:1982:SNP,%
		Janicki:2001:FST%
		}.
\NAMECITE{Formalism}{%
		Cai:19xx:CRU,%
		Harel:1987:SVF,%
		Lengauer:1982:MPCb,%
		Kahn:1983:MFS%
		}.
\NAMECITE{formalisms}{%
		Kahn:1983:MFS%
		}.
\NAMECITE{formality}{%
		Robertson:2002:PFE%
		}.
\NAMECITE{formalization}{%
		Dijkstra:2000:CCB%
		}.
\NAMECITE{Formalizing}{%
		Heisel:1992:FIG%
		}.
\NAMECITE{Formally}{%
		Campos:1997:STF%
		}.
\NAMECITE{formatting}{%
		deMoor:1999:BAG%
		}.
\NAMECITE{forward}{%
		Baxter:2000:RER,%
		Nishimura:1996:IDV%
		}.
\NAMECITE{Foundational}{%
		Andrews:1995:FII%
		}.
\NAMECITE{Foundations}{%
		Streicher:2000:PFM,%
		Madey:1997:FSF%
		}.
\NAMECITE{{FP}}{%
		Banerjee:1992:TSC,%
		Bellegarde:1986:RSF%
		}.
\NAMECITE{framework}{%
		Atkinson:2002:PSM,%
		Ledru:1993:DRS,%
		vanderAalst:2002:CBS,%
		Goeman:1998:CIF%
		}.
\NAMECITE{{France}}{%
		Krieg-Bruckner:1994:MSD%
		}.
\NAMECITE{Free}{%
		Shyamasundar:1984:SLF,%
		Anderson:1992:BAR,%
		Bijlsma:1996:PFS,%
		Mateescu:2003:EFM,%
		Moir:1995:WFA,%
		vandenBrand:2000:GCS%
		}.
\NAMECITE{Freedoms}{%
		London:1982:ISF%
		}.
\NAMECITE{{French}}{%
		Cointe:1984:EVV%
		}.
\NAMECITE{Fudgets}{%
		Moran:2003:EFS%
		}.
\NAMECITE{full}{%
		Borger:1995:MDF%
		}.
\NAMECITE{fun}{%
		Chen:1990:PIM%
		}.
\NAMECITE{function}{%
		Hall:1989:GFV,%
		Jay:2000:CPP,%
		Volker:2002:AVF%
		}.
\NAMECITE{Functional}{%
		Bird:1996:FAD,%
		Dybjer:1990:CIE,%
		Fairbairn:1986:NTF,%
		Harrison:1988:LON,%
		Inoue:1986:COM,%
		Josephs:1986:FPS,%
		Parnas:1995:FDC,%
		Stoye:1986:MFO,%
		Sun:1987:DSE,%
		Vogler:1991:FDC,%
		Abramov:2002:URA,%
		Brauburger:1999:ADF,%
		Frost:1996:MPF,%
		Giegerich:1995:CIP,%
		Kamareddine:1992:SCR,%
		Loulergue:2000:CFB,%
		Nitsche:2000:SAF,%
		Rose:1998:LTH,%
		Schnoebelen:1988:RCP,%
		Smith:1994:PTS,%
		Spivey:1990:FTE,%
		deMoor:1999:BAG,%
		vanGilst:1995:NPT%
		}.
\NAMECITE{Functions}{%
		Burn:1986:SAH,%
		Armstrong:1998:TCB,%
		Boiten:1992:IRF,%
		Chakravarty:1998:GHO,%
		Maassen:1992:PPD,%
		Morris:2002:SIT,%
		Thompson:1990:LFP%
		}.
\NAMECITE{Fundamental}{%
		Astesiano:2001:FAS%
		}.
\NAMECITE{Future}{%
		Kolbl:1987:LFS%
		}.


\NAMECITE{{GAMMA}}{%
		Banatre:1990:GMD,%
		Fradet:1998:SG%
		}.
\NAMECITE{gap}{%
		Dijkstra:2000:CCB,%
		deMoor:1999:BAG%
		}.
\NAMECITE{Gate}{%
		Giannotti:1994:GSL%
		}.
\NAMECITE{general}{%
		Fecht:1999:FSG,%
		Jalili:1985:GIE,%
		Kirchner:1987:RIG%
		}.
\NAMECITE{Generalising}{%
		Hughes:2000:GMA%
		}.
\NAMECITE{generalized}{%
		Lukkien:1994:OSG%
		}.
\NAMECITE{generated}{%
		Ganzinger:1983:IML%
		}.
\NAMECITE{Generating}{%
		Hall:1989:GFV,%
		Steffen:1993:GDF%
		}.
\NAMECITE{Generation}{%
		vandenBrand:2000:GCS,%
		Berghammer:1988:TAS,%
		Bouajjani:1992:MSG,%
		Bozga:2000:VTG,%
		Consel:1993:SDG,%
		Fernandez:1997:EAG,%
		Hermanns:2000:ACM,%
		Usenko:2002:SSG%
		}.
\NAMECITE{generative}{%
		Diehl:2000:GMD%
		}.
\NAMECITE{generator}{%
		Minas:2002:CRD%
		}.
\NAMECITE{Generators}{%
		Despland:1990:URT%
		}.
\NAMECITE{Generic}{%
		Cleaveland:2002:GTV,%
		Gibbons:2000:GDA,%
		Cortesi:2000:CAD%
		}.
\NAMECITE{{Germany}}{%
		Moller:1995:MPC%
		}.
\NAMECITE{Ginzburg}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{Global}{%
		Bondorf:1991:AAR,%
		Pepper:1997:HDG%
		}.
\NAMECITE{Goal}{%
		Dardenne:1993:GRA%
		}.
\NAMECITE{Goal-directed}{%
		Dardenne:1993:GRA%
		}.
\NAMECITE{{GOFFIN}}{%
		Chakravarty:1998:GHO%
		}.
\NAMECITE{grammar}{%
		Voisin:1986:CTI%
		}.
\NAMECITE{grammars}{%
		Jalili:1985:GIE,%
		vandenBrand:2000:GCS%
		}.
\NAMECITE{granularity}{%
		Ciapessoni:1993:ETG%
		}.
\NAMECITE{Graph}{%
		Andries:1999:GTS,%
		Bouajjani:1992:MSG,%
		Cao:2003:DCM,%
		Depke:2002:FAO,%
		Gries:1989:ATR,%
		Moller:1994:SPG,%
		Russling:1996:DCL,%
		Tel:1988:DGM,%
		Wermelinger:2002:GTA%
		}.
\NAMECITE{graph-oriented}{%
		Cao:2003:DCM%
		}.
\NAMECITE{graphs}{%
		Curtis:1996:PG,%
		Mauborgne:1998:AIU%
		}.
\NAMECITE{greedy}{%
		Curtis:2003:CGA%
		}.
\NAMECITE{Grid}{%
		Bergstra:1997:GPB%
		}.
\NAMECITE{{Gries'}}{%
		Heisel:1992:FIG%
		}.
\NAMECITE{Group}{%
		Garavel:2003:SIF%
		}.
\NAMECITE{guarded}{%
		He:1997:PMG%
		}.
\NAMECITE{{Guest}}{%
		Ghezzi:1993:GER%
		}.


\NAMECITE{Handbook}{%
		Guttag:1986:LSL%
		}.
\NAMECITE{Handling}{%
		Szymanski:1988:EHD,%
		Bernot:1994:LAE%
		}.
\NAMECITE{hardware}{%
		McMillan:2000:MHV%
		}.
\NAMECITE{harmless}{%
		Monin:1996:ECH%
		}.
\NAMECITE{{Haskell}}{%
		PeytonJones:1998:TBO%
		}.
\NAMECITE{{HAVi}}{%
		Usenko:2002:SSG%
		}.
\NAMECITE{heuristic}{%
		Dijkstra:1987:HEB%
		}.
\NAMECITE{Heuristics}{%
		Mili:1992:HCW%
		}.
\NAMECITE{hierarchies}{%
		Rose:1998:LTH%
		}.
\NAMECITE{Hierarchy}{%
		Hoogendijk:1994:RPL,%
		Bagnara:1998:HCS,%
		Engels:2002:HCM%
		}.
\NAMECITE{high}{%
		Klaudel:2001:CHL,%
		Padberg:2001:RBR,%
		Pepper:1997:HDG%
		}.
\NAMECITE{high-level}{%
		Klaudel:2001:CHL,%
		Padberg:2001:RBR,%
		Pepper:1997:HDG%
		}.
\NAMECITE{Higher}{%
		Bondorf:1991:AAH,%
		Burn:1986:SAH,%
		Chakravarty:1998:GHO,%
		Paulson:1983:HOI,%
		Maassen:1992:PPD,%
		Naumann:2001:PTS%
		}.
\NAMECITE{Higher-Order}{%
		Burn:1986:SAH,%
		Paulson:1983:HOI,%
		Chakravarty:1998:GHO,%
		Naumann:2001:PTS%
		}.
\NAMECITE{{Hoare}}{%
		Nielson:1987:HLP%
		}.
\NAMECITE{{Hoare}-like}{%
		Nielson:1987:HLP%
		}.
\NAMECITE{Homomorphisms}{%
		Heilbrunner:1982:TRR,%
		Astesiano:1999:SHT,%
		Gorlatch:1999:EIL%
		}.
\NAMECITE{horizon}{%
		Luqi:2002:SEB%
		}.
\NAMECITE{{Horner}}{%
		Harrison:1995:TPE%
		}.
\NAMECITE{hybrid}{%
		Groote:2001:ATH%
		}.
\NAMECITE{hypergraph}{%
		Minas:2002:CRD%
		}.


\NAMECITE{idea}{%
		Berry:2002:FMV%
		}.
\NAMECITE{{IMAGE}}{%
		Berghammer:2003:LAA,%
		Watson:2003:NAC%
		}.
\NAMECITE{impact}{%
		Chaumun:2002:CIM%
		}.
\NAMECITE{Imperative}{%
		Kleist:2002:IOM,%
		Astesiano:1999:SHT,%
		Brauburger:1999:ADF,%
		Giegerich:1995:CIP,%
		Naumann:2001:PTS%
		}.
\NAMECITE{Implementability}{%
		Kapur:1988:CII%
		}.
\NAMECITE{Implementation}{%
		BenCherifa:1987:TRS,%
		Katajainen:1983:AIK,%
		Kolbl:1987:LFS,%
		Paulson:1983:HOI,%
		Berry:1992:ESP,%
		Bloom:1995:TDI,%
		Fernandez:1990:IEA,%
		Kirchner:1987:RIG,%
		vandeSnepscheut:1986:DDI%
		}.
\NAMECITE{Implementations}{%
		Broy:1986:AIP,%
		Anderson:1992:BAR,%
		Fitzpatrick:1997:ATA%
		}.
\NAMECITE{Implementing}{%
		London:1982:ISF,%
		Andrews:1995:FII,%
		Gorlatch:1999:EIL,%
		Heisel:1992:FIG%
		}.
\NAMECITE{implicit}{%
		Thatte:1991:TSI%
		}.
\NAMECITE{improved}{%
		Moir:1998:FLL%
		}.
\NAMECITE{Improvement}{%
		Souquieres:1985:DII%
		}.
\NAMECITE{Improving}{%
		Boiten:1992:IRF%
		}.
\NAMECITE{{ImpUnity}}{%
		Goeman:1998:CIF%
		}.
\NAMECITE{in-situ}{%
		Kaldewaij:1995:MSD%
		}.
\NAMECITE{inclusive}{%
		Pepper:1987:SCP%
		}.
\NAMECITE{inconsistency}{%
		Cavalcanti:1999:IPP,%
		Morris:2002:SIT%
		}.
\NAMECITE{Increasing}{%
		Ganzinger:1983:IML%
		}.
\NAMECITE{Incremental}{%
		Scholz:2001:IDS,%
		Cortellessa:2002:PUP,%
		Jalili:1985:GIE,%
		Liu:1995:SDI,%
		Ryder:1988:CII%
		}.
\NAMECITE{independence}{%
		Best:1989:SI%
		}.
\NAMECITE{independency}{%
		Ganzinger:1983:IML%
		}.
\NAMECITE{independent}{%
		vanAmmers:1998:PCC%
		}.
\NAMECITE{Index}{%
		Anonymous:1999:I,%
		Anonymous:2000:Ia,%
		Anonymous:2000:Ib,%
		Anonymous:2000:Ic,%
		Anonymous:2003:AIb,%
		Anonymous:2003:AIc,%
		Anonymous:2003:AId,%
		Anonymous:1988:MIV,%
		Anonymous:1993:MIV,%
		Anonymous:2001:AIV,%
		Anonymous:2001:AIVa,%
		Anonymous:2001:AIVb,%
		Anonymous:2002:AIVa,%
		Anonymous:2002:AIVb,%
		Anonymous:2002:AIa,%
		Anonymous:2002:AIb,%
		Anonymous:2003:AIa%
		}.
\NAMECITE{induction}{%
		Hennessy:2001:UFI,%
		Pepper:1987:SCP%
		}.
\NAMECITE{Industrial}{%
		Campos:1997:STF,%
		Garavel:2003:SIF,%
		Arnold:1997:ESE,%
		Bruns:1997:IAM,%
		Mota:2001:MCC,%
		Volker:2002:AVF%
		}.
\NAMECITE{inference}{%
		Barbuti:1992:BPT,%
		Berzins:2002:LIA,%
		Duggan:1996:ETI,%
		Duggan:2001:FSI,%
		Hankin:1995:LTI%
		}.
\NAMECITE{inferencing}{%
		vanDeursen:2001:ESC%
		}.
\NAMECITE{Infinitary}{%
		Mauborgne:2003:IRT%
		}.
\NAMECITE{Informal}{%
		Lengauer:1982:MPCa,%
		Partsch:1989:IRR%
		}.
\NAMECITE{Information}{%
		Skillicorn:1993:DPP,%
		vanEijck:2000:TSL,%
		Joshi:2000:SAS%
		}.
\NAMECITE{inheritance}{%
		Canal:2001:CIS,%
		vanderAalst:2002:CBS,%
		vanderAalst:2002:CPI%
		}.
\NAMECITE{integer}{%
		Wise:1999:UBE%
		}.
\NAMECITE{integer-preserving}{%
		Wise:1999:UBE%
		}.
\NAMECITE{Integrated}{%
		Dybjer:1990:CIE,%
		Joseph:1986:SMA%
		}.
\NAMECITE{Integrating}{%
		Nishimura:1996:IDV%
		}.
\NAMECITE{integration}{%
		Plath:2001:FIU,%
		Reps:1991:APP%
		}.
\NAMECITE{interaction}{%
		Martino:2001:PPA%
		}.
\NAMECITE{interactions}{%
		Korver:1997:DFI%
		}.
\NAMECITE{interactive}{%
		Voisin:1986:CTI%
		}.
\NAMECITE{interfaces}{%
		Rees:2003:ASI%
		}.
\NAMECITE{interlocking}{%
		Hartonas-Garmhausen:2000:VSC%
		}.
\NAMECITE{interlockings}{%
		Morley:1997:SCR%
		}.
\NAMECITE{Internal}{%
		Iglewski:1997:IDM%
		}.
\NAMECITE{International}{%
		Garavel:2003:SIF,%
		Moller:1995:MPC%
		}.
\NAMECITE{interpretation}{%
		Comini:2003:AIB,%
		Ferdinand:1999:CBP,%
		Giacobazzi:1998:ODD,%
		Giannotti:1994:GSL,%
		Halbwachs:1998:ASP,%
		Hankin:1994:AFP,%
		Mauborgne:1998:AIU,%
		Nielson:2003:AIM,%
		Yi:1998:AIE%
		}.
\NAMECITE{Interpretations}{%
		BenCherifa:1987:TRS,%
		Hughes:1994:RAI%
		}.
\NAMECITE{interpreted}{%
		Baruch:1988:PIS%
		}.
\NAMECITE{Interprocedural}{%
		Larcheveque:1994:ITP%
		}.
\NAMECITE{Interrupts}{%
		Dix:1983:EIC%
		}.
\NAMECITE{Interscience}{%
		Balbo:2000:PMD%
		}.
\NAMECITE{Introduction}{%
		Aiken:1999:ISC%
		}.
\NAMECITE{Invariance}{%
		Manna:1984:APP%
		}.
\NAMECITE{invariant}{%
		Katoen:1996:SAR%
		}.
\NAMECITE{Invariants}{%
		Gries:1982:NSS,%
		Liu:2001:SIE,%
		Morgan:1990:TIR%
		}.
\NAMECITE{inverse}{%
		Abramov:2002:URA%
		}.
\NAMECITE{inversion}{%
		Back:1993:SIS,%
		Chen:1990:PIM,%
		Wise:1999:UBE%
		}.
\NAMECITE{inverting}{%
		Boiten:1992:IRF%
		}.
\NAMECITE{Irsee}{%
		Moller:1995:MPC%
		}.
\NAMECITE{{Isabelle}}{%
		Nipkow:1989:ERI%
		}.
\NAMECITE{ISBN}{%
		Balbo:2000:PMD,%
		Sangiorgi:2000:CMS,%
		Streicher:2000:PFM,%
		vanEijck:2000:TSL%
		}.
\NAMECITE{issue}{%
		Garavel:2003:SIF%
		}.
\NAMECITE{Issues}{%
		Ciancarini:2003:ICL,%
		Kapur:1988:CII,%
		Andrews:1995:FII%
		}.
\NAMECITE{iteration}{%
		Apt:1996:ABQ,%
		Ryder:1988:CII%
		}.
\NAMECITE{iterations}{%
		Jahnke:2002:SIE%
		}.
\NAMECITE{Iterative}{%
		Souquieres:1985:DII,%
		Finance:1985:MLC%
		}.


\NAMECITE{{Jackson}}{%
		Vivares:1993:MJP%
		}.
\NAMECITE{Jacques}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{JastAdd}{%
		Hedin:2003:JAO%
		}.
\NAMECITE{{Java}}{%
		Aldrich:2003:CSE,%
		Feijs:2001:MNA,%
		Rayside:2002:EJL,%
		Requet:2003:BME,%
		Tonella:2002:CSC%
		}.
\NAMECITE{Jean}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{Jean-Jacques}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{{JJF}orester}{%
		Kuipers:2003:OOT%
		}.
\NAMECITE{Joint}{%
		Partsch:1983:ETD,%
		Kurki-Suonio:1993:RTS%
		}.
\NAMECITE{Jonathan}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{{July}}{%
		Moller:1995:MPC%
		}.
\NAMECITE{jump}{%
		Cifuentes:2001:RJT%
		}.
\NAMECITE{Justifications}{%
		Mints:1982:JSS%
		}.


\NAMECITE{kernels}{%
		Berghammer:2000:DRP%
		}.
\NAMECITE{keyword}{%
		Watson:1996:TSM%
		}.
\NAMECITE{Khasidashvili}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{Kloster}{%
		Moller:1995:MPC%
		}.
\NAMECITE{knowledge}{%
		Gelfond:2002:MRK%
		}.
\NAMECITE{Konstancin}{%
		Madey:1997:FSF%
		}.
\NAMECITE{{Kruskal}}{%
		Katajainen:1983:AIK%
		}.


\NAMECITE{Label}{%
		Bernot:1994:LAE%
		}.
\NAMECITE{lambda}{%
		Banerjee:1998:SST,%
		Nielson:1988:ABT%
		}.
\NAMECITE{lambda-calculus}{%
		Nielson:1988:ABT%
		}.
\NAMECITE{Language}{%
		Bauer:1981:PWS,%
		Broy:1984:SAL,%
		Fairbairn:1986:NTF,%
		Guttag:1986:LSL,%
		Guttag:1986:RLS,%
		Inoue:1986:COM,%
		Tolksdorf:1998:LSB,%
		vanEijck:2000:TSL,%
		Abramov:2002:URA,%
		Baker-Finch:1990:ACT,%
		Benveniste:1991:SPE,%
		Berry:1992:ESP,%
		Bidoit:1989:HMA,%
		Bradley:2001:FDL,%
		Ciapessoni:1993:ETG,%
		Edwards:2003:SES,%
		Finance:1985:MLC,%
		Frost:1996:MPF,%
		Ganzinger:1983:IML,%
		He:1997:PMG,%
		Klaudel:2001:CHL,%
		Kluzniak:1997:SLL,%
		Meyer:1999:CLP,%
		Moran:2003:EFS,%
		Naumann:2001:PTS,%
		Rose:1998:LTH,%
		Tarlecki:1985:LSP,%
		Volpe:2001:FOL%
		}.
\NAMECITE{language-independency}{%
		Ganzinger:1983:IML%
		}.
\NAMECITE{Languages}{%
		Ciancarini:2003:ICL,%
		Mitchell:1993:AEP,%
		Szymanski:1988:EHD,%
		Astesiano:1999:SHT,%
		Bagnara:1998:HCS,%
		Bardohl:2002:VEV,%
		Doh:2003:CPL,%
		Felleisen:1991:EPP,%
		Kaldewaij:1990:SDA,%
		Larcheveque:1994:ITP,%
		Rowstron:2003:UMC,%
		Schnoebelen:1988:RCP,%
		Tennent:1989:EDS,%
		Varro:2002:DAT,%
		Vogler:1991:FDC,%
		vanGilst:1995:NPT%
		}.
\NAMECITE{{Larch}}{%
		Guttag:1986:LSL,%
		Guttag:1986:RLS%
		}.
\NAMECITE{large}{%
		Requet:2003:BME%
		}.
\NAMECITE{{Laura}}{%
		Tolksdorf:1998:LSB%
		}.
\NAMECITE{Lawful}{%
		Thompson:1990:LFP%
		}.
\NAMECITE{Laws}{%
		Hoogendijk:1994:RPL%
		}.
\NAMECITE{layer}{%
		Russling:1996:DCL%
		}.
\NAMECITE{layer-oriented}{%
		Russling:1996:DCL%
		}.
\NAMECITE{Layers}{%
		Elrad:1982:DDP%
		}.
\NAMECITE{Lazy}{%
		Hankin:1995:LTI,%
		Seaman:1996:OSS,%
		vanGilst:1995:NPT%
		}.
\NAMECITE{{LCF}}{%
		Paulson:1985:VUA%
		}.
\NAMECITE{leader}{%
		Garavel:1997:SVV,%
		Usenko:2002:SSG%
		}.
\NAMECITE{Leaf}{%
		Kaldewaij:1996:LT%
		}.
\NAMECITE{Left}{%
		vandenEijnde:1990:LBR%
		}.
\NAMECITE{Left-bottom}{%
		vandenEijnde:1990:LBR%
		}.
\NAMECITE{legacy}{%
		Sellink:2002:RCC%
		}.
\NAMECITE{level}{%
		Klaudel:2001:CHL,%
		Morley:1997:SCR,%
		Padberg:2001:RBR,%
		Pepper:1997:HDG%
		}.
\NAMECITE{L\'evi}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{Lexical}{%
		Boullier:1987:NER%
		}.
\NAMECITE{library}{%
		Rayside:2002:EJL%
		}.
\NAMECITE{Lightweight}{%
		Berzins:2002:LIA%
		}.
\NAMECITE{like}{%
		Meyer:1999:CLP,%
		Nielson:1987:HLP,%
		Tennent:1989:EDS%
		}.
\NAMECITE{{Linda}}{%
		Rowstron:1998:SLM%
		}.
\NAMECITE{Lindemann}{%
		Balbo:2000:PMD%
		}.
\NAMECITE{line}{%
		Meyer:1999:CLP%
		}.
\NAMECITE{Linear}{%
		Kolbl:1987:LFS,%
		Pritchard:1987:LPN,%
		Rem:1982:FSP,%
		Rose:1998:LTH,%
		Berghammer:2003:LAA,%
		Nishizaki:1993:PCL,%
		Xue:1988:DLA,%
		deMoor:1999:BAG%
		}.
\NAMECITE{Linear-time}{%
		Rose:1998:LTH,%
		deMoor:1999:BAG%
		}.
\NAMECITE{Linearisation}{%
		Harrison:1988:LON%
		}.
\NAMECITE{linkage}{%
		Antoniol:2001:DCT%
		}.
\NAMECITE{{Lisp}}{%
		KrusemanAretz:1988:DLP%
		}.
\NAMECITE{List}{%
		Hoogendijk:1994:RPL,%
		vanDiepen:1986:PDT,%
		Gorlatch:1999:EIL%
		}.
\NAMECITE{List-Copying}{%
		vanDiepen:1986:PDT%
		}.
\NAMECITE{lists}{%
		Nielson:1994:TPW%
		}.
\NAMECITE{live}{%
		Fernandez:2003:SSR%
		}.
\NAMECITE{lived}{%
		Moir:1995:WFA,%
		Moir:1998:FLL%
		}.
\NAMECITE{Livelock}{%
		Shyamasundar:1984:SLF%
		}.
\NAMECITE{Livelock-Free}{%
		Shyamasundar:1984:SLF%
		}.
\NAMECITE{Liveness}{%
		Manna:1984:APP%
		}.
\NAMECITE{localization}{%
		Jerding:2000:UVA%
		}.
\NAMECITE{locally}{%
		Bueno:1998:POC%
		}.
\NAMECITE{{L{\"o}f}}{%
		Chisholm:1987:DPA%
		}.
\NAMECITE{Logic}{%
		Ciancarini:1998:LCM,%
		Emerson:1987:MMC,%
		Komorowski:1987:LPR,%
		vanEijck:2000:TSL,%
		Andrews:1995:FII,%
		Apt:1996:ABQ,%
		Bagnara:1998:HCS,%
		Barbuti:1992:BPT,%
		Bossi:1996:DLP,%
		Bruns:1997:IAM,%
		Comini:2003:AIB,%
		Cortesi:2000:CAD,%
		Emerson:1982:UBT,%
		Heisel:1992:FIG,%
		Kamareddine:1992:SCR,%
		Kluzniak:1997:SLL,%
		Kosiuczenko:1997:TRL,%
		Morris:1999:LRE,%
		Nishizaki:1993:PCL,%
		Pedreschi:2003:LPA,%
		Volpe:2001:FOL%
		}.
\NAMECITE{logic-based}{%
		Bagnara:1998:HCS%
		}.
\NAMECITE{logical}{%
		Barbuti:1998:TLS,%
		Ciapessoni:1993:ETG%
		}.
\NAMECITE{Logics}{%
		Dybjer:1990:CIE%
		}.
\NAMECITE{long}{%
		Moir:1995:WFA,%
		Moir:1998:FLL%
		}.
\NAMECITE{long-lived}{%
		Moir:1995:WFA,%
		Moir:1998:FLL%
		}.
\NAMECITE{Longest}{%
		Zantema:1992:LSP%
		}.
\NAMECITE{Loop}{%
		Gries:1982:NSS%
		}.
\NAMECITE{Loops}{%
		Gries:1982:NSS,%
		Mili:1992:HCW%
		}.
\NAMECITE{{LOTOS}}{%
		Giannotti:1994:GSL%
		}.
\NAMECITE{{LR}}{%
		Hesselink:1992:LPD%
		}.
\NAMECITE{{LR}-parsing}{%
		Hesselink:1992:LPD%
		}.
\NAMECITE{{LRU}}{%
		Luk:1990:SLP%
		}.


\NAMECITE{machine}{%
		Cousineau:1987:CAM,%
		Requet:2003:BME,%
		Rose:1998:LTH%
		}.
\NAMECITE{Machines}{%
		Joseph:1986:SMA,%
		Diehl:2000:GMD%
		}.
\NAMECITE{make}{%
		Bidoit:1989:HMA%
		}.
\NAMECITE{Making}{%
		Bicarregui:1997:MMF%
		}.
\NAMECITE{management}{%
		Cao:2003:DCM,%
		Kapus:1997:VXC,%
		Verhoef:2002:QIP%
		}.
\NAMECITE{Manipulate}{%
		Mason:1988:VPD%
		}.
\NAMECITE{March}{%
		Wada:1996:OPN%
		}.
\NAMECITE{marking}{%
		Tel:1988:DGM%
		}.
\NAMECITE{{Markov}}{%
		Hermanns:2000:ACM%
		}.
\NAMECITE{{Martin}}{%
		Chisholm:1987:DPA%
		}.
\NAMECITE{{Martin-L{\"o}f}}{%
		Chisholm:1987:DPA%
		}.
\NAMECITE{Massive}{%
		Achatz:1996:MPD%
		}.
\NAMECITE{Master}{%
		Anonymous:1988:MIV,%
		Anonymous:1993:MIV%
		}.
\NAMECITE{Masterpiece}{%
		Gries:1987:MM%
		}.
\NAMECITE{matching}{%
		Bird:1989:FDP,%
		Quilici:2000:PPM,%
		Schnoebelen:1988:RCP,%
		Watson:1996:TSM,%
		Watson:2003:BMS%
		}.
\NAMECITE{Mathematical}{%
		Abrial:1984:MCP,%
		Borger:1995:MDF,%
		Feijs:1999:RPA%
		}.
\NAMECITE{Mathematics}{%
		Backhouse:1996:MPC,%
		Moller:1995:MPC,%
		Desharnais:1993:MSD,%
		Streicher:2000:PFM%
		}.
\NAMECITE{matrix}{%
		Kaldewaij:1995:MSD,%
		Wise:1999:UBE%
		}.
\NAMECITE{May}{%
		Jones:1990:EES,%
		Madey:1997:FSF%
		}.
\NAMECITE{{Mclaren}}{%
		Gries:1987:MM%
		}.
\NAMECITE{meaning}{%
		Schobbens:1993:EAS%
		}.
\NAMECITE{means}{%
		Ait-Ameur:1999:RRE,%
		Fokkinga:1987:CPS%
		}.
\NAMECITE{Mechanism}{%
		Francez:1986:SCA%
		}.
\NAMECITE{Mechanisms}{%
		Feijs:2001:MNA%
		}.
\NAMECITE{mechanizing}{%
		Shankar:1996:STM%
		}.
\NAMECITE{{Meertens}}{%
		Cai:19xx:CRU%
		}.
\NAMECITE{meet}{%
		Chakravarty:1998:GHO%
		}.
\NAMECITE{Memoizing}{%
		Frost:1996:MPF%
		}.
\NAMECITE{Merge}{%
		Broy:1988:NDF%
		}.
\NAMECITE{Message}{%
		Stoye:1986:MFO,%
		Hennessy:2001:UFI,%
		Moreau:2001:DDS,%
		Stoller:1995:VPU,%
		Engels:2002:HCM%
		}.
\NAMECITE{Message-Based}{%
		Stoye:1986:MFO%
		}.
\NAMECITE{message-passing}{%
		Hennessy:2001:UFI,%
		Stoller:1995:VPU%
		}.
\NAMECITE{{MESSENGERS}}{%
		Fukuda:1998:DCM%
		}.
\NAMECITE{{Metal}}{%
		Kahn:1983:MFS%
		}.
\NAMECITE{metamodeling}{%
		Atkinson:2002:PSM%
		}.
\NAMECITE{meter}{%
		Arnold:1997:ESE%
		}.
\NAMECITE{Method}{%
		Vivares:1993:MJP,%
		Andrews:1989:MSS,%
		Berry:2000:EFM,%
		Finance:1985:MLC,%
		Gribomont:1993:CTS,%
		Heisel:1992:FIG,%
		Iglewski:1997:IDM%
		}.
\NAMECITE{methodologies}{%
		Bossi:1996:DLP%
		}.
\NAMECITE{Methodology}{%
		Lengauer:1982:MPCa,%
		Lengauer:1982:MPCb,%
		Cortellessa:2002:PUP,%
		Diehl:2000:GMD,%
		Gelfond:2002:MRK,%
		McMillan:2000:MHV%
		}.
\NAMECITE{Methods}{%
		Garavel:2003:SIF,%
		Inoue:1986:COM,%
		Krieg-Bruckner:1994:MSD,%
		Arnold:1997:ESE,%
		Bellegarde:1994:SFM,%
		Berry:2002:FMV,%
		Madey:1997:FSF,%
		Polak:2002:FMP%
		}.
\NAMECITE{metric}{%
		Sorensen:2000:CPT%
		}.
\NAMECITE{microprocessor}{%
		Back:1996:SCA%
		}.
\NAMECITE{Milner}{%
		Sangiorgi:2000:CMS%
		}.
\NAMECITE{Minimal}{%
		Bouajjani:1992:MSG,%
		Katajainen:1983:AIK,%
		Watson:2003:NAC%
		}.
\NAMECITE{{Miranda}}{%
		Thompson:1990:LFP%
		}.
\NAMECITE{mismatch}{%
		Compare:1999:UAM%
		}.
\NAMECITE{{ML}}{%
		Yi:1998:AIE%
		}.
\NAMECITE{Mobile}{%
		Sangiorgi:2000:CMS,%
		Kleist:2002:IOM,%
		Moreau:2001:DDS,%
		Nielson:2003:AIM,%
		Rowstron:2003:UMC%
		}.
\NAMECITE{modal}{%
		Bruns:1997:IAM,%
		Steffen:1993:GDF%
		}.
\NAMECITE{Modalities}{%
		Emerson:1987:MMC%
		}.
\NAMECITE{Mode}{%
		Maraninchi:2003:MAN%
		}.
\NAMECITE{Mode-Automata}{%
		Maraninchi:2003:MAN%
		}.
\NAMECITE{Model}{%
		Ciancarini:1998:LCM,%
		Emerson:1987:MMC,%
		Esparza:1994:MCU,%
		Mota:2001:MCC,%
		Zielinski:1986:MEP,%
		Banatre:1990:GMD,%
		Chaumun:2002:CIM,%
		Clarke:2002:ESU,%
		Levi:2001:SSA,%
		Mateescu:2003:EFM,%
		McMillan:2000:MHV,%
		Requet:2003:BME,%
		Rose:1998:LTH,%
		Wing:1997:CSM%
		}.
\NAMECITE{Model-checking}{%
		Mota:2001:MCC,%
		Mateescu:2003:EFM%
		}.
\NAMECITE{Modeling}{%
		Balbo:2000:PMD,%
		Elseaidy:1997:MVA,%
		Joseph:1986:SMA,%
		Depke:2002:FAO,%
		Garlan:2002:RNA,%
		Kurki-Suonio:1993:RTS%
		}.
\NAMECITE{Modelling}{%
		Vivares:1993:MJP%
		}.
\NAMECITE{models}{%
		Bonsangue:2003:CCM,%
		Engels:2002:HCM,%
		He:1997:PMG%
		}.
\NAMECITE{Modular}{%
		Hussmann:2002:MAT%
		}.
\NAMECITE{modularity}{%
		Ganzinger:1983:IML%
		}.
\NAMECITE{module}{%
		Hayes:1996:SMR%
		}.
\NAMECITE{modules}{%
		Doh:2003:CPL,%
		Iglewski:1997:IDM%
		}.
\NAMECITE{monads}{%
		Bellegarde:1994:SFM,%
		Hughes:2000:GMA%
		}.
\NAMECITE{{Moore}}{%
		Watson:2003:BMS%
		}.
\NAMECITE{{Moore}-style}{%
		Watson:2003:BMS%
		}.
\NAMECITE{{Morris}}{%
		Mateti:1988:MTT%
		}.
\NAMECITE{Most}{%
		Wiltink:1986:TMN,%
		Bicarregui:1997:MMF%
		}.
\NAMECITE{motion}{%
		Ruthing:2001:CMP%
		}.
\NAMECITE{MR}{%
		Chandy:1997:EPT,%
		Dijkstra:1982:ESA%
		}.
\NAMECITE{mu}{%
		Mateescu:2003:EFM%
		}.
\NAMECITE{mu-calculus}{%
		Mateescu:2003:EFM%
		}.
\NAMECITE{Multiparty}{%
		Andreoli:1998:MND%
		}.
\NAMECITE{Multiple}{%
		Ciancarini:1998:LCM,%
		Rowstron:1998:SLM,%
		Watson:1996:TSM%
		}.
\NAMECITE{multiplier}{%
		Ebergen:1990:DSM%
		}.
\NAMECITE{Mutual}{%
		Martin:1985:DME,%
		vanderSommen:1997:PME%
		}.


\NAMECITE{Naming}{%
		Francez:1983:ENC,%
		Feijs:2001:MNA%
		}.
\NAMECITE{near}{%
		Madey:1997:FSF%
		}.
\NAMECITE{needs}{%
		Garlan:2002:RNA,%
		Heimdahl:2000:ANW%
		}.
\NAMECITE{Negotiation}{%
		Andreoli:1998:MND%
		}.
\NAMECITE{net}{%
		Bueno:1998:POC,%
		Esparza:1994:MCU,%
		Klaudel:2001:CHL,%
		Rondogiannis:1994:PNB%
		}.
\NAMECITE{nets}{%
		DeFrancesco:1993:ACN,%
		Padberg:2001:RBR,%
		Balbo:2000:PMD%
		}.
\NAMECITE{Networks}{%
		McCurley:1986:DDA,%
		Garavel:1997:SVV%
		}.
\NAMECITE{{Newton}}{%
		VanHentenryck:1998:NCP%
		}.
\NAMECITE{no}{%
		Chandy:1997:EPT,%
		Dijkstra:1982:ESA%
		}.
\NAMECITE{Nobuo}{%
		Wada:1996:OPN%
		}.
\NAMECITE{non}{%
		DeFrancesco:1998:SSRb%
		}.
\NAMECITE{non-standard}{%
		DeFrancesco:1998:SSRb%
		}.
\NAMECITE{Nondeterministic}{%
		Broy:1988:NDF,%
		Wiltink:1986:TMN,%
		Moitra:1985:ACC,%
		Morris:2002:SIT%
		}.
\NAMECITE{Nonlinear}{%
		Harrison:1988:LON,%
		Sun:1987:DSE,%
		VanHentenryck:1998:NCP%
		}.
\NAMECITE{nonterminating}{%
		Hayes:2002:RAR%
		}.
\NAMECITE{nontrivial}{%
		Anderson:1992:BAR%
		}.
\NAMECITE{notations}{%
		Garlan:2002:RNA%
		}.
\NAMECITE{Note}{%
		Gries:1982:NSS%
		}.
\NAMECITE{notes}{%
		Guttag:1982:SNP%
		}.
\NAMECITE{Number}{%
		Pritchard:1983:CSN,%
		Pritchard:1987:LPN,%
		Bellegarde:1986:RSF%
		}.
\NAMECITE{Number-Theoretic}{%
		Pritchard:1983:CSN%
		}.
\NAMECITE{numbers}{%
		Ait-Ameur:1999:RRE%
		}.
\NAMECITE{numerical}{%
		Fitzpatrick:1997:ATA%
		}.


\NAMECITE{Obituary}{%
		Wada:1996:OPN%
		}.
\NAMECITE{Object}{%
		Andreoli:1998:MND,%
		Kuipers:2003:OOT,%
		Carreira:2003:AVO,%
		Chaumun:2002:CIM,%
		Garlan:2002:RNA,%
		Kosiuczenko:1997:TRL,%
		Larcheveque:1994:ITP,%
		Palsberg:1994:STO%
		}.
\NAMECITE{object-based}{%
		Kosiuczenko:1997:TRL%
		}.
\NAMECITE{object-modeling}{%
		Garlan:2002:RNA%
		}.
\NAMECITE{Object-oriented}{%
		Kuipers:2003:OOT,%
		Carreira:2003:AVO,%
		Chaumun:2002:CIM,%
		Larcheveque:1994:ITP,%
		Palsberg:1994:STO%
		}.
\NAMECITE{Objects}{%
		Misra:1990:SCO,%
		Abadi:1995:TPO,%
		Anderson:1992:BAR,%
		Cointe:1984:EVV,%
		Girard:2000:CAD,%
		Kleist:2002:IOM,%
		Singh:1991:SCO%
		}.
\NAMECITE{objets}{%
		Cointe:1984:EVV%
		}.
\NAMECITE{Occurrences}{%
		Best:1981:SDE%
		}.
\NAMECITE{{OCL}}{%
		Hussmann:2002:MAT%
		}.
\NAMECITE{{O'Haskell}}{%
		Nordlander:2002:PSO%
		}.
\NAMECITE{old}{%
		Hermanns:2000:ACM%
		}.
\NAMECITE{on-line}{%
		Meyer:1999:CLP%
		}.
\NAMECITE{on-the-fly}{%
		Mateescu:2003:EFM%
		}.
\NAMECITE{open}{%
		Cortesi:2000:CAD%
		}.
\NAMECITE{Operating}{%
		Stoye:1986:MFO%
		}.
\NAMECITE{Operational}{%
		Lukkien:1994:OSG,%
		Seaman:1996:OSS%
		}.
\NAMECITE{operations}{%
		Butler:1999:CDP%
		}.
\NAMECITE{Optimal}{%
		Giacobazzi:1998:ODD%
		}.
\NAMECITE{Optimisation}{%
		Harrison:1988:LON%
		}.
\NAMECITE{optimiser}{%
		PeytonJones:1998:TBO%
		}.
\NAMECITE{Optimization}{%
		Balbo:2000:PMD%
		}.
\NAMECITE{Optimizing}{%
		Inoue:1986:COM%
		}.
\NAMECITE{Order}{%
		Bondorf:1991:AAH,%
		Burn:1986:SAH,%
		Paulson:1983:HOI,%
		Boiten:1992:IRF,%
		Bueno:1998:POC,%
		Chakravarty:1998:GHO,%
		Maassen:1992:PPD,%
		Naumann:2001:PTS,%
		Osorio:1999:TPO,%
		Volpe:2001:FOL,%
		Abadi:1995:TPO%
		}.
\NAMECITE{ordered}{%
		Stoller:1995:VPU%
		}.
\NAMECITE{Oriented}{%
		Sufrin:1982:FSD,%
		Cao:2003:DCM,%
		Carreira:2003:AVO,%
		Chaumun:2002:CIM,%
		Depke:2002:FAO,%
		Hedin:2003:JAO,%
		Kuipers:2003:OOT,%
		Larcheveque:1994:ITP,%
		Palsberg:1994:STO,%
		Russling:1996:DCL%
		}.
\NAMECITE{origin}{%
		Manna:1987:OBS%
		}.
\NAMECITE{our}{%
		Luqi:2002:SEB%
		}.
\NAMECITE{Output}{%
		Rem:1982:FSP%
		}.
\NAMECITE{overloading}{%
		Smith:1994:PTS%
		}.


\NAMECITE{Packet}{%
		Shyamasundar:1984:SLF%
		}.
\NAMECITE{packing}{%
		Berghammer:2003:LAA%
		}.
\NAMECITE{pages}{%
		Balbo:2000:PMD,%
		Sangiorgi:2000:CMS,%
		Streicher:2000:PFM,%
		vanEijck:2000:TSL%
		}.
\NAMECITE{paperback}{%
		Streicher:2000:PFM%
		}.
\NAMECITE{papers}{%
		Krieg-Bruckner:1994:MSD,%
		Moller:1995:MPC,%
		vanEijck:2000:TSL,%
		Garavel:2003:SIF%
		}.
\NAMECITE{paradigm}{%
		Manna:1987:OBS,%
		Perrin:1992:CRP%
		}.
\NAMECITE{paragraph}{%
		Bird:1986:TPP,%
		deMoor:1999:BAG%
		}.
\NAMECITE{Parallel}{%
		Maassen:1992:PPD,%
		Martino:2001:PPA,%
		Skillicorn:1993:DPP,%
		Arnold:1989:ESP,%
		Back:1990:SRP,%
		Ebergen:1990:DSM,%
		Fiadeiro:1997:CSP,%
		Gibbons:1994:EPA,%
		Gorlatch:1999:EIL,%
		Gribomont:1993:CTS,%
		Jay:2000:CPP,%
		Klaudel:2001:CHL,%
		Loyens:1990:TSP,%
		Perrin:1992:CRP,%
		Struik:1990:SDP%
		}.
\NAMECITE{parallelization}{%
		Achatz:1996:MPD%
		}.
\NAMECITE{parameterized}{%
		Kirchner:1987:RIG%
		}.
\NAMECITE{parameters}{%
		Cavalcanti:1999:IPP,%
		Morgan:1988:PPA%
		}.
\NAMECITE{Parametric}{%
		Kwak:2002:PAS%
		}.
\NAMECITE{parsing}{%
		Chisholm:1987:DPA,%
		Hesselink:1992:LPD,%
		KrusemanAretz:1989:NAE,%
		Voisin:1986:CTI%
		}.
\NAMECITE{part}{%
		Feijs:1999:RPA%
		}.
\NAMECITE{part-of}{%
		Feijs:1999:RPA%
		}.
\NAMECITE{Partial}{%
		Bueno:1998:POC,%
		Paleri:2003:PRE,%
		Sokolowski:1984:PCT,%
		Boiten:1999:CCC,%
		Meyer:1999:CLP,%
		Osorio:1999:TPO%
		}.
\NAMECITE{partial-order}{%
		Osorio:1999:TPO%
		}.
\NAMECITE{partiality}{%
		Morris:1999:LRE%
		}.
\NAMECITE{Partially}{%
		Baruch:1988:PIS%
		}.
\NAMECITE{Particular}{%
		Partsch:1986:TPD%
		}.
\NAMECITE{partition}{%
		Feijs:1999:RPA%
		}.
\NAMECITE{Partitioning}{%
		vanderNat:1986:ACD%
		}.
\NAMECITE{parts}{%
		Frappier:1996:RCP%
		}.
\NAMECITE{{Pascal}}{%
		Meyer:1999:CLP%
		}.
\NAMECITE{{Pascal}-like}{%
		Meyer:1999:CLP%
		}.
\NAMECITE{passing}{%
		Hennessy:2001:UFI,%
		Stoller:1995:VPU%
		}.
\NAMECITE{path}{%
		Backhouse:1994:CPA,%
		Benaini:1990:SNS%
		}.
\NAMECITE{Paths}{%
		McCurley:1986:DDA,%
		Moller:1994:SPG%
		}.
\NAMECITE{pattern}{%
		Bird:1989:FDP,%
		Cortesi:2000:CAD,%
		Schnoebelen:1988:RCP,%
		Watson:1996:TSM,%
		Watson:2003:BMS%
		}.
\NAMECITE{pattern-matching}{%
		Schnoebelen:1988:RCP%
		}.
\NAMECITE{patterns}{%
		Hall:1989:GFV,%
		Martino:2001:PPA,%
		vanderWoude:1989:PPS%
		}.
\NAMECITE{Paul}{%
		Streicher:2000:PFM%
		}.
\NAMECITE{Performance}{%
		Balbo:2000:PMD,%
		Cortellessa:2002:PUP%
		}.
\NAMECITE{permutation}{%
		Katoen:1996:SAR,%
		Xue:1988:DLA%
		}.
\NAMECITE{permutation-invariant}{%
		Katoen:1996:SAR%
		}.
\NAMECITE{{Peterson}}{%
		vanderSommen:1997:PME%
		}.
\NAMECITE{Petri}{%
		Balbo:2000:PMD,%
		Klaudel:2001:CHL,%
		Rondogiannis:1994:PNB%
		}.
\NAMECITE{{Petri}-net-based}{%
		Rondogiannis:1994:PNB%
		}.
\NAMECITE{pipeline}{%
		Harrison:1995:TPE%
		}.
\NAMECITE{Pitfalls}{%
		Robertson:2002:PFE%
		}.
\NAMECITE{Placement}{%
		Wagner:1984:CQP%
		}.
\NAMECITE{plain}{%
		Hermanns:2000:ACM%
		}.
\NAMECITE{plain-old}{%
		Hermanns:2000:ACM%
		}.
\NAMECITE{plan}{%
		Quilici:2000:PPM,%
		vanDeursen:2000:PPR%
		}.
\NAMECITE{planning}{%
		Luqi:2002:SEB%
		}.
\NAMECITE{player}{%
		Kessels:1990:VPC%
		}.
\NAMECITE{Playing}{%
		vanderWoude:1989:PPS%
		}.
\NAMECITE{{PLUSS}}{%
		Bidoit:1989:HMA%
		}.
\NAMECITE{Point}{%
		Bijlsma:1996:PFS,%
		Ait-Ameur:1999:RRE,%
		Cai:1989:PDF,%
		Martino:2001:PPA%
		}.
\NAMECITE{Point-free}{%
		Bijlsma:1996:PFS%
		}.
\NAMECITE{point-to-point}{%
		Martino:2001:PPA%
		}.
\NAMECITE{pointer}{%
		Butler:1999:CDP,%
		Hind:2001:EEP,%
		Moller:1993:TPA,%
		Venet:1999:AAP%
		}.
\NAMECITE{pointers}{%
		Bijlsma:1989:CP%
		}.
\NAMECITE{points}{%
		Ait-Ameur:1999:RRE,%
		Hankin:1994:AFP%
		}.
\NAMECITE{Poland}{%
		Madey:1997:FSF%
		}.
\NAMECITE{polykinded}{%
		Hinze:2002:PVP%
		}.
\NAMECITE{Polymorphic}{%
		Cardelli:1987:BPT,%
		Nordlander:2002:PSO,%
		Barbuti:1992:BPT,%
		Smith:1998:SPT%
		}.
\NAMECITE{polymorphism}{%
		Duggan:2001:FSI%
		}.
\NAMECITE{Polynomial}{%
		BenCherifa:1987:TRS,%
		Harrison:1995:TPE%
		}.
\NAMECITE{Polytypic}{%
		Hinze:2002:PVP,%
		Jansson:2002:PDC%
		}.
\NAMECITE{portfolio}{%
		Verhoef:2002:QIP%
		}.
\NAMECITE{possess}{%
		Hinze:2002:PVP%
		}.
\NAMECITE{postcondition}{%
		Back:1993:SIS%
		}.
\NAMECITE{\pounds50}{%
		Streicher:2000:PFM%
		}.
\NAMECITE{Power}{%
		Heckmann:1991:PDC,%
		Mitchell:1993:AEP,%
		Felleisen:1991:EPP,%
		Marchand:2001:FVP%
		}.
\NAMECITE{powerlists}{%
		Achatz:1996:MPD%
		}.
\NAMECITE{Practical}{%
		Streicher:2000:PFM,%
		Hehner:1990:PTP%
		}.
\NAMECITE{practice}{%
		Polak:2002:FMP%
		}.
\NAMECITE{pragmatic}{%
		Paleri:2003:PRE%
		}.
\NAMECITE{preconditions}{%
		Lukkien:1994:OSG%
		}.
\NAMECITE{Predicate}{%
		Chandy:1995:PTR,%
		Chandy:1997:EPT,%
		Gardiner:1994:ACP,%
		Naumann:2001:PTS%
		}.
\NAMECITE{prediction}{%
		Ferdinand:1999:CBP%
		}.
\NAMECITE{Preface}{%
		Backhouse:2002:P,%
		Baxter:2000:P,%
		Chikofsky:2002:P,%
		Evans:2002:P,%
		Levi:2001:P,%
		Smith:2001:P,%
		vandenBrand:2003:P%
		}.
\NAMECITE{presence}{%
		Morris:1999:LRE,%
		Ruthing:2001:CMP%
		}.
\NAMECITE{Presentation}{%
		Lengauer:1982:MPCa%
		}.
\NAMECITE{Preserve}{%
		Broy:1986:AIP%
		}.
\NAMECITE{preserving}{%
		Padberg:2001:RBR,%
		Wise:1999:UBE%
		}.
\NAMECITE{Press}{%
		Sangiorgi:2000:CMS,%
		Streicher:2000:PFM%
		}.
\NAMECITE{price}{%
		Streicher:2000:PFM%
		}.
\NAMECITE{{PRIMA}}{%
		Cortellessa:2002:PUP%
		}.
\NAMECITE{{PRIMA-UML}}{%
		Cortellessa:2002:PUP%
		}.
\NAMECITE{Prime}{%
		Pritchard:1987:LPN%
		}.
\NAMECITE{Prime-Number}{%
		Pritchard:1987:LPN%
		}.
\NAMECITE{Primes}{%
		Pritchard:1983:CSN%
		}.
\NAMECITE{primitive}{%
		Abadi:1995:TPO,%
		Rowstron:1998:SLM%
		}.
\NAMECITE{Principal}{%
		Smith:1994:PTS%
		}.
\NAMECITE{Principles}{%
		Manna:1984:APP,%
		Stolen:1996:RPS%
		}.
\NAMECITE{Probabilistic}{%
		He:1997:PMG%
		}.
\NAMECITE{Problem}{%
		Borghoff:1998:CBP,%
		Feijen:1981:BRP,%
		Partsch:1986:TPD,%
		Rem:1982:FSP,%
		Wagner:1984:CQP,%
		Benaini:1990:SNS,%
		Bird:1986:TPP,%
		Bloom:1995:TDI,%
		Michel:1988:DTP,%
		Rowstron:1998:SLM%
		}.
\NAMECITE{problems}{%
		Andrews:1989:MSS,%
		Singh:1993:RCS,%
		Zantema:1992:LSP%
		}.
\NAMECITE{procedure}{%
		Kapus:1997:VXC,%
		Kirchner:1987:RIG%
		}.
\NAMECITE{Procedures}{%
		Morgan:1988:PPA,%
		Cavalcanti:1999:IPP,%
		Fokkinga:1987:CPS,%
		Klaudel:2001:CHL%
		}.
\NAMECITE{Proceedings}{%
		Anonymous:1994:PCF,%
		Jones:1990:EES,%
		Anonymous:1995:PES%
		}.
\NAMECITE{process}{%
		Bos:1997:IDP,%
		Bruns:1997:IAM,%
		Hennessy:2001:UFI,%
		Rondogiannis:1994:PNB%
		}.
\NAMECITE{Processes}{%
		Bergstra:1985:TDA,%
		Francez:1983:ENC,%
		Hoare:1981:CTC,%
		Martin:1985:DME,%
		Misra:1990:SCO,%
		Zielinski:1986:MEP,%
		DeFrancesco:1993:ACN,%
		Jahnke:2002:SIE,%
		Kleist:2002:IOM,%
		Schneider:1997:TRC,%
		Vitek:2003:CPS%
		}.
\NAMECITE{processor}{%
		Fitzpatrick:1997:ATA,%
		Luk:1990:SLP%
		}.
\NAMECITE{processors}{%
		Frost:1996:MPF%
		}.
\NAMECITE{Produce}{%
		Despland:1990:URT%
		}.
\NAMECITE{product}{%
		Cortesi:2000:CAD,%
		Nielson:1994:TPW%
		}.
\NAMECITE{productive}{%
		Guttag:1982:SNP%
		}.
\NAMECITE{{Professor}}{%
		Wada:1996:OPN%
		}.
\NAMECITE{Profiles}{%
		Atkinson:2002:PSM%
		}.
\NAMECITE{Program}{%
		Abrial:1984:MCP,%
		Backhouse:1996:MPC,%
		Broy:1986:AIP,%
		Cai:1989:PDF,%
		Chen:1990:PIM,%
		KrusemanAretz:1988:DLP,%
		Malcolm:1990:DSP,%
		Partsch:1983:ETD,%
		Partsch:1986:TPD,%
		Quilici:2000:PPM,%
		Rem:1982:FSP,%
		Schmitz:1982:EPS,%
		Souquieres:1985:DII,%
		vanAmmers:1998:PCC,%
		vanDeursen:2000:PPR,%
		vanDiepen:1986:PDT,%
		Aiken:1999:ISC,%
		Ayed:2000:CPA,%
		Fiadeiro:1997:CSP,%
		Frappier:1996:RCP,%
		Gorlatch:1999:EIL,%
		Gribomont:1993:CTS,%
		Hankin:1995:LTI,%
		Heisel:1992:FIG,%
		Martino:2001:PPA,%
		Michel:1988:DTP,%
		Moller:1995:MPC,%
		Nickson:1997:SCP,%
		Partsch:1989:IRR,%
		Pepper:1987:SCP,%
		Perrin:1992:CRP,%
		Reps:1991:APP,%
		Shankar:1996:STM,%
		Sorensen:2000:CPT,%
		Storey:2000:HDP,%
		Struik:1990:SDP,%
		Thompson:1990:LFP,%
		deMoor:1999:BAG%
		}.
\NAMECITE{programmers}{%
		Storey:2000:HDP%
		}.
\NAMECITE{Programming}{%
		Anonymous:1991:ESP,%
		Bauer:1981:PWS,%
		Bossi:1996:DLP,%
		Cao:2003:DCM,%
		Chandy:1997:EPT,%
		Dijkstra:1982:ESA,%
		Hoogendijk:1994:RPL,%
		Jones:1990:EES,%
		Josephs:1986:FPS,%
		Komorowski:1987:LPR,%
		Krieg-Bruckner:1994:MSD,%
		Lengauer:1982:MPCa,%
		Lengauer:1982:MPCb,%
		Mitchell:1993:AEP,%
		Rem:1983:SPEa,%
		Rem:1983:SPEb,%
		Rem:1984:SPEa,%
		Rem:1984:SPEb,%
		Rem:1985:SPEa,%
		Rem:1985:SPEb,%
		Rem:1985:SPEc,%
		Rem:1986:SPEa,%
		Rem:1986:SPEb,%
		Rem:1986:SPEc,%
		Rem:1986:SPEd,%
		Rem:1986:SPEe,%
		Rem:1986:SPEf,%
		Rem:1987:SPEa,%
		Rem:1987:SPEb,%
		Rem:1987:SPEc,%
		Rem:1987:SPEd,%
		Rem:1988:SPEa,%
		Vivares:1993:MJP,%
		vanderAalst:2002:CPI,%
		Andrews:1995:FII,%
		Andries:1999:GTS,%
		Apt:1996:ABQ,%
		Baker-Finch:1990:ACT,%
		Banatre:1990:GMD,%
		Barbuti:1992:BPT,%
		Baruch:1988:PIS,%
		Benveniste:1991:SPE,%
		Berry:1992:ESP,%
		Bird:1986:TPP,%
		Cortesi:2000:CAD,%
		Doh:2003:CPL,%
		Felleisen:1991:EPP,%
		Fokkinga:1991:ETP,%
		Halbwachs:1998:ASP,%
		Hehner:1990:PTP,%
		Kamareddine:1992:SCR,%
		Kessels:1990:VPC,%
		Klaudel:2001:CHL,%
		Loyens:1990:TSP,%
		Maassen:1992:PPD,%
		Morris:1987:TBS,%
		Osorio:1999:TPO,%
		Palsberg:1994:STO,%
		Partsch:1989:IRR,%
		Rem:1984:SPEc,%
		Rem:1988:SPEb,%
		Rem:1989:SPE,%
		Rem:1990:SPE,%
		VanHentenryck:1998:NCP,%
		Vogler:1991:FDC,%
		vanGilst:1995:NPT,%
		Anonymous:1995:PES%
		}.
\NAMECITE{Programs}{%
		Broy:1984:SAL,%
		Broy:1988:NDF,%
		Dybjer:1990:CIE,%
		Elrad:1982:DDP,%
		Gerth:1984:PSC,%
		Harrison:1988:LON,%
		Joseph:1987:PRF,%
		Manna:1984:APP,%
		Mason:1988:VPD,%
		Meyer:1985:SPS,%
		Mints:1982:JSS,%
		Nishizaki:1993:PCL,%
		Skillicorn:1993:DPP,%
		Wiltink:1986:TMN,%
		Berghammer:2000:DRP,%
		Bossi:1996:DLP,%
		Brauburger:1999:ADF,%
		Bueno:1998:POC,%
		Comini:2003:AIB,%
		Finance:1985:MLC,%
		Hehner:1999:SPT,%
		Hofstee:1994:DCS,%
		Jansson:2002:PDC,%
		Jay:2000:CPP,%
		Knapp:1992:DCP,%
		Liu:1995:SDI,%
		Loulergue:2000:CFB,%
		Marchand:2001:FVP,%
		Moitra:1985:ACC,%
		Nielson:1987:HLP,%
		Nishimura:1996:IDV,%
		Nitsche:2000:SAF,%
		Palsberg:1997:NAC,%
		Pedreschi:2003:LPA,%
		Rondogiannis:1994:PNB,%
		Smith:1994:PTS,%
		Stoller:1995:VPU,%
		Storey:2000:HDP,%
		Tarlecki:1985:LSP,%
		Venet:1999:AAP,%
		Volpe:2001:FOL,%
		Yi:1998:AIE%
		}.
\NAMECITE{Progression}{%
		Pritchard:1983:CSN%
		}.
\NAMECITE{project}{%
		Arnold:1997:ESE%
		}.
\NAMECITE{projection}{%
		vanderAalst:2002:CPI%
		}.
\NAMECITE{{PROLOG}}{%
		deVink:1990:CSP,%
		Barbuti:1998:TLS,%
		Borger:1995:MDF,%
		Consel:1993:SDG%
		}.
\NAMECITE{Proof}{%
		Apt:1983:PRT,%
		Gerth:1984:PSC,%
		Joseph:1987:PRF,%
		Lamport:1982:ACP,%
		Manna:1984:APP,%
		Berghammer:2000:DRP,%
		Bicarregui:1997:MMF,%
		Fokkinga:1987:CPS,%
		Henglein:1994:DTS,%
		Nielson:1987:HLP,%
		Reade:1992:BTR%
		}.
\NAMECITE{Proofs}{%
		Curtis:1996:PG%
		}.
\NAMECITE{Propagation}{%
		Zielinski:1986:MEP,%
		Larcheveque:1994:ITP,%
		Pepper:1997:HDG%
		}.
\NAMECITE{Properties}{%
		Manna:1984:APP,%
		Antoniol:2001:DCT,%
		Padberg:2001:RBR,%
		Reps:1991:APP,%
		Scholefield:1995:PPR,%
		Volpe:2001:FOL%
		}.
\NAMECITE{protocol}{%
		Bozga:2000:VTG,%
		Usenko:2002:SSG%
		}.
\NAMECITE{protocols}{%
		Bergstra:1997:GPB,%
		Borghoff:1998:CBP,%
		Fernandez:1997:EAG,%
		Koomen:1985:ASV,%
		Monniaux:2003:ACP,%
		Tel:1988:DGM%
		}.
\NAMECITE{Prototyping}{%
		Komorowski:1987:LPR%
		}.
\NAMECITE{provably}{%
		Paleri:2003:PRE%
		}.
\NAMECITE{provide}{%
		Rowstron:2003:UMC%
		}.
\NAMECITE{Proving}{%
		Despland:1990:URT,%
		Scholefield:1995:PPR%
		}.
\NAMECITE{Publications}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{pure}{%
		Barbuti:1998:TLS%
		}.
\NAMECITE{purely}{%
		Frost:1996:MPF,%
		Giegerich:1995:CIP%
		}.
\NAMECITE{putting}{%
		Guttag:1982:SNP%
		}.
\NAMECITE{{PVS}}{%
		Shankar:1996:STM%
		}.


\NAMECITE{quadratic}{%
		Banerjee:1992:TSC%
		}.
\NAMECITE{qualified}{%
		Jones:1994:TQT%
		}.
\NAMECITE{quantification}{%
		Apt:1996:ABQ%
		}.
\NAMECITE{Quantitative}{%
		Verhoef:2002:QIP%
		}.
\NAMECITE{Queen}{%
		Wagner:1984:CQP%
		}.
\NAMECITE{queues}{%
		Broy:1988:VQ%
		}.


\NAMECITE{railway}{%
		Hartonas-Garmhausen:2000:VSC,%
		Morley:1997:SCR%
		}.
\NAMECITE{Rankers}{%
		Singh:1993:RCS%
		}.
\NAMECITE{Rapid}{%
		Komorowski:1987:LPR%
		}.
\NAMECITE{rational}{%
		Ait-Ameur:1999:RRE,%
		Hall:1989:GFV%
		}.
\NAMECITE{{rd}}{%
		Rowstron:1998:SLM%
		}.
\NAMECITE{reactive}{%
		Ledru:1993:DRS,%
		vonKarger:2000:CAR%
		}.
\NAMECITE{ready}{%
		Bloom:1995:TDI%
		}.
\NAMECITE{Real}{%
		Kurki-Suonio:1993:RTS,%
		Ait-Ameur:1999:RRE,%
		Attanasio:2003:SAR,%
		Bradley:2001:FDL,%
		Ciapessoni:1993:ETG,%
		Hartonas-Garmhausen:2000:VSC,%
		Hayes:2002:RAR,%
		Kwak:2002:PAS,%
		Scholefield:1995:PPR%
		}.
\NAMECITE{Real-time}{%
		Kurki-Suonio:1993:RTS,%
		Attanasio:2003:SAR,%
		Bradley:2001:FDL,%
		Ciapessoni:1993:ETG,%
		Hartonas-Garmhausen:2000:VSC,%
		Hayes:2002:RAR,%
		Kwak:2002:PAS,%
		Scholefield:1995:PPR%
		}.
\NAMECITE{realization}{%
		Minas:2002:CRD%
		}.
\NAMECITE{Reasoning}{%
		Chandy:1990:RAC,%
		Gardiner:1992:RAA,%
		Hayes:2002:RAR,%
		Chandy:1995:PTR,%
		Chandy:1997:EPT,%
		Morris:1999:LRE,%
		Nipkow:1989:ERI%
		}.
\NAMECITE{recognition}{%
		Katoen:1996:SAR,%
		vanDeursen:2000:PPR%
		}.
\NAMECITE{Recognizer}{%
		Partsch:1984:STD%
		}.
\NAMECITE{Reconciling}{%
		Garlan:2002:RNA%
		}.
\NAMECITE{reconfiguration}{%
		Wermelinger:2002:GTA%
		}.
\NAMECITE{reconsidered}{%
		Mateti:1988:MTT%
		}.
\NAMECITE{reconstructing}{%
		Berghammer:2000:DRP%
		}.
\NAMECITE{record}{%
		Naumann:2001:PTS%
		}.
\NAMECITE{Recovery}{%
		Boullier:1987:NER,%
		Cifuentes:2001:RJT,%
		Antoniol:2001:DCT,%
		Girard:2000:CAD%
		}.
\NAMECITE{Recurrences}{%
		Cai:19xx:CRU%
		}.
\NAMECITE{Recursion}{%
		Heilbrunner:1982:TRR,%
		Gardiner:1992:RAA%
		}.
\NAMECITE{Recursive}{%
		Bondorf:1991:AAH,%
		Bondorf:1991:AAR,%
		Giannotti:1987:SES,%
		Boiten:1992:IRF,%
		Liu:2003:EDC%
		}.
\NAMECITE{reduce}{%
		Bellegarde:1986:RSF%
		}.
\NAMECITE{reduction}{%
		DeFrancesco:1998:SSRb,%
		Fernandez:2003:SSR,%
		Gries:1989:ATR%
		}.
\NAMECITE{Reductivity}{%
		Doornbos:1996:R%
		}.
\NAMECITE{redundancy}{%
		Paleri:2003:PRE%
		}.
\NAMECITE{reengineering}{%
		Jahnke:2002:SIE%
		}.
\NAMECITE{Refined}{%
		Schnoebelen:1988:RCP%
		}.
\NAMECITE{Refinement}{%
		Ait-Ameur:1999:RRE,%
		Stolen:1996:RPS,%
		Back:1990:SRP,%
		Butler:1996:SRC,%
		Cavalcanti:1999:IPP,%
		Gribomont:1990:SRC,%
		Hayes:1996:SMR,%
		Jones:1994:DAC,%
		Morgan:1990:TIR,%
		Morris:1987:TBS,%
		Nickson:1997:SCP,%
		Padberg:2001:RBR,%
		Schneider:1997:TRC,%
		Semini:1999:RCT%
		}.
\NAMECITE{refinements}{%
		vanAmmers:1998:PCC%
		}.
\NAMECITE{register}{%
		Jongejan:1992:CTR%
		}.
\NAMECITE{registers}{%
		Anderson:1992:BAR%
		}.
\NAMECITE{regular}{%
		Kaldewaij:1990:SDA,%
		Mateescu:2003:EFM,%
		Watson:2003:BMS%
		}.
\NAMECITE{regularity}{%
		Banach:1995:RSD%
		}.
\NAMECITE{Relation}{%
		Feijs:1999:RPA,%
		Schmitz:1982:EPS%
		}.
\NAMECITE{Relational}{%
		Hoogendijk:1994:RPL,%
		Berghammer:2000:DRP,%
		Frappier:1996:RCP%
		}.
\NAMECITE{relations}{%
		Benveniste:1991:SPE,%
		Feijs:1999:RPA,%
		Mauborgne:2003:IRT,%
		Perrin:1992:CRP,%
		Sousa:2002:CRA%
		}.
\NAMECITE{remarks}{%
		Ghezzi:1993:GER%
		}.
\NAMECITE{Removal}{%
		Heilbrunner:1982:TRR%
		}.
\NAMECITE{removals}{%
		Reade:1992:BTR%
		}.
\NAMECITE{renaming}{%
		Moir:1995:WFA,%
		Moir:1998:FLL%
		}.
\NAMECITE{Rennes}{%
		Krieg-Bruckner:1994:MSD%
		}.
\NAMECITE{renovation}{%
		Brunekreef:2002:TUC,%
		vandenBrand:2000:GCS%
		}.
\NAMECITE{Repair}{%
		Boullier:1987:NER%
		}.
\NAMECITE{Repeated}{%
		Misra:1982:FRE%
		}.
\NAMECITE{repetitions}{%
		Hayes:2002:RAR%
		}.
\NAMECITE{Report}{%
		Guttag:1986:RLS,%
		Heimdahl:2000:ANW%
		}.
\NAMECITE{representation}{%
		Mauborgne:2003:IRT%
		}.
\NAMECITE{Representations}{%
		Schoett:1990:BCD%
		}.
\NAMECITE{representing}{%
		Gelfond:2002:MRK%
		}.
\NAMECITE{requirements}{%
		Dardenne:1993:GRA,%
		Heimdahl:2000:ANW,%
		Kluzniak:1997:SLL,%
		Partsch:1989:IRR%
		}.
\NAMECITE{Reshuffling}{%
		Feijen:1981:BRP%
		}.
\NAMECITE{Resolution}{%
		Helmink:1991:RTT%
		}.
\NAMECITE{resolving}{%
		Abramov:2002:URA%
		}.
\NAMECITE{Restructuring}{%
		Sellink:2002:RCC,%
		Martino:2001:PPA%
		}.
\NAMECITE{reuse}{%
		Hayes:1996:SMR%
		}.
\NAMECITE{Reverse}{%
		Baxter:2000:RER,%
		Sousa:2002:CRA%
		}.
\NAMECITE{Reversing}{%
		Hughes:1994:RAI%
		}.
\NAMECITE{{REVEUR}}{%
		Kirchner:1987:RIG%
		}.
\NAMECITE{{REVEUR-3}}{%
		Kirchner:1987:RIG%
		}.
\NAMECITE{review}{%
		Anonymous:1999:BR,%
		Simpson:1998:BR%
		}.
\NAMECITE{revisited}{%
		vanderSommen:1997:PME%
		}.
\NAMECITE{Rewriting}{%
		Bellegarde:1986:RSF,%
		BenCherifa:1987:TRS,%
		Despland:1990:URT,%
		Paulson:1983:HOI,%
		Kosiuczenko:1997:TRL,%
		Reade:1992:BTR%
		}.
\NAMECITE{{Richardson}}{%
		Berghammer:2000:DRP%
		}.
\NAMECITE{right}{%
		vandenEijnde:1990:LBR%
		}.
\NAMECITE{right-top}{%
		vandenEijnde:1990:LBR%
		}.
\NAMECITE{Ring}{%
		Martin:1985:DME,%
		Garavel:1997:SVV%
		}.
\NAMECITE{roads}{%
		Kamareddine:1992:SCR%
		}.
\NAMECITE{Robin}{%
		Sangiorgi:2000:CMS%
		}.
\NAMECITE{routing}{%
		Moreau:2001:DDS%
		}.
\NAMECITE{{Ruby}}{%
		Jones:1994:DAC%
		}.
\NAMECITE{Rule}{%
		Padberg:2001:RBR,%
		Harrison:1995:TPE%
		}.
\NAMECITE{Rule-based}{%
		Padberg:2001:RBR%
		}.
\NAMECITE{Rules}{%
		Joseph:1987:PRF,%
		Apt:1983:PRT%
		}.
\NAMECITE{running}{%
		Partsch:1989:IRR%
		}.


\NAMECITE{s}{%
		Anonymous:1999:BR,%
		Anonymous:1999:E,%
		Anonymous:2000:Ea,%
		Watson:2003:NAC%
		}.
\NAMECITE{safe}{%
		Maraninchi:2003:MAN%
		}.
\NAMECITE{Safety}{%
		Morley:1997:SCR,%
		Hartonas-Garmhausen:2000:VSC,%
		Padberg:2001:RBR%
		}.
\NAMECITE{safety-critical}{%
		Hartonas-Garmhausen:2000:VSC%
		}.
\NAMECITE{Safety-level}{%
		Morley:1997:SCR%
		}.
\NAMECITE{scaling}{%
		Thatte:1991:TSI%
		}.
\NAMECITE{scheduling}{%
		Kwak:2002:PAS%
		}.
\NAMECITE{schemas}{%
		Baruch:1988:PIS,%
		Sousa:2002:CRA%
		}.
\NAMECITE{Scheme}{%
		Boullier:1987:NER%
		}.
\NAMECITE{schemes}{%
		Smith:1994:PTS%
		}.
\NAMECITE{Sci}{%
		Chandy:1997:EPT,%
		Dijkstra:1982:ESA,%
		vanderAalst:2002:CPI%
		}.
\NAMECITE{Screen}{%
		Meyer:1985:SPS%
		}.
\NAMECITE{Script}{%
		Francez:1986:SCA%
		}.
\NAMECITE{search}{%
		Manna:1987:OBS,%
		Pepper:1997:HDG%
		}.
\NAMECITE{Searching}{%
		Kaldewaij:1990:SE,%
		Pritchard:1983:CSN,%
		vanderWoude:1989:PPS%
		}.
\NAMECITE{{Second}}{%
		Abadi:1995:TPO%
		}.
\NAMECITE{{Second-order}}{%
		Abadi:1995:TPO%
		}.
\NAMECITE{secure}{%
		Joshi:2000:SAS,%
		Vitek:2003:CPS%
		}.
\NAMECITE{segment}{%
		Zantema:1992:LSP%
		}.
\NAMECITE{segments}{%
		Katoen:1996:SAR,%
		vandenEijnde:1990:LBR%
		}.
\NAMECITE{Selected}{%
		Krieg-Bruckner:1994:MSD,%
		vanEijck:2000:TSL,%
		Garavel:2003:SIF,%
		Moller:1995:MPC%
		}.
\NAMECITE{selecting}{%
		Antoniol:2001:DCT%
		}.
\NAMECITE{Semantic}{%
		Best:1989:SI,%
		Joshi:2000:SAS,%
		Kneuper:1991:SES,%
		Moran:2003:EFS%
		}.
\NAMECITE{Semantics}{%
		Consel:1993:SDG,%
		Jay:1995:SS,%
		Kolbl:1987:LFS,%
		Barbuti:1983:SAS,%
		Barbuti:1998:TLS,%
		Benveniste:1991:SPE,%
		Berry:1992:ESP,%
		Bossi:1996:DLP,%
		Bueno:1998:POC,%
		Clarke:2002:ESU,%
		DeFrancesco:1998:SSRb,%
		Doh:2003:CPL,%
		Edwards:2003:SES,%
		Fiadeiro:1997:CSP,%
		Janicki:2001:FST,%
		Klaudel:2001:CHL,%
		Levi:2001:SSA,%
		Lukkien:1994:OSG,%
		Montenyohl:1991:CSF,%
		Naumann:2001:PTS,%
		Seaman:1996:OSS,%
		deVink:1990:CSP%
		}.
\NAMECITE{Semantics-directed}{%
		Consel:1993:SDG%
		}.
\NAMECITE{semaphores}{%
		Scholefield:1995:PPR%
		}.
\NAMECITE{semilattices}{%
		Rehof:1999:TCF%
		}.
\NAMECITE{separate}{%
		Morgan:1988:PPA%
		}.
\NAMECITE{Sequence}{%
		Engels:2002:HCM%
		}.
\NAMECITE{{SequenceL}}{%
		Cooke:2002:ACS%
		}.
\NAMECITE{sequences}{%
		Bellegarde:1986:RSF%
		}.
\NAMECITE{sequential}{%
		Desharnais:1993:MSD,%
		Hofstee:1994:DCS,%
		Moitra:1985:ACC%
		}.
\NAMECITE{sequentialization}{%
		Arnold:1989:ESP%
		}.
\NAMECITE{serial}{%
		Ebergen:1990:DSM%
		}.
\NAMECITE{serial-parallel}{%
		Ebergen:1990:DSM%
		}.
\NAMECITE{Series}{%
		Balbo:2000:PMD,%
		vanEijck:2000:TSL%
		}.
\NAMECITE{Service}{%
		Tolksdorf:1998:LSB,%
		Moreau:2001:DDS%
		}.
\NAMECITE{Service-Based}{%
		Tolksdorf:1998:LSB%
		}.
\NAMECITE{Services}{%
		Andreoli:1998:MND%
		}.
\NAMECITE{Set}{%
		Hoogendijk:1994:RPL,%
		Aiken:1999:ISC%
		}.
\NAMECITE{Shape}{%
		Jay:1995:SS%
		}.
\NAMECITE{Shapeliness}{%
		Nitsche:2000:SAF%
		}.
\NAMECITE{shapes}{%
		Jay:2000:CPP%
		}.
\NAMECITE{Shared}{%
		Guttag:1986:LSL,%
		Guttag:1986:RLS,%
		Brogi:2003:ECS%
		}.
\NAMECITE{sharing}{%
		Seaman:1996:OSS,%
		Volpe:2001:FOL%
		}.
\NAMECITE{Shorter}{%
		Moller:1994:SPG%
		}.
\NAMECITE{Showing}{%
		Meyer:1985:SPS%
		}.
\NAMECITE{Side}{%
		Josephs:1986:FPS%
		}.
\NAMECITE{Side-Effects}{%
		Josephs:1986:FPS%
		}.
\NAMECITE{Sieves}{%
		Pritchard:1987:LPN%
		}.
\NAMECITE{signal}{%
		Marchand:2001:FVP,%
		Benveniste:1991:SPE%
		}.
\NAMECITE{Simple}{%
		Shyamasundar:1984:SLF,%
		Paleri:2003:PRE,%
		Pepper:1987:SCP%
		}.
\NAMECITE{simplified}{%
		Moir:1998:FLL%
		}.
\NAMECITE{simply}{%
		Banerjee:1998:SST%
		}.
\NAMECITE{simply-typed}{%
		Banerjee:1998:SST%
		}.
\NAMECITE{simulation}{%
		Bloom:1995:TDI%
		}.
\NAMECITE{single}{%
		Wah:2003:ACE%
		}.
\NAMECITE{Situ}{%
		Dijkstra:1982:SAS,%
		Dijkstra:1982:ESA,%
		Kaldewaij:1995:MSD%
		}.
\NAMECITE{skeletons}{%
		Emerson:1982:UBT%
		}.
\NAMECITE{slices}{%
		Nishimura:1996:IDV%
		}.
\NAMECITE{slicing}{%
		Francel:2001:VSW%
		}.
\NAMECITE{Small}{%
		Rem:1983:SPEa,%
		Rem:1983:SPEb,%
		Rem:1984:SPEa,%
		Rem:1984:SPEb,%
		Rem:1984:SPEc,%
		Rem:1985:SPEa,%
		Rem:1985:SPEb,%
		Rem:1985:SPEc,%
		Rem:1986:SPEa,%
		Rem:1986:SPEb,%
		Rem:1986:SPEc,%
		Rem:1986:SPEd,%
		Rem:1986:SPEe,%
		Rem:1986:SPEf,%
		Rem:1987:SPEa,%
		Rem:1987:SPEb,%
		Rem:1987:SPEc,%
		Rem:1987:SPEd,%
		Rem:1988:SPEa,%
		Rem:1988:SPEb,%
		Rem:1989:SPE,%
		Rem:1990:SPE,%
		Loyens:1990:TSP%
		}.
\NAMECITE{smallest}{%
		Bird:1992:SU%
		}.
\NAMECITE{smart}{%
		Abadi:1993:ADS%
		}.
\NAMECITE{smart-cards}{%
		Abadi:1993:ADS%
		}.
\NAMECITE{Smoothsort}{%
		Dijkstra:1982:ESA,%
		Dijkstra:1982:SAS%
		}.
\NAMECITE{Software}{%
		Anonymous:1994:PCF,%
		Astesiano:2001:FAS,%
		Lucena:1995:FDE,%
		Luqi:2002:SEB,%
		Arnold:1997:ESE,%
		Banach:1995:RSD,%
		Bergstra:1998:DTT,%
		Berry:2000:EFM,%
		Brunekreef:2002:TUC,%
		Canal:2001:CIS,%
		Chaumun:2002:CIM,%
		Grieskamp:2001:SES,%
		Heimdahl:2000:ANW,%
		Krieg-Bruckner:1994:MSD,%
		Wermelinger:2002:GTA,%
		Wing:1997:CSM,%
		vandenBrand:2000:GCS,%
		vanderAalst:2002:CBS%
		}.
\NAMECITE{solution}{%
		Bloom:1995:TDI%
		}.
\NAMECITE{solver}{%
		Fecht:1999:FSG%
		}.
\NAMECITE{Solving}{%
		Borghoff:1998:CBP,%
		Rowstron:1998:SLM,%
		Andrews:1989:MSS,%
		Banerjee:1992:TSC%
		}.
\NAMECITE{Some}{%
		Guttag:1982:SNP,%
		Kaldewaij:1987:SAB,%
		Sun:1987:DSE,%
		Berry:2002:FMV%
		}.
\NAMECITE{Sort}{%
		vanderNat:1986:ACD%
		}.
\NAMECITE{Sorting}{%
		Dijkstra:1982:SAS,%
		Dijkstra:1982:ESA,%
		Fokkinga:1987:CPS,%
		Hofstee:1990:DS%
		}.
\NAMECITE{sound}{%
		Smith:1998:SPT%
		}.
\NAMECITE{soundness}{%
		Requet:2003:BME%
		}.
\NAMECITE{source}{%
		Morris:2002:SIT%
		}.
\NAMECITE{Space}{%
		Rem:1982:FSP,%
		DeFrancesco:1998:SSRb,%
		Fernandez:2003:SSR,%
		Rowstron:2003:UMC,%
		Sorensen:2000:CPT,%
		Usenko:2002:SSG%
		}.
\NAMECITE{Spaces}{%
		Ciancarini:1998:LCM,%
		Omicini:2001:TST,%
		Semini:1999:RCT,%
		Vitek:2003:CPS%
		}.
\NAMECITE{Spanning}{%
		Katajainen:1983:AIK%
		}.
\NAMECITE{Special}{%
		Garavel:2003:SIF%
		}.
\NAMECITE{specific}{%
		Maraninchi:2003:MAN%
		}.
\NAMECITE{Specification}{%
		Garavel:1997:SVV,%
		KrusemanAretz:1988:DLP,%
		London:1982:ISF,%
		Singh:1991:SCO,%
		Sufrin:1982:FSD,%
		Andries:1999:GTS,%
		Berghammer:1988:TAS,%
		Bicarregui:1997:MMF,%
		Bidoit:1989:HMA,%
		Boiten:1999:CCC,%
		Carreira:2003:AVO,%
		Ciapessoni:1993:ETG,%
		Koomen:1985:ASV,%
		Kosiuczenko:1997:TRL,%
		Kurki-Suonio:1993:RTS,%
		Kwak:2002:PAS,%
		Partsch:1989:IRR%
		}.
\NAMECITE{Specifications}{%
		Hehner:1999:SPT,%
		Skillicorn:1993:DPP,%
		Bidoit:1989:HMA,%
		Bidoit:1995:BAS,%
		Collette:1994:CAC,%
		Fitzpatrick:1997:ATA,%
		Giannotti:1994:GSL,%
		Guttag:1982:SNP,%
		Kluzniak:1997:SLL,%
		Madey:1997:FSF,%
		Schobbens:1993:EAS,%
		Scholz:2001:IDS,%
		Steffen:1993:GDF%
		}.
\NAMECITE{specified}{%
		Iglewski:1997:IDM,%
		Marchand:2001:FVP,%
		Tarlecki:1985:LSP%
		}.
\NAMECITE{specify}{%
		Kahn:1983:MFS%
		}.
\NAMECITE{Specifying}{%
		Back:1996:SCA,%
		Grieskamp:2001:SES,%
		Misra:1990:SCO,%
		Ebergen:1992:AES%
		}.
\NAMECITE{Spectrum}{%
		Bauer:1981:PWS%
		}.
\NAMECITE{Spill}{%
		Kluzniak:1997:SLL%
		}.
\NAMECITE{splitting}{%
		Giannotti:1994:GSL%
		}.
\NAMECITE{{SSCOP}}{%
		Bozga:2000:VTG%
		}.
\NAMECITE{stack}{%
		Schmidt:1988:DSB%
		}.
\NAMECITE{stack-based}{%
		Schmidt:1988:DSB%
		}.
\NAMECITE{Stackability}{%
		Banerjee:1998:SST%
		}.
\NAMECITE{Standard}{%
		Gries:1982:NSS,%
		Yi:1998:AIE,%
		Clarke:2002:ESU,%
		DeFrancesco:1998:SSRb%
		}.
\NAMECITE{Stanford}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{State}{%
		DeFrancesco:1998:SSRb,%
		Fernandez:2003:SSR,%
		Joseph:1986:SMA,%
		Usenko:2002:SSG,%
		Bouajjani:1992:MSG,%
		Gribomont:1990:SRC,%
		Heimdahl:2000:ANW%
		}.
\NAMECITE{state-based}{%
		Heimdahl:2000:ANW%
		}.
\NAMECITE{statechart}{%
		Scholz:2001:IDS%
		}.
\NAMECITE{statecharts}{%
		Grieskamp:2001:SES,%
		Harel:1987:SVF%
		}.
\NAMECITE{Statement}{%
		Back:1993:SIS%
		}.
\NAMECITE{statements}{%
		Cifuentes:2001:RJT%
		}.
\NAMECITE{Static}{%
		Attanasio:2003:SAR,%
		Cortesi:2003:SA,%
		Palsberg:1994:STO,%
		Sethi:1982:CEE,%
		Barbuti:1983:SAS,%
		Montenyohl:1991:CSF%
		}.
\NAMECITE{station}{%
		Marchand:2001:FVP%
		}.
\NAMECITE{Steam}{%
		Carreira:2003:AVO%
		}.
\NAMECITE{Steam-Boiler}{%
		Carreira:2003:AVO%
		}.
\NAMECITE{Steps}{%
		Shankar:1996:STM%
		}.
\NAMECITE{Stepwise}{%
		Back:1990:SRP,%
		Butler:1996:SRC,%
		Gribomont:1990:SRC,%
		Morris:1987:TBS%
		}.
\NAMECITE{Stochastic}{%
		Balbo:2000:PMD%
		}.
\NAMECITE{stop}{%
		Seidl:1998:CSD%
		}.
\NAMECITE{Stores}{%
		Astesiano:1999:SHT%
		}.
\NAMECITE{Strategies}{%
		Bowman:1999:SCC,%
		Kirchner:1987:RIG%
		}.
\NAMECITE{Strategy}{%
		Gries:1982:NSS,%
		Smith:1987:ASD,%
		Mota:2001:MCC%
		}.
\NAMECITE{Strengthening}{%
		Liu:2001:SIE%
		}.
\NAMECITE{strict}{%
		Atkinson:2002:PSM%
		}.
\NAMECITE{Strictness}{%
		Burn:1986:SAH,%
		LacknerSolbergGasser:1998:STA,%
		Hall:1989:GFV%
		}.
\NAMECITE{Strikes}{%
		Emerson:1987:MMC%
		}.
\NAMECITE{String}{%
		Heilbrunner:1982:TRR%
		}.
\NAMECITE{strings}{%
		vanderWoude:1989:PPS%
		}.
\NAMECITE{strongest}{%
		Back:1993:SIS%
		}.
\NAMECITE{Structural}{%
		Giannotti:1987:SES,%
		Mints:1982:JSS,%
		Elseaidy:1997:MVA%
		}.
\NAMECITE{Structure}{%
		Partsch:1983:ETD,%
		Kaldewaij:1995:MSD,%
		Michel:1988:DTP,%
		Rees:2003:ASI%
		}.
\NAMECITE{Structured}{%
		Fradet:1998:SG,%
		Astesiano:1999:SHT,%
		Barbuti:1983:SAS,%
		Vogler:1991:FDC%
		}.
\NAMECITE{Structures}{%
		Malcolm:1990:DSP,%
		Szymanski:1988:EHD,%
		Maassen:1992:PPD,%
		Michel:1988:DTP,%
		Tennent:1989:EDS%
		}.
\NAMECITE{Structuring}{%
		Partsch:1984:STD%
		}.
\NAMECITE{Studies}{%
		Streicher:2000:PFM,%
		vanEijck:2000:TSL%
		}.
\NAMECITE{Study}{%
		Partsch:1984:STD,%
		Pritchard:1983:CSN,%
		Bellegarde:1994:SFM,%
		Partsch:1989:IRR,%
		Vogler:1991:FDC,%
		Wing:1997:CSM,%
		vanDeursen:2001:ESC%
		}.
\NAMECITE{style}{%
		Collette:1994:CAC,%
		Danvy:1994:BDS,%
		Kapus:1997:VXC,%
		Watson:2003:BMS%
		}.
\NAMECITE{sublinear}{%
		Watson:1996:TSM%
		}.
\NAMECITE{subset}{%
		Requet:2003:BME,%
		Tonella:2002:CSC%
		}.
\NAMECITE{subsets}{%
		Rayside:2002:EJL%
		}.
\NAMECITE{Substitution}{%
		Bellegarde:1994:SFM,%
		Bijlsma:1996:PFS,%
		Cavalcanti:1999:IPP%
		}.
\NAMECITE{subtype}{%
		Duggan:2001:FSI%
		}.
\NAMECITE{subtyping}{%
		Naumann:2001:PTS,%
		Nordlander:2002:PSO,%
		Smith:1994:PTS%
		}.
\NAMECITE{succeed}{%
		Pedreschi:2003:LPA%
		}.
\NAMECITE{suffix}{%
		Giegerich:1995:CIP%
		}.
\NAMECITE{suites}{%
		Fernandez:1997:EAG%
		}.
\NAMECITE{supercombinator}{%
		Bird:1987:FDE%
		}.
\NAMECITE{support}{%
		Mota:2001:MCC%
		}.
\NAMECITE{Supporting}{%
		Hayes:1996:SMR,%
		Jahnke:2002:SIE,%
		Nickson:1997:SCP,%
		Hussmann:2002:MAT,%
		Stolen:1996:RPS%
		}.
\NAMECITE{Switching}{%
		Shyamasundar:1984:SLF%
		}.
\NAMECITE{Symbolic}{%
		Campos:1997:STF,%
		Giannotti:1987:SES,%
		Kneuper:1991:SES,%
		Levi:2001:SSA%
		}.
\NAMECITE{Symposium}{%
		Anonymous:1991:ESP,%
		Anonymous:1995:PES,%
		Jones:1990:EES,%
		Krieg-Bruckner:1994:MSD,%
		vanEijck:2000:TSL%
		}.
\NAMECITE{synchronization}{%
		Aldrich:2003:CSE,%
		Andrews:1989:MSS,%
		Emerson:1982:UBT,%
		Singh:1993:RCS%
		}.
\NAMECITE{Synchronous}{%
		Benveniste:1991:SPE,%
		Bergstra:1997:GPB,%
		Berry:1992:ESP,%
		Ciapessoni:1993:ETG,%
		Edwards:2003:SES,%
		Halbwachs:1998:ASP,%
		Stolen:1996:RPS%
		}.
\NAMECITE{Syntactic}{%
		Boullier:1987:NER%
		}.
\NAMECITE{syntax}{%
		Henglein:1994:DTS%
		}.
\NAMECITE{Synthesis}{%
		Benaini:1990:SNS,%
		Manna:1981:DSU,%
		Mints:1982:JSS,%
		Schmitz:1982:EPS%
		}.
\NAMECITE{synthesize}{%
		Emerson:1982:UBT%
		}.
\NAMECITE{System}{%
		Gerth:1984:PSC,%
		Burgess:2003:TSA,%
		Carreira:2003:AVO,%
		Hartonas-Garmhausen:2000:VSC,%
		Hedin:2003:JAO,%
		Hermanns:2000:ACM,%
		Kamareddine:1992:SCR,%
		Nielson:1987:HLP,%
		Robertson:2002:PFE,%
		Smith:1998:SPT,%
		Thatte:1991:TSI%
		}.
\NAMECITE{Systematic}{%
		Best:1981:SDE,%
		Broy:1984:SAL,%
		Liu:1995:SDI,%
		Madhukar:1995:SDA,%
		Gribomont:1993:CTS,%
		Struik:1990:SDP%
		}.
\NAMECITE{Systems}{%
		Balbo:2000:PMD,%
		Bellegarde:1986:RSF,%
		BenCherifa:1987:TRS,%
		Campos:1997:STF,%
		Garavel:2003:SIF,%
		Harel:1987:SVF,%
		Joseph:1986:SMA,%
		Lucena:1995:FDE,%
		Sangiorgi:2000:CMS,%
		Stoye:1986:MFO,%
		Zielinski:1986:MEP,%
		Abadi:1995:TPO,%
		Andrews:1995:FII,%
		Attanasio:2003:SAR,%
		Bagnara:1998:HCS,%
		Bradley:2001:FDL,%
		Butler:1996:SRC,%
		Chandy:1990:RAC,%
		Chaumun:2002:CIM,%
		Ciapessoni:1993:ETG,%
		Cleaveland:2002:GTV,%
		Elseaidy:1997:MVA,%
		Fecht:1999:FSG,%
		Grieskamp:2001:SES,%
		Groote:2001:ATH,%
		Ledru:1993:DRS,%
		Luqi:2002:SEB,%
		Maraninchi:2003:MAN,%
		Parnas:1995:FDC,%
		Prasad:1995:CBS,%
		Rayside:2002:EJL,%
		Sellink:2002:RCC,%
		Volker:2002:AVF,%
		Wing:1997:CSM,%
		vonKarger:2000:CAR%
		}.
\NAMECITE{Systolic}{%
		Katoen:1996:SAR,%
		Benaini:1990:SNS,%
		Kaldewaij:1990:DSC,%
		Kaldewaij:1990:SDA,%
		Luk:1990:SLP%
		}.


\NAMECITE{table}{%
		Cifuentes:2001:RJT%
		}.
\NAMECITE{tabular}{%
		Janicki:2001:FST%
		}.
\NAMECITE{tactics}{%
		Smith:1990:ATD%
		}.
\NAMECITE{taxonomy}{%
		Watson:1996:TSM%
		}.
\NAMECITE{Taylor}{%
		Streicher:2000:PFM%
		}.
\NAMECITE{Tbilisi}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{Technique}{%
		Heilbrunner:1982:TRR,%
		Banerjee:1992:TSC,%
		vanGilst:1995:NPT%
		}.
\NAMECITE{Techniques}{%
		Campos:1997:STF,%
		Despland:1990:URT,%
		Girard:2000:CAD,%
		Krieg-Bruckner:1994:MSD%
		}.
\NAMECITE{technology}{%
		Fernandez:1997:EAG%
		}.
\NAMECITE{telephone}{%
		Hermanns:2000:ACM%
		}.
\NAMECITE{temporal}{%
		Emerson:1982:UBT%
		}.
\NAMECITE{tensor}{%
		Nielson:1994:TPW%
		}.
\NAMECITE{Term}{%
		Sokolowski:1984:PCT%
		}.
\NAMECITE{Term-Wise}{%
		Sokolowski:1984:PCT%
		}.
\NAMECITE{terminating}{%
		Hayes:2002:RAR%
		}.
\NAMECITE{Termination}{%
		BenCherifa:1987:TRS,%
		Tel:1988:DGM%
		}.
\NAMECITE{test}{%
		Bozga:2000:VTG,%
		Fernandez:1997:EAG,%
		Wah:2003:ACE%
		}.
\NAMECITE{testable}{%
		Kluzniak:1997:SLL%
		}.
\NAMECITE{testing}{%
		Bicarregui:1997:MMF%
		}.
\NAMECITE{Text}{%
		Sufrin:1982:FSD%
		}.
\NAMECITE{their}{%
		Astesiano:1999:SHT,%
		Martino:2001:PPA,%
		Mauborgne:2003:IRT%
		}.
\NAMECITE{them}{%
		Despland:1990:URT%
		}.
\NAMECITE{Theorem}{%
		Kaldewaij:1987:SAB,%
		Berghammer:2000:DRP%
		}.
\NAMECITE{Theorems}{%
		Sun:1987:DSE%
		}.
\NAMECITE{Theoretic}{%
		Pritchard:1983:CSN%
		}.
\NAMECITE{theoretical}{%
		Morris:1987:TBS%
		}.
\NAMECITE{theories}{%
		Kirchner:1987:RIG,%
		Morris:2002:SIT,%
		Smith:1990:ATD%
		}.
\NAMECITE{Theory}{%
		Helmink:1991:RTT,%
		Osorio:1999:TPO,%
		Abadi:1995:TPO,%
		Burgess:2003:TSA,%
		Chisholm:1987:DPA,%
		Hehner:1990:PTP,%
		Henglein:1994:DTS,%
		Jones:1994:TQT,%
		Moran:2003:EFS,%
		Spivey:1990:FTE%
		}.
\NAMECITE{thoughts}{%
		Berry:2002:FMV%
		}.
\NAMECITE{Three}{%
		Rem:1982:FSP,%
		Groote:2001:ATH%
		}.
\NAMECITE{Time}{%
		Emerson:1987:MMC,%
		Attanasio:2003:SAR,%
		Bergstra:1998:DTT,%
		Bos:1997:IDP,%
		Bradley:2001:FDL,%
		Ciapessoni:1993:ETG,%
		Emerson:1982:UBT,%
		Hartonas-Garmhausen:2000:VSC,%
		Hayes:2002:RAR,%
		Kurki-Suonio:1993:RTS,%
		Kwak:2002:PAS,%
		Nielson:1987:HLP,%
		Nielson:1988:ABT,%
		Rose:1998:LTH,%
		Scholefield:1995:PPR,%
		deMoor:1999:BAG%
		}.
\NAMECITE{Timed}{%
		Kosiuczenko:1997:TRL,%
		Groote:2001:ATH%
		}.
\NAMECITE{Timewise}{%
		Schneider:1997:TRC%
		}.
\NAMECITE{{TLA}}{%
		Kapus:1997:VXC%
		}.
\NAMECITE{toil}{%
		Gribomont:1993:CTS%
		}.
\NAMECITE{tolerance}{%
		Rowstron:2003:UMC%
		}.
\NAMECITE{Tolerant}{%
		Joseph:1987:PRF,%
		Schneider:1984:FTB%
		}.
\NAMECITE{tool}{%
		Mota:2001:MCC,%
		Voisin:1986:CTI%
		}.
\NAMECITE{{ToolBus}}{%
		Bergstra:1998:DTT%
		}.
\NAMECITE{tools}{%
		Cleaveland:2002:GTV,%
		Madey:1997:FSF,%
		Storey:2000:HDP,%
		vanDeursen:2000:PPR%
		}.
\NAMECITE{toolset}{%
		Hussmann:2002:MAT%
		}.
\NAMECITE{Top}{%
		Bergstra:1985:TDA,%
		Frost:1996:MPF,%
		Luk:1990:SLP,%
		vandenEijnde:1990:LBR%
		}.
\NAMECITE{Top-Down}{%
		Bergstra:1985:TDA,%
		Frost:1996:MPF,%
		Luk:1990:SLP%
		}.
\NAMECITE{Total}{%
		Hoare:1981:CTC,%
		Hehner:1999:SPT%
		}.
\NAMECITE{totality}{%
		LacknerSolbergGasser:1998:STA%
		}.
\NAMECITE{trace}{%
		Iglewski:1997:IDM%
		}.
\NAMECITE{traceability}{%
		Antoniol:2001:DCT%
		}.
\NAMECITE{Tractable}{%
		Rehof:1999:TCF%
		}.
\NAMECITE{tranducers}{%
		Vogler:1991:FDC%
		}.
\NAMECITE{transfers}{%
		Jongejan:1992:CTR%
		}.
\NAMECITE{Transformation}{%
		Harrison:1995:TPE,%
		Malcolm:1990:DSP,%
		Andries:1999:GTS,%
		Depke:2002:FAO,%
		Fitzpatrick:1997:ATA,%
		Martino:2001:PPA,%
		Michel:1988:DTP,%
		Minas:2002:CRD,%
		Pepper:1987:SCP,%
		PeytonJones:1998:TBO,%
		Varro:2002:DAT,%
		Wermelinger:2002:GTA%
		}.
\NAMECITE{transformation-based}{%
		PeytonJones:1998:TBO%
		}.
\NAMECITE{Transformational}{%
		Bird:1986:TPP,%
		Bloom:1995:TDI,%
		Partsch:1983:ETD,%
		Partsch:1984:STD,%
		Partsch:1986:TPD,%
		Fokkinga:1991:ETP,%
		Partsch:1989:IRR%
		}.
\NAMECITE{Transformations}{%
		Souquieres:1985:DII,%
		vanDiepen:1986:PDT,%
		Apt:1983:PRT,%
		Astesiano:1999:SHT,%
		Bellegarde:1994:SFM,%
		Jongejan:1992:CTR,%
		Shankar:1996:STM%
		}.
\NAMECITE{transformer}{%
		Marchand:2001:FVP,%
		Naumann:2001:PTS%
		}.
\NAMECITE{Transformers}{%
		Gardiner:1994:ACP,%
		Chandy:1995:PTR,%
		Chandy:1997:EPT,%
		Sorensen:2000:CPT%
		}.
\NAMECITE{transition}{%
		Stolen:1996:RPS%
		}.
\NAMECITE{Transitive}{%
		Schmitz:1982:EPS,%
		Gries:1989:ATR%
		}.
\NAMECITE{traversal}{%
		Kuipers:2003:OOT,%
		Mateti:1988:MTT%
		}.
\NAMECITE{Tree}{%
		Hoogendijk:1994:RPL,%
		Katajainen:1983:AIK,%
		Pritchard:1987:LPN,%
		Butler:1999:CDP,%
		Gibbons:1994:EPA,%
		Giegerich:1995:CIP,%
		Hemerik:1989:BTA,%
		Kuipers:2003:OOT,%
		Mateti:1988:MTT,%
		Monniaux:2003:ACP,%
		Vogler:1991:FDC%
		}.
\NAMECITE{trees}{%
		Kaldewaij:1996:LT,%
		Reade:1992:BTR,%
		Sorensen:2000:CPT%
		}.
\NAMECITE{tuple}{%
		Omicini:2001:TST,%
		Rowstron:2003:UMC,%
		Semini:1999:RCT%
		}.
\NAMECITE{Two}{%
		Armstrong:1998:TCB,%
		Loyens:1990:TSP,%
		Wiltink:1986:TMN,%
		Baker-Finch:1990:ACT,%
		Knapp:1992:DCP%
		}.
\NAMECITE{Type}{%
		Coquand:1996:ATC,%
		Fairbairn:1986:NTF,%
		Helmink:1991:RTT,%
		Barbuti:1992:BPT,%
		Duggan:1996:ETI,%
		Hankin:1995:LTI,%
		Larcheveque:1994:ITP,%
		Smith:1994:PTS,%
		Smith:1998:SPT,%
		Thatte:1991:TSI,%
		Volpe:2001:FOL,%
		vanDeursen:2001:ESC%
		}.
\NAMECITE{Type-Checker}{%
		Fairbairn:1986:NTF%
		}.
\NAMECITE{Type-Checking}{%
		Coquand:1996:ATC%
		}.
\NAMECITE{Typechecking}{%
		Cardelli:1987:BPT%
		}.
\NAMECITE{typed}{%
		Banerjee:1998:SST,%
		Mauborgne:1998:AIU,%
		Nielson:1988:ABT%
		}.
\NAMECITE{Types}{%
		Bondorf:1991:AAR,%
		Coquand:1996:ATC,%
		Kapur:1988:CII,%
		Morgan:1990:TIR,%
		Astesiano:1999:SHT,%
		Chisholm:1987:DPA,%
		Girard:2000:CAD,%
		Hinze:2002:PVP,%
		Jones:1994:TQT,%
		Nitsche:2000:SAF%
		}.
\NAMECITE{typing}{%
		Henglein:1994:DTS,%
		Palsberg:1994:STO%
		}.


\NAMECITE{{UML}}{%
		Clarke:2002:ESU,%
		Cortellessa:2002:PUP,%
		Depke:2002:FAO%
		}.
\NAMECITE{unbounded}{%
		Stolen:1996:RPS%
		}.
\NAMECITE{uncaught}{%
		Yi:1998:AIE%
		}.
\NAMECITE{Uncovering}{%
		Compare:1999:UAM%
		}.
\NAMECITE{understand}{%
		Storey:2000:HDP%
		}.
\NAMECITE{understandable}{%
		Bidoit:1989:HMA%
		}.
\NAMECITE{understanding}{%
		Storey:2000:HDP%
		}.
\NAMECITE{Undulant}{%
		Wise:1999:UBE%
		}.
\NAMECITE{Undulant-block}{%
		Wise:1999:UBE%
		}.
\NAMECITE{unfoldings}{%
		Esparza:1994:MCU%
		}.
\NAMECITE{unidirectional}{%
		Garavel:1997:SVV%
		}.
\NAMECITE{Unification}{%
		Manna:1981:DSU,%
		Paulson:1985:VUA,%
		Bowman:1999:SCC%
		}.
\NAMECITE{uniform}{%
		Astesiano:1999:SHT%
		}.
\NAMECITE{Unique}{%
		Hennessy:2001:UFI%
		}.
\NAMECITE{{UNITY}}{%
		Collette:1994:CAC%
		}.
\NAMECITE{universal}{%
		Abramov:2002:URA%
		}.
\NAMECITE{University}{%
		Sangiorgi:2000:CMS,%
		Streicher:2000:PFM%
		}.
\NAMECITE{untyped}{%
		Venet:1999:AAP%
		}.
\NAMECITE{up-down}{%
		Segers:1996:DAU%
		}.
\NAMECITE{upravel}{%
		Bird:1992:SU%
		}.
\NAMECITE{use}{%
		Guttag:1982:SNP,%
		Stoller:1995:VPU%
		}.
\NAMECITE{user}{%
		Brunekreef:2002:TUC%
		}.
\NAMECITE{user-controlled}{%
		Brunekreef:2002:TUC%
		}.
\NAMECITE{uses}{%
		Feijs:1999:RPA%
		}.
\NAMECITE{Using}{%
		Cai:19xx:CRU,%
		Despland:1990:URT,%
		Emerson:1982:UBT,%
		Jerding:2000:UVA,%
		Rowstron:2003:UMC,%
		Skillicorn:1993:DPP,%
		Arnold:1997:ESE,%
		Bellegarde:1994:SFM,%
		Bonsangue:2003:CCM,%
		Esparza:1994:MCU,%
		Giannotti:1994:GSL,%
		Mauborgne:1998:AIU,%
		McMillan:2000:MHV,%
		Plath:2001:FIU,%
		Rowstron:1998:SLM,%
		Shankar:1996:STM,%
		Singh:1991:SCO%
		}.


\NAMECITE{validation}{%
		Cortellessa:2002:PUP%
		}.
\NAMECITE{Vallduv{\'\i}}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{value}{%
		Banerjee:1998:SST,%
		Francel:2001:VSW%
		}.
\NAMECITE{values}{%
		Hinze:2002:PVP%
		}.
\NAMECITE{Variables}{%
		Bondorf:1991:AAR,%
		Fernandez:2003:SSR,%
		Singh:1991:SCO%
		}.
\NAMECITE{various}{%
		Garavel:1997:SVV%
		}.
\NAMECITE{{VDM}}{%
		Ledru:1993:DRS%
		}.
\NAMECITE{Verification}{%
		Bozga:2000:VTG,%
		Francez:1986:SCA,%
		Hartonas-Garmhausen:2000:VSC,%
		Joseph:1986:SMA,%
		Kapus:1997:VXC,%
		Mason:1988:VPD,%
		Comini:2003:AIB,%
		Fernandez:1997:EAG,%
		Garavel:1997:SVV,%
		Koomen:1985:ASV,%
		Marchand:2001:FVP,%
		McMillan:2000:MHV,%
		Thompson:1990:LFP,%
		Volker:2002:AVF%
		}.
\NAMECITE{Verifying}{%
		Campos:1997:STF,%
		Paulson:1985:VUA,%
		Stoller:1995:VPU,%
		Carreira:2003:AVO,%
		Cleaveland:2002:GTV,%
		Elseaidy:1997:MVA,%
		Heimdahl:2000:ANW%
		}.
\NAMECITE{vers}{%
		Cointe:1984:EVV%
		}.
\NAMECITE{versions}{%
		Hall:1989:GFV,%
		Nishimura:1996:IDV%
		}.
\NAMECITE{very}{%
		Berry:2002:FMV%
		}.
\NAMECITE{Vessels}{%
		Rem:1982:FSP%
		}.
\NAMECITE{via}{%
		Brogi:2003:ECS,%
		Harrison:1995:TPE%
		}.
\NAMECITE{Views}{%
		Broy:1988:VQ%
		}.
\NAMECITE{virtual}{%
		Requet:2003:BME%
		}.
\NAMECITE{Visual}{%
		Harel:1987:SVF,%
		Bardohl:2002:VEV,%
		Varro:2002:DAT%
		}.
\NAMECITE{visualization}{%
		Jerding:2000:UVA%
		}.
\NAMECITE{{VLISP}}{%
		Cointe:1984:EVV%
		}.
\NAMECITE{{VLSI}}{%
		Kessels:1990:VPC%
		}.
\NAMECITE{Vogel}{%
		vanEijck:2000:TSL%
		}.
\NAMECITE{Vol}{%
		Streicher:2000:PFM%
		}.
\NAMECITE{{Volume}}{%
		Anonymous:2001:AIV,%
		Anonymous:2001:AIVa,%
		Anonymous:2001:AIVb,%
		Anonymous:2002:AIVa,%
		Anonymous:2002:AIVb%
		}.
\NAMECITE{Volumes}{%
		Anonymous:1988:MIV,%
		Anonymous:1993:MIV%
		}.
\NAMECITE{{VP}}{%
		Kwak:2002:PAS%
		}.


\NAMECITE{{Wadler}}{%
		Nielson:1994:TPW%
		}.
\NAMECITE{Wait}{%
		Moir:1995:WFA,%
		Anderson:1992:BAR%
		}.
\NAMECITE{Wait-free}{%
		Moir:1995:WFA,%
		Anderson:1992:BAR%
		}.
\NAMECITE{Warsaw}{%
		Madey:1997:FSF%
		}.
\NAMECITE{{Warshall}}{%
		vandeSnepscheut:1986:DDI%
		}.
\NAMECITE{was}{%
		Turski:1996:WC%
		}.
\NAMECITE{weakest}{%
		Lukkien:1994:OSG%
		}.
\NAMECITE{Welcome}{%
		Dijkstra:1981:WW%
		}.
\NAMECITE{while}{%
		Francel:2001:VSW,%
		Mili:1992:HCW%
		}.
\NAMECITE{Wide}{%
		Bauer:1981:PWS%
		}.
\NAMECITE{Wiley}{%
		Balbo:2000:PMD%
		}.
\NAMECITE{Wiley-Interscience}{%
		Balbo:2000:PMD%
		}.
\NAMECITE{Wise}{%
		Sokolowski:1984:PCT%
		}.
\NAMECITE{without}{%
		Gribomont:1993:CTS,%
		Ruthing:2001:CMP%
		}.
\NAMECITE{Word}{%
		Dijkstra:1981:WW%
		}.
\NAMECITE{work}{%
		Berry:2002:FMV%
		}.
\NAMECITE{Working}{%
		Garavel:2003:SIF%
		}.
\NAMECITE{Workshop}{%
		Garavel:2003:SIF%
		}.
\NAMECITE{writing}{%
		Kluzniak:1997:SLL%
		}.


\NAMECITE{xi}{%
		Streicher:2000:PFM%
		}.
\NAMECITE{{XTP}}{%
		Kapus:1997:VXC%
		}.
\NAMECITE{xxxi}{%
		vanEijck:2000:TSL%
		}.


\NAMECITE{year}{%
		vanDeursen:2000:PPR%
		}.
\NAMECITE{yielded}{%
		Bellegarde:1986:RSF%
		}.
\NAMECITE{Yoneda}{%
		Wada:1996:OPN%
		}.
\NAMECITE{York}{%
		Balbo:2000:PMD%
		}.


\NAMECITE{{Z}}{%
		Grieskamp:2001:SES,%
		Mota:2001:MCC%
		}.
\NAMECITE{Zurab}{%
		vanEijck:2000:TSL%
		}.