%%======================================================================
%% WARNING: Do NOT edit this file.  It was produced automatically
%% with the UNIX pipeline
%%
%%       biblex xxx.bib | \
%%         gawk -f keywords.awk | \
%%         egrep 'entrytype$' | \
%%         gawk -f fmtwords.awk >xxx.xwx
%%
%% by beebe@gamma.math.utah.edu on Thu Nov  3 12:53:36 MDT 2022
%%======================================================================

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



\NAMECITE{\#5}{%
		Schwartz:1985:SIC%
		}.


\NAMECITE{$^M$}{%
		Choi:1989:PSM%
		}.
\NAMECITE{$ \Delta $}{%
		Kaplan:1989:SCS%
		}.
\NAMECITE{$N$}{%
		Brilliant:1987:CCP%
		}.


\NAMECITE{{}-grammars}{%
		Kaplan:1989:SCS%
		}.
\NAMECITE{{}-version}{%
		Brilliant:1987:CCP%
		}.


\NAMECITE{0-262-12112-3}{%
		Conde:1986:BRA%
		}.


\NAMECITE{{1}}{%
		Mason:1982:ATI,%
		Neumann:1989:EIP%
		}.
\NAMECITE{{14}}{%
		Neumann:1989:EIP%
		}.
\NAMECITE{{14-1}}{%
		Neumann:1989:EIP%
		}.
\NAMECITE{{1838A}}{%
		Munck:1988:ODS%
		}.
\NAMECITE{{1979}}{%
		Kilov:1983:RER%
		}.
\NAMECITE{{1980}}{%
		Smoliar:1981:TBN%
		}.
\NAMECITE{{1981}}{%
		Gerhart:1982:TRB,%
		Smoliar:1984:RPP%
		}.
\NAMECITE{{1982}}{%
		Miya:1982:RTB%
		}.
\NAMECITE{{1983}}{%
		Neumann:1984:RHD,%
		Reifer:1985:RPP,%
		Smoliar:1983:RLM%
		}.
\NAMECITE{{1985}}{%
		Neumann:1985:RSA,%
		Smith:1985:PPP%
		}.


\NAMECITE{{2}}{%
		Guoliang:1988:KMI,%
		Jordan:1989:ECM%
		}.
\NAMECITE{{2167}}{%
		Coad:1987:DAD%
		}.
\NAMECITE{{2nd}}{%
		Cooper:1989:RUS%
		}.


\NAMECITE{{4}}{%
		Blum:1987:GRF%
		}.


\NAMECITE{5th}{%
		Whelan:1981:ICS%
		}.


\NAMECITE{{6}}{%
		Walter:1983:DUD%
		}.


\NAMECITE{7th}{%
		Anonymous:1980:SCA%
		}.


\NAMECITE{{85}}{%
		Musser:1985:AHS,%
		Schwartz:1985:SIC%
		}.
\NAMECITE{{8th}}{%
		Weiss:1985:SDI%
		}.


\NAMECITE{{A1}}{%
		Benzel:1985:VTA%
		}.
\NAMECITE{ABEL}{%
		Dahl:1985:PSV%
		}.
\NAMECITE{Abstract}{%
		Vitter:1984:UNF,%
		Dixon:1982:RPM%
		}.
\NAMECITE{abstraction}{%
		Bradshaw:1982:UDA,%
		Davis:1985:RAV,%
		Zahniser:1983:LAS,%
		Conde:1986:BRA%
		}.
\NAMECITE{abstractions}{%
		Shaw:1989:LSS%
		}.
\NAMECITE{Abstracts}{%
		Anonymous:1984:ASE,%
		Guttag:1986:ASE,%
		Newcastle:1986:ASE,%
		Staff:1980:ASE,%
		Staff:1981:ASE,%
		Staff:1982:ASEa,%
		Staff:1982:ASEb,%
		Staff:1983:ASEa,%
		Staff:1983:ASEb,%
		Staff:1983:ASEc,%
		Staff:1984:ASEa,%
		Staff:1984:ASEb,%
		Staff:1984:ASEc,%
		Staff:1985:ASEa,%
		Staff:1985:ASEb,%
		Staff:1985:ASEc%
		}.
\NAMECITE{access}{%
		Boebert:1985:EAM,%
		Proctor:1985:RAP%
		}.
\NAMECITE{accordian}{%
		Brown:1984:MAS%
		}.
\NAMECITE{{ACM}}{%
		Riddle:1982:PTM,%
		Staff:1985:PAA%
		}.
\NAMECITE{acquisition}{%
		Niskier:1989:LTP%
		}.
\NAMECITE{{ACT}}{%
		Mason:1982:ATI%
		}.
\NAMECITE{{ACT/1}}{%
		Mason:1982:ATI%
		}.
\NAMECITE{acting}{%
		Roberts:1989:DAP%
		}.
\NAMECITE{Action}{%
		Kurki-Suonio:1989:ASA,%
		Dubois:1989:LAS%
		}.
\NAMECITE{active}{%
		Rodden:1988:IAI%
		}.
\NAMECITE{activities}{%
		Stokes:1985:SFM,%
		Yelowitz:1981:FAP%
		}.
\NAMECITE{activities/positions}{%
		Yelowitz:1981:FAP%
		}.
\NAMECITE{Activity}{%
		Cheatham:1989:ACP%
		}.
\NAMECITE{actual}{%
		Zave:1984:RSM%
		}.
\NAMECITE{Ada}{%
		Staff:1985:PAA,%
		Duncan:1982:PAC,%
		Boyd:1987:SDD,%
		Chelini:1986:PSA,%
		Druffel:1982:PEA,%
		Freeman:1984:CSD,%
		Hookway:1985:VAP,%
		James:1983:RAC,%
		Ladden:1988:OOD,%
		McHugh:1985:AVU,%
		Ncube:1988:ATM,%
		Ramsey:1989:DFV,%
		Reynolds:1985:PTM,%
		Wegner:1980:ALE%
		}.
\NAMECITE{Adaptable}{%
		Anonymous:1983:STA%
		}.
\NAMECITE{{Ada\reg}}{%
		Standish:1984:APA%
		}.
\NAMECITE{Additional}{%
		Tanik:1981:ARC%
		}.
\NAMECITE{adequacy}{%
		Weiss:1989:CTD%
		}.
\NAMECITE{Advanced}{%
		Standish:1981:ADS,%
		Sutton:1989:AMS,%
		Fritzson:1983:SAA,%
		Standish:1984:APA,%
		Kilov:1989:BRA%
		}.
\NAMECITE{advice}{%
		Salenieks:1989:SDA%
		}.
\NAMECITE{affinities}{%
		Maarek:1989:ULA%
		}.
\NAMECITE{{AFFIRM}}{%
		Gerhart:1981:AS,%
		Musser:1985:AHS%
		}.
\NAMECITE{{AFFIRM-85}}{%
		Musser:1985:AHS%
		}.
\NAMECITE{Affording}{%
		Lubars:1986:AHR%
		}.
\NAMECITE{AI}{%
		DiVito:1985:TDB,%
		Parikh:1986:NWA,%
		Arango:1988:FIP,%
		Pohl:1986:SSA%
		}.
\NAMECITE{AI-SM}{%
		Parikh:1986:NWA%
		}.
\NAMECITE{aid}{%
		Terwilliger:1989:EFS,%
		Tischler:1983:SAP%
		}.
\NAMECITE{Aided}{%
		Leblang:1984:CAS,%
		Krista:1989:CAP%
		}.
\NAMECITE{{AIDS}}{%
		Musser:1985:AHS%
		}.
\NAMECITE{{Aladdin}}{%
		Pakstas:1989:ALC%
		}.
\NAMECITE{{Aladdin/lamp}}{%
		Pakstas:1989:ALC%
		}.
\NAMECITE{algebraic}{%
		Antoy:1989:SDA,%
		Ardis:1986:CAS,%
		vonIssendorff:1989:ART%
		}.
\NAMECITE{algorithm}{%
		Neumann:1985:RSA,%
		Ungar:1984:GSN%
		}.
\NAMECITE{Algorithms}{%
		Schindler:1986:AM,%
		Braunl:1989:SLP%
		}.
\NAMECITE{all-du-paths}{%
		Bieman:1989:ENT%
		}.
\NAMECITE{also}{%
		Chambers:1983:EMB%
		}.
\NAMECITE{alternate}{%
		Blum:1982:LCD%
		}.
\NAMECITE{Alternating}{%
		DiVito:1981:MVA%
		}.
\NAMECITE{alternative}{%
		Jahnichen:1986:TAM%
		}.
\NAMECITE{always}{%
		Lawrence:1985:WSA%
		}.
\NAMECITE{{American}}{%
		Dijkstra:1981:APP%
		}.
\NAMECITE{{Amoeba}}{%
		Baalbergen:1989:DAC%
		}.
\NAMECITE{among}{%
		Anonymous:1980:SCA%
		}.
\NAMECITE{Analogical}{%
		Miriyala:1989:AAS%
		}.
\NAMECITE{analogy}{%
		Salenieks:1989:SDA%
		}.
\NAMECITE{Analysis}{%
		Melhart:1989:ACR,%
		Arango:1989:DAA,%
		Avrunin:1989:EAA,%
		Baram:1989:SCA,%
		Blum:1989:DTA,%
		Blumofe:1988:ERT,%
		Botting:1986:FDI,%
		Clarke:1988:TSE,%
		Fairley:1988:PMA,%
		Glass:1980:BAS,%
		Hennell:1980:SAC,%
		Kotik:1989:ASA,%
		Leite:1989:VAC,%
		Peters:1989:TES,%
		Prentice:1981:ASD,%
		Richter:1986:ASA,%
		Shlaer:1989:OOA,%
		Smoliar:1983:SAD,%
		Tischler:1983:SAP,%
		Tse:1986:APN,%
		Young:1989:ICA,%
		Olenfeldt:1985:VSP%
		}.
\NAMECITE{analyst}{%
		Baldwin:1983:LNV%
		}.
\NAMECITE{analyzer}{%
		Olender:1989:CSS%
		}.
\NAMECITE{anecdotage}{%
		Tavares:1982:MA%
		}.
\NAMECITE{anecdotes}{%
		Anonymous:1980:SCA%
		}.
\NAMECITE{annotated}{%
		Cook:1982:SMI,%
		Ramanathan:1982:UAS,%
		Waguespack:1987:SCA%
		}.
\NAMECITE{Announcement}{%
		Snodgrass:1986:AIT%
		}.
\NAMECITE{answer}{%
		Pohl:1986:SSA%
		}.
\NAMECITE{antidotes}{%
		Neumann:1985:RSA%
		}.
\NAMECITE{{{anxiety}}}{%
		Neumann:1985:RSA%
		}.
\NAMECITE{Application}{%
		Arango:1988:AAI,%
		Chroust:1989:ADP,%
		Arango:1988:FIP,%
		Clarke:1983:AES,%
		Clarke:1984:RFC,%
		Curtis:1982:AFF,%
		Foster:1983:CAE,%
		Tse:1986:APN%
		}.
\NAMECITE{Applications}{%
		Landauer:1981:AFK,%
		Dodd:1982:PLT,%
		Knoll:1989:GLB,%
		Levitt:1985:OA,%
		Watanabe:1989:RCO,%
		Zucconi:1989:TEC%
		}.
\NAMECITE{Applying}{%
		Boeh:1989:APP,%
		Iseki:1986:ADM,%
		Kung:1984:AGH,%
		Notkin:1989:ASP%
		}.
\NAMECITE{apprentice}{%
		Reubenstein:1989:RAI%
		}.
\NAMECITE{Approach}{%
		Lehman:1986:ADD,%
		Babb:1979:ADA,%
		Bates:1983:AHL,%
		Bonet:1984:SSE,%
		Cashman:1980:COA,%
		Church:1986:AAS,%
		Fritzson:1983:SAA,%
		Jard:1983:ATS,%
		Kapur:1985:EAT,%
		Katayama:1989:HFA,%
		Keus:1982:PMR,%
		Kurki-Suonio:1989:ASA,%
		Livson:1988:PAS,%
		Miller:1989:IAC,%
		Miriyala:1989:AAS,%
		Moriconi:1989:PAS,%
		Ritter:1987:HNA,%
		Scacchi:1989:MSE,%
		Shlaer:1989:OOA,%
		Snodgrass:1984:MSD,%
		Spicer:1983:SAS,%
		Tardy:1988:HTA,%
		Williams:1989:BAS,%
		Yonezaki:1986:LEN%
		}.
\NAMECITE{Approaches}{%
		Richardson:1989:ASB,%
		Smoliar:1982:AES,%
		Coad:1987:DAD,%
		Greenspan:1986:RDK,%
		Landwehr:1986:NIW%
		}.
\NAMECITE{approved}{%
		Buckley:1986:RQA%
		}.
\NAMECITE{{APSE}}{%
		Druffel:1982:NPD,%
		Munck:1988:ODS%
		}.
\NAMECITE{{Arcadia}}{%
		Taylor:1988:FAE%
		}.
\NAMECITE{architecture}{%
		Phillips:1989:SCA,%
		Taylor:1988:FAE%
		}.
\NAMECITE{architectures}{%
		Braunl:1989:SLP%
		}.
\NAMECITE{{Arcturus}}{%
		Standish:1984:APA%
		}.
\NAMECITE{area}{%
		McDonald:1986:SMA%
		}.
\NAMECITE{areas}{%
		Babb:1979:ADA%
		}.
\NAMECITE{arising}{%
		Craigen:1985:STA%
		}.
\NAMECITE{arrays}{%
		Denning:1980:ENI,%
		Gasser:1980:NIF%
		}.
\NAMECITE{art}{%
		Arango:1989:DAA,%
		Neumann:1982:PIC,%
		Yack:1982:CZA%
		}.
\NAMECITE{Article}{%
		Binder:1989:ARO%
		}.
\NAMECITE{artificial}{%
		Arango:1988:AAI,%
		Parikh:1986:NWA%
		}.
\NAMECITE{aspect}{%
		Hitchcock:1989:PMA%
		}.
\NAMECITE{aspects}{%
		Buckley:1986:RQA,%
		Parnas:1985:SAS%
		}.
\NAMECITE{assessing}{%
		Church:1986:AAS%
		}.
\NAMECITE{Assessment}{%
		Zave:1988:A,%
		Gerhart:1989:PSF,%
		Richter:1986:ASA,%
		Waguespack:1987:SCA%
		}.
\NAMECITE{assistance}{%
		Ottenstein:1983:HLD%
		}.
\NAMECITE{assistant}{%
		Chan:1984:PTA,%
		Dart:1989:TCA,%
		Huff:1988:PBI,%
		Ploedereder:1989:DMC%
		}.
\NAMECITE{assisted}{%
		Gentleman:1983:HAH%
		}.
\NAMECITE{assumptions}{%
		Rich:1982:DUS%
		}.
\NAMECITE{assurance}{%
		Lamb:1985:MSQ,%
		Landwehr:1986:NIW,%
		Livson:1988:PAS,%
		Loy:1988:TNP,%
		Yiannakos:1984:QAQ%
		}.
\NAMECITE{Assuring}{%
		Choi:1989:ACC%
		}.
\NAMECITE{{ASTM}}{%
		Schilling:1986:SMA%
		}.
\NAMECITE{Attribute}{%
		Nord:1988:EAS,%
		Gilb:1981:SAS%
		}.
\NAMECITE{attributes}{%
		Gilb:1986:ESA%
		}.
\NAMECITE{attribution}{%
		Alpern:1988:GAS%
		}.
\NAMECITE{Augmented}{%
		Hendricksen:1989:AST%
		}.
\NAMECITE{Automated}{%
		Osterweil:1989:ASE,%
		Avrunin:1989:EAA,%
		Benson:1981:PEA,%
		Bobbie:1987:PTA%
		}.
\NAMECITE{Automatic}{%
		Balcer:1989:AGT,%
		Barstow:1982:RPA,%
		Foster:1980:CEA,%
		Gordon:1989:CVC%
		}.
\NAMECITE{Automating}{%
		Kotik:1989:ASA%
		}.
\NAMECITE{automation}{%
		Huff:1989:PLA,%
		Stinson:1989:VSA%
		}.
\NAMECITE{avenue}{%
		Feiertag:1981:AED%
		}.
\NAMECITE{avenues}{%
		Gerhart:1981:RAV%
		}.
\NAMECITE{avionics}{%
		Leveson:1987:STS%
		}.
\NAMECITE{axioms}{%
		Dixon:1982:RPM%
		}.


\NAMECITE{B}{%
		Reifer:1985:RPP,%
		Geller:1985:BWC%
		}.
\NAMECITE{{B-ware}}{%
		Geller:1985:BWC%
		}.
\NAMECITE{{B.}}{%
		Bryant:1983:BWB%
		}.
\NAMECITE{{Babb}}{%
		Anonymous:1980:CBT%
		}.
\NAMECITE{back}{%
		Hamilton:1980:DLB%
		}.
\NAMECITE{backtracking}{%
		Agrawal:1989:BDB,%
		Mili:1982:DSB%
		}.
\NAMECITE{badly}{%
		Brown:1984:MAS,%
		Robinson:1984:RDB%
		}.
\NAMECITE{Balloting}{%
		Buckley:1988:BES%
		}.
\NAMECITE{Barbara}{%
		Conde:1986:BRA%
		}.
\NAMECITE{base}{%
		Dinsart:1989:ODV,%
		Ramanathan:1985:URD,%
		Rombach:1989:SFS,%
		Lundholm:1989:DMB%
		}.
\NAMECITE{{base/{OPEN}}}{%
		Lundholm:1989:DMB%
		}.
\NAMECITE{based}{%
		Clemm:1988:WSP,%
		Fischer:1984:PLB,%
		Garlan:1984:GIP,%
		Greenspan:1986:RDK,%
		Hooper:1982:SBP,%
		Horgan:1984:TIL,%
		Huff:1988:PBI,%
		Kaiser:1989:RBM,%
		Kapur:1985:RTP,%
		Linton:1983:KBD,%
		McCoyd:1982:SSG,%
		Narayanaswamy:1989:TBR,%
		Niskier:1989:LTP,%
		Richardson:1989:ASB,%
		Roman:1989:ISD,%
		Scacchi:1989:MSE,%
		Sedlmeyer:1983:KBF,%
		Soloway:1984:CBM,%
		Strelich:1988:SLC,%
		Tate:1985:RPS,%
		Veloso:1983:MLS,%
		Yue:1989:RFO%
		}.
\NAMECITE{bases}{%
		Ceri:1983:RDB%
		}.
\NAMECITE{{BASIC}}{%
		Chan:1984:PTA%
		}.
\NAMECITE{{BASIC}-{PLUS}}{%
		Chan:1984:PTA%
		}.
\NAMECITE{basis}{%
		Balzer:1982:OSB,%
		Gerhart:1985:PTB%
		}.
\NAMECITE{battle}{%
		Horning:1985:CSB%
		}.
\NAMECITE{be}{%
		Gerhart:1981:RAV,%
		Smith:1985:PPP%
		}.
\NAMECITE{becoming}{%
		Tardy:1988:HTA%
		}.
\NAMECITE{behavior}{%
		Cohen:1982:USE,%
		Wing:1985:BFB%
		}.
\NAMECITE{behavioral}{%
		Williams:1989:BAS%
		}.
\NAMECITE{belittled}{%
		Loy:1985:SPC%
		}.
\NAMECITE{benefit}{%
		Glass:1980:BAS%
		}.
\NAMECITE{benefits}{%
		McFarland:1986:BBD%
		}.
\NAMECITE{Beneich}{%
		Chapman:1986:BRS%
		}.
\NAMECITE{better}{%
		Mano:1981:IMD%
		}.
\NAMECITE{between}{%
		Notkin:1988:RBS%
		}.
\NAMECITE{Beware}{%
		Harbaugh:1985:BB%
		}.
\NAMECITE{Beyond}{%
		DiVito:1985:TDB,%
		Wing:1985:BFB,%
		Ramanathan:1985:TBI,%
		Tai:1989:WDB%
		}.
\NAMECITE{Bibliography}{%
		Agrawal:1989:BDB,%
		Cook:1982:SMI,%
		Waguespack:1987:SCA%
		}.
\NAMECITE{Bit}{%
		DiVito:1981:MVA%
		}.
\NAMECITE{bites}{%
		Leveson:1987:STS%
		}.
\NAMECITE{{Blit}}{%
		Cargill:1983:BDP%
		}.
\NAMECITE{blocks}{%
		Joseph:1984:PSB%
		}.
\NAMECITE{Boehm}{%
		Bryant:1983:BWB%
		}.
\NAMECITE{Book}{%
		Chapman:1986:BRS,%
		Conde:1986:BRA,%
		Kilov:1989:BRA,%
		Gries:1982:LDS%
		}.
\NAMECITE{books}{%
		Gerhart:1982:TRB,%
		Miya:1982:RTB,%
		Smoliar:1981:TBN%
		}.
\NAMECITE{both}{%
		Chambers:1983:EMB%
		}.
\NAMECITE{bottom}{%
		McFarland:1986:BBD%
		}.
\NAMECITE{bottom-up}{%
		McFarland:1986:BBD%
		}.
\NAMECITE{branch}{%
		Tai:1989:WDB,%
		Yates:1989:REI%
		}.
\NAMECITE{breakins}{%
		Reid:1986:LUB%
		}.
\NAMECITE{Breton}{%
		Chapman:1986:BRS%
		}.
\NAMECITE{brick}{%
		Buckley:1986:SSQ%
		}.
\NAMECITE{{Brown}}{%
		Robinson:1984:RDB%
		}.
\NAMECITE{budget}{%
		Gannon:1983:SB%
		}.
\NAMECITE{BUG}{%
		Garman:1981:BHR,%
		vanVleck:1989:TQA%
		}.
\NAMECITE{building}{%
		Good:1981:TBV,%
		Gordon:1989:CVC%
		}.
\NAMECITE{business}{%
		Knoll:1989:GLB%
		}.


\NAMECITE{C}{%
		Smoliar:1981:TBN,%
		Smoliar:1984:RPP%
		}.
\NAMECITE{CA}{%
		Smith:1985:PPP%
		}.
\NAMECITE{calculus}{%
		Kapur:1985:EAT%
		}.
\NAMECITE{calendar}{%
		Janssens:1984:SPF%
		}.
\NAMECITE{{Canada}}{%
		Bonyun:1981:UCG%
		}.
\NAMECITE{capabilities}{%
		Melhart:1989:ACR%
		}.
\NAMECITE{capital}{%
		Wegner:1982:RCI%
		}.
\NAMECITE{capital-intensive}{%
		Wegner:1982:RCI%
		}.
\NAMECITE{Capturing}{%
		Rueher:1989:CSP,%
		Zucconi:1989:TEC%
		}.
\NAMECITE{case}{%
		Donnelly:1988:CST,%
		Duncan:1982:PAC,%
		Hoffman:1989:MTC,%
		Leite:1989:VAC,%
		Ward:1985:UEN,%
		Baram:1989:SCA,%
		Karakostas:1989:RCT,%
		Zucconi:1989:SCT%
		}.
\NAMECITE{cases}{%
		Bieman:1989:ENT%
		}.
\NAMECITE{Catastrophe}{%
		Pratt:1987:CTS%
		}.
\NAMECITE{cause}{%
		Adler:1983:FMC%
		}.
\NAMECITE{cause-effect}{%
		Adler:1983:FMC%
		}.
\NAMECITE{{CDL}}{%
		Liu:1989:OSR%
		}.
\NAMECITE{{Centaur}}{%
		Borras:1988:CS%
		}.
\NAMECITE{{Cesar}}{%
		Olender:1989:CSS%
		}.
\NAMECITE{chaff}{%
		Gries:1980:EC%
		}.
\NAMECITE{Change}{%
		Lie:1989:COV,%
		Young:1989:CCM,%
		Floyd:1988:PCS,%
		George:1982:PCC,%
		Lacroix:1989:CRP,%
		Phillips:1989:SCA,%
		Wileden:1989:FPP%
		}.
\NAMECITE{Change/configuration}{%
		Young:1989:CCM%
		}.
\NAMECITE{Characteristics}{%
		Houghton:1987:CFS%
		}.
\NAMECITE{characterization}{%
		Rajaraman:1982:CSD%
		}.
\NAMECITE{characterize}{%
		Cohen:1982:USE%
		}.
\NAMECITE{charts}{%
		Penteado:1985:SCJ,%
		Shaw:1982:SCJ%
		}.
\NAMECITE{checklist}{%
		Winters:1986:RCS%
		}.
\NAMECITE{Cheheyl}{%
		Denning:1982:RVS%
		}.
\NAMECITE{{CHIPSY}}{%
		Eidnes:1989:SCC%
		}.
\NAMECITE{classes}{%
		Wing:1985:BFB%
		}.
\NAMECITE{Classics}{%
		Miya:1982:RTB%
		}.
\NAMECITE{Clocksin}{%
		Smoliar:1984:RPP%
		}.
\NAMECITE{clustering}{%
		Newbery:1989:ECM%
		}.
\NAMECITE{CMA}{%
		Ploedereder:1989:DMC%
		}.
\NAMECITE{{CMS}}{%
		Murray:1988:SCU%
		}.
\NAMECITE{{Cobol}}{%
		Hennell:1980:SAC%
		}.
\NAMECITE{Code}{%
		Binder:1989:ARO,%
		Lubars:1986:CRL,%
		Rickert:1986:PWR,%
		Wasserman:1989:OOS%
		}.
\NAMECITE{Coding}{%
		Perlman:1986:CQT,%
		Johnson:1987:SCC%
		}.
\NAMECITE{cognitively}{%
		Soloway:1984:CBM%
		}.
\NAMECITE{cognitively-based}{%
		Soloway:1984:CBM%
		}.
\NAMECITE{Combining}{%
		Gordon:1989:CVC,%
		Wing:1985:BFB%
		}.
\NAMECITE{Comment}{%
		Clarke:1984:RFC,%
		Foster:1983:CAE,%
		Foster:1980:CEA,%
		Hamilton:1980:CDG,%
		Perlman:1980:THL,%
		Yack:1982:CZA%
		}.
\NAMECITE{Comments}{%
		Bowen:1986:CSQ,%
		Gries:1982:LDS,%
		Johnson:1983:SEC,%
		Johnson:1987:SCC,%
		Walker:1981:IC%
		}.
\NAMECITE{Commercial}{%
		Gentleman:1989:CRS%
		}.
\NAMECITE{common}{%
		Munck:1988:ODS,%
		Rine:1987:CEO%
		}.
\NAMECITE{communication}{%
		Bailey:1982:EEI,%
		Cashman:1980:COA%
		}.
\NAMECITE{communication-oriented}{%
		Cashman:1980:COA%
		}.
\NAMECITE{Comparing}{%
		Freeman:1984:CSD,%
		Weiss:1989:CTD%
		}.
\NAMECITE{Comparison}{%
		Ardis:1986:CAS,%
		Brilliant:1987:CCP,%
		Hamlet:1989:TCT,%
		Mannino:1987:PCF,%
		Rowland:1989:ECT,%
		Tanik:1980:CPC,%
		Tanik:1981:ARC%
		}.
\NAMECITE{Comparisons}{%
		Scheffer:1981:CQM,%
		Andreu:1982:CQM,%
		Iannino:1983:CSR,%
		Pechura:1980:PEI%
		}.
\NAMECITE{{COMPCON}}{%
		Baldwin:1982:RSI%
		}.
\NAMECITE{compilation}{%
		Eidnes:1989:SCC,%
		Fritzson:1983:SAA,%
		Young:1989:VCM%
		}.
\NAMECITE{compiler}{%
		Ferrante:1983:HLL,%
		Ottenstein:1983:HLD%
		}.
\NAMECITE{compiling}{%
		Fritzson:1984:PED%
		}.
\NAMECITE{complex}{%
		Ritter:1987:HNA%
		}.
\NAMECITE{complexity}{%
		Cook:1987:PSC,%
		Tanik:1980:CPC,%
		Tanik:1981:ARC,%
		Waguespack:1987:SCA%
		}.
\NAMECITE{Components}{%
		William:1985:CVT,%
		London:1989:SRC%
		}.
\NAMECITE{compose}{%
		Garg:1985:FCM%
		}.
\NAMECITE{composing}{%
		Zimmer:1988:WND%
		}.
\NAMECITE{composition}{%
		Garg:1985:FCM%
		}.
\NAMECITE{computation}{%
		Watanabe:1989:RCO%
		}.
\NAMECITE{Computer}{%
		Krista:1989:CAP,%
		Leblang:1984:CAS,%
		Zahniser:1988:CSV,%
		Anonymous:1980:SCA,%
		Boebert:1985:EAM,%
		Gerhart:1989:PSF,%
		Gill:1982:ECS,%
		Lyon:1983:MPL,%
		Neumann:1982:PIC,%
		Neumann:1984:RHD,%
		Neumann:1985:RSA,%
		Neumann:1986:RPCa,%
		Neumann:1986:RPCb,%
		Neumann:1986:RPCc,%
		Neumann:1986:RPCd,%
		Pakstas:1989:ALC,%
		Strelich:1988:SLC,%
		Weber:1989:FSF,%
		White:1986:TEC%
		}.
\NAMECITE{Computer-Aided}{%
		Leblang:1984:CAS%
		}.
\NAMECITE{computers}{%
		Neumann:1987:RPC%
		}.
\NAMECITE{Computing}{%
		Horning:1985:CSB,%
		Neumann:1982:PIC,%
		Yack:1982:CZA,%
		Denning:1982:RVS%
		}.
\NAMECITE{concentration}{%
		Newbery:1989:ECM%
		}.
\NAMECITE{concept}{%
		Kung:1984:AGH,%
		McCracken:1982:LCC%
		}.
\NAMECITE{concepts}{%
		Boldyreff:1989:RSC,%
		Iseki:1986:ADM,%
		Livson:1987:FSD%
		}.
\NAMECITE{concurrency}{%
		Chroust:1988:MIC,%
		Pixon:1985:EFE,%
		Young:1989:ICA%
		}.
\NAMECITE{Concurrent}{%
		Aoyama:1987:CDS,%
		Avrunin:1989:EAA,%
		Baiardi:1983:DDC,%
		Kaplan:1989:SCS,%
		Watanabe:1989:RCO,%
		Weber:1983:IDC%
		}.
\NAMECITE{Conditional}{%
		Dershowitz:1985:CR%
		}.
\NAMECITE{Conference}{%
		Krasner:1987:CCS,%
		Sommerville:1987:REC,%
		Baldwin:1982:RSI,%
		Brereton:1987:SEE,%
		Whelan:1981:ICS%
		}.
\NAMECITE{Configuration}{%
		Falkerngerg:1989:CML,%
		Kramer:1989:CSS,%
		Pakstas:1989:ALC,%
		Simmonds:1989:CMP,%
		Thomson:1989:CMU,%
		Winkler:1988:WSV,%
		Ambriola:1989:OOC,%
		Baalbergen:1989:DAC,%
		Bazelmans:1985:ECM,%
		Dart:1989:TCA,%
		Estublier:1984:PEC,%
		Gentleman:1989:CRS,%
		Heimbigner:1988:GTM,%
		Jordan:1989:ECM,%
		Kaiser:1989:MCT,%
		Kienle:1988:PRF,%
		Miller:1989:IAC,%
		Miller:1989:SCM,%
		Moriconi:1989:PAS,%
		Ploedereder:1989:DMC,%
		Thomas:1989:VCM,%
		Young:1989:CCM%
		}.
\NAMECITE{configurations}{%
		Mahler:1988:ITE%
		}.
\NAMECITE{configured}{%
		Choi:1989:ACC%
		}.
\NAMECITE{Conflict}{%
		Mack-Crane:1989:CMS%
		}.
\NAMECITE{confounding}{%
		Curtis:1982:AFF%
		}.
\NAMECITE{connection}{%
		Anonymous:1980:SCA%
		}.
\NAMECITE{conservative}{%
		Hill:1989:RCT%
		}.
\NAMECITE{considerations}{%
		Fernstrom:1989:DCP%
		}.
\NAMECITE{considered}{%
		McCracken:1982:LCC%
		}.
\NAMECITE{consistent}{%
		Brilliant:1987:CCP,%
		Walpole:1988:UMC%
		}.
\NAMECITE{constraint}{%
		Olender:1989:CSS%
		}.
\NAMECITE{construct}{%
		Mok:1986:NSP%
		}.
\NAMECITE{Constructing}{%
		Finkelstein:1989:CDF%
		}.
\NAMECITE{construction}{%
		Ceri:1983:RDB,%
		Kramer:1989:CSS%
		}.
\NAMECITE{constructive}{%
		Constable:1981:VCS%
		}.
\NAMECITE{constructs}{%
		Putnam:1985:SMS%
		}.
\NAMECITE{Contemporary}{%
		Howden:1981:CSD%
		}.
\NAMECITE{context}{%
		Tully:1989:SPM%
		}.
\NAMECITE{continued}{%
		Maurer:1985:PTP%
		}.
\NAMECITE{contracts}{%
		Frankel:1982:CCS%
		}.
\NAMECITE{contradictions}{%
		Geller:1985:BWC%
		}.
\NAMECITE{contribution}{%
		Zelkowits:1984:SCE%
		}.
\NAMECITE{Control}{%
		Miranda:1989:CTT,%
		Ambriola:1989:OOC,%
		Clemm:1989:RVC,%
		DeTreville:1984:PIS,%
		Estublier:1984:PEC,%
		Gordon:1989:CVC,%
		Hagemann:1987:FRS,%
		Murray:1988:SCU,%
		Pakstas:1989:ALC,%
		Rosen:1981:VNC,%
		Schroeder:1989:IVC,%
		Westfechtek:1989:RCI,%
		Yiannakos:1984:QAQ,%
		Zellweger:1983:IHL,%
		Winkler:1988:WSV%
		}.
\NAMECITE{control-flow}{%
		Zellweger:1983:IHL%
		}.
\NAMECITE{controller}{%
		Fritsch:1989:MCS%
		}.
\NAMECITE{controlling}{%
		Schwanke:1989:DVC,%
		Wileden:1989:FPP%
		}.
\NAMECITE{coordination}{%
		Cheatham:1989:ACP%
		}.
\NAMECITE{coordinators}{%
		Marca:1989:SCG%
		}.
\NAMECITE{cornerstone}{%
		Gilb:1981:SAS%
		}.
\NAMECITE{Correction}{%
		Anonymous:1980:CBT,%
		Zave:1984:C%
		}.
\NAMECITE{correctness}{%
		Choi:1989:ACC,%
		Marcus:1985:SSV,%
		Rosenblum:1989:TCT%
		}.
\NAMECITE{{COS}}{%
		Landauer:1981:AFK%
		}.
\NAMECITE{{COS/NFE}}{%
		Landauer:1981:AFK%
		}.
\NAMECITE{cost}{%
		George:1982:PCC,%
		Gilb:1986:SSD%
		}.
\NAMECITE{cost-of-change}{%
		George:1982:PCC%
		}.
\NAMECITE{costing}{%
		Martin:1988:ECS%
		}.
\NAMECITE{countess}{%
		James:1983:RAC%
		}.
\NAMECITE{coupling}{%
		Offutt:1989:CEF%
		}.
\NAMECITE{course}{%
		Frankel:1982:CCS%
		}.
\NAMECITE{{CP}}{%
		Walter:1983:DUD%
		}.
\NAMECITE{{CP-6}}{%
		Walter:1983:DUD%
		}.
\NAMECITE{craft}{%
		Gerhart:1982:TRB%
		}.
\NAMECITE{Crispin}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{Criteria}{%
		Iannino:1983:CSR,%
		Baram:1989:SCA,%
		Benzel:1985:VTA,%
		Weiss:1989:CTD%
		}.
\NAMECITE{criterion}{%
		Bieman:1989:ENT%
		}.
\NAMECITE{critical}{%
		Loy:1985:SPC%
		}.
\NAMECITE{Cross}{%
		Schwanke:1989:CRF%
		}.
\NAMECITE{{CSCW'86}}{%
		Krasner:1987:CCS%
		}.
\NAMECITE{CSM}{%
		Schwartz:1985:SIC%
		}.
\NAMECITE{current}{%
		Martin:1988:ECS%
		}.
\NAMECITE{Cycle}{%
		Strelich:1988:SLC,%
		Blum:1982:LCD,%
		Gladden:1982:SLC,%
		McCracken:1982:LCC,%
		McDonald:1986:SMA,%
		Schultz:1985:SSL,%
		Zahniser:1983:LAS,%
		vandenBosch:1982:ESD%
		}.
\NAMECITE{cycles}{%
		Hall:1982:DLC%
		}.


\NAMECITE{Daniel}{%
		Kilov:1983:RER,%
		Kilov:1989:BRA%
		}.
\NAMECITE{{DAPSE}}{%
		Boyd:1987:SDD%
		}.
\NAMECITE{{Darwin}}{%
		Minsky:1984:DSE%
		}.
\NAMECITE{Data}{%
		Eisenbach:1989:DFD,%
		Blum:1989:DTA,%
		Bradshaw:1982:UDA,%
		Ceri:1983:RDB,%
		Dinsart:1989:ODV,%
		Foster:1984:STD,%
		Harrold:1989:IDF,%
		Mittermeir:1982:HLF,%
		Ploedereder:1989:DMC,%
		Ramanathan:1985:URD,%
		Tate:1985:RPS,%
		Weiss:1989:CTD%
		}.
\NAMECITE{Data-flow}{%
		Eisenbach:1989:DFD%
		}.
\NAMECITE{database}{%
		Kilov:1989:BRA,%
		Lie:1989:COV,%
		Liu:1988:ODS,%
		Powell:1983:DMD,%
		Soupos:1987:SDE,%
		Thomas:1989:VCM%
		}.
\NAMECITE{dataspace}{%
		Roman:1989:ISD%
		}.
\NAMECITE{{Dave}}{%
		Robinson:1984:RDB%
		}.
\NAMECITE{David}{%
		Gerhart:1982:TRB,%
		Hamilton:1980:CDG,%
		Martin:1984:DGP,%
		Meyer:1983:SMW%
		}.
\NAMECITE{DBO}{%
		Gilb:1984:SEU%
		}.
\NAMECITE{deadline}{%
		Costello:1984:SEU%
		}.
\NAMECITE{debate}{%
		Blum:1982:LCD%
		}.
\NAMECITE{debug}{%
		Seidner:1983:IDR,%
		Beander:1983:VDI%
		}.
\NAMECITE{Debugger}{%
		Walter:1983:DUD,%
		Baiardi:1983:DDC,%
		Beander:1983:VDI,%
		Cardell:1983:MDS,%
		Cargill:1983:BDP,%
		Johnson:1983:IIS,%
		Kishimoto:1983:EDL,%
		Zellweger:1983:IHL,%
		Garg:1984:SOH%
		}.
\NAMECITE{Debugging}{%
		Gramlich:1983:DMS,%
		Hamlet:1983:DLS,%
		Agrawal:1989:BDB,%
		Bates:1983:AHL,%
		Bates:1983:RDD,%
		Bruegge:1983:GPE,%
		Cardell:1983:MDS,%
		Clarke:1983:AES,%
		Clarke:1984:RFC,%
		Ferrante:1983:HLL,%
		Foster:1983:CAE,%
		Fritzson:1983:SAA,%
		Gentleman:1983:HAH,%
		Gross:1983:DDS,%
		Hill:1983:RTM,%
		Linton:1983:KBD,%
		Mullerburg:1983:RDW,%
		Newsted:1981:IPS,%
		Ottenstein:1983:HLD,%
		Podgurski:1989:IPD,%
		Powell:1983:DMD,%
		Sedlmeyer:1983:KBF,%
		Tischler:1983:SAP,%
		Weber:1983:IDC%
		}.
\NAMECITE{decomposition}{%
		Forman:1989:DDM%
		}.
\NAMECITE{deeper}{%
		Huff:1989:PLA%
		}.
\NAMECITE{defence}{%
		Hall:1982:DLC%
		}.
\NAMECITE{defense}{%
		Parnas:1985:SAS,%
		Weiss:1985:SDI%
		}.
\NAMECITE{definable}{%
		Magel:1984:UDI%
		}.
\NAMECITE{defining}{%
		Babb:1979:ADA%
		}.
\NAMECITE{definition}{%
		DiVito:1985:TDB,%
		Dinsart:1989:ODV,%
		Humphrey:1989:SEP%
		}.
\NAMECITE{{Degree}}{%
		Bolognani:1983:MSE%
		}.
\NAMECITE{delayed}{%
		Garman:1981:BHR%
		}.
\NAMECITE{Delivery}{%
		Gilb:1985:EDV%
		}.
\NAMECITE{{DELTA}}{%
		Walter:1983:DUD%
		}.
\NAMECITE{Denis}{%
		Chapman:1986:BRS%
		}.
\NAMECITE{dependence}{%
		Ottenstein:1984:PDG%
		}.
\NAMECITE{dependencies}{%
		Podgurski:1989:IPD%
		}.
\NAMECITE{derivation}{%
		Dinsart:1989:ODV,%
		Miriyala:1989:AAS,%
		Reddy:1988:TDP,%
		Rombach:1989:SFS%
		}.
\NAMECITE{described}{%
		Osterweil:1989:ASE%
		}.
\NAMECITE{Describing}{%
		Roberts:1989:DAP%
		}.
\NAMECITE{Description}{%
		Giacalone:1984:III,%
		Katayama:1989:HFA,%
		Kramer:1989:CSS%
		}.
\NAMECITE{descriptions}{%
		Choi:1989:ACC%
		}.
\NAMECITE{descriptive}{%
		Boldyreff:1989:RSC%
		}.
\NAMECITE{Design}{%
		Baldwin:1983:LNV,%
		Coad:1987:DAD,%
		Fernstrom:1989:DCP,%
		Forman:1989:DDM,%
		Gilb:1987:DO,%
		Lundholm:1989:DMB,%
		Anderson:1989:PPS,%
		Antoy:1989:SDA,%
		Arisawa:1982:EDM,%
		Baalbergen:1989:DAC,%
		Baram:1989:SCA,%
		Bates:1983:RDD,%
		Benson:1986:RFS,%
		Botting:1986:FDI,%
		Brown:1984:MAS,%
		Ceri:1983:RDB,%
		Craigen:1985:STA,%
		Curtis:1982:AFF,%
		Dahler:1987:GTD,%
		Early:1986:RSR,%
		Eisenbach:1989:DFD,%
		George:1982:PCC,%
		Gilb:1984:SEU,%
		Gilb:1986:SSD,%
		Jamsa:1984:OOD,%
		King:1982:JDM,%
		Kurki-Suonio:1989:ASA,%
		Lehman:1984:ALS,%
		Liu:1989:OSR,%
		Macdonald:1985:VRS,%
		Masiero:1988:JOO,%
		McFarland:1986:BBD,%
		Pett:1989:FFD,%
		Putnam:1985:VDV,%
		Rajaraman:1982:CSD,%
		Richter:1986:ASA,%
		Rine:1987:CEO,%
		Robillard:1989:EGN,%
		Robinson:1984:RDB,%
		Schilling:1981:PMD,%
		Smoliar:1983:SAD,%
		Terwilliger:1989:EFS,%
		Tripp:1988:GNP,%
		Wasserman:1989:OOS,%
		Westphal:1988:KES,%
		Whitehurst:1985:NID,%
		Williams:1989:SDI,%
		Zahniser:1988:PTD,%
		Harandi:1988:WSS%
		}.
\NAMECITE{Designing}{%
		Mili:1982:DSB,%
		Goldberg:1987:SPT,%
		Soloway:1984:CBM%
		}.
\NAMECITE{designs}{%
		Stavely:1982:MED,%
		Zelkowitz:1984:TPD%
		}.
\NAMECITE{detailing}{%
		Koomen:1989:LMD%
		}.
\NAMECITE{Detecting}{%
		Feather:1989:DIW%
		}.
\NAMECITE{developers}{%
		Marca:1989:SCG%
		}.
\NAMECITE{Developing}{%
		Ramsey:1989:DFV,%
		Kung:1984:AGH,%
		Lin:1989:LRF,%
		Ramanathan:1982:UAS,%
		Strelich:1988:SLC%
		}.
\NAMECITE{Development}{%
		Baiardi:1983:DDC,%
		Chesi:1984:IIS,%
		Aoyama:1987:CDS,%
		Berry:1985:IJP,%
		Boehm:1986:SMS,%
		Campbell:1984:SPS,%
		Chroust:1988:MIC,%
		Chroust:1989:ADP,%
		DIppolito:1989:SDU,%
		Diaz-Herrera:1984:PPS,%
		Dutton:1984:RTP,%
		Falkerngerg:1989:CML,%
		Feiertag:1981:AED,%
		Finkelstein:1989:CDF,%
		Ford:1982:IPD,%
		Freeman:1984:CSD,%
		Fritsch:1989:MCS,%
		Geller:1985:BWC,%
		Gilb:1981:ED,%
		Greenspan:1986:RDK,%
		Henderson:1985:SDP,%
		Henderson:1986:SDP,%
		Henderson:1987:SDE,%
		Hill:1989:RCT,%
		Howden:1981:CSD,%
		Huang:1987:SSD,%
		Huff:1988:PBI,%
		Kaiser:1989:RBM,%
		Keus:1982:PMR,%
		Kokol:1989:MSD,%
		Ladden:1988:OOD,%
		Lehman:1986:ADD,%
		Lewerentz:1988:EPL,%
		Livson:1987:FSD,%
		Loy:1985:SPC,%
		MacLean:1989:FPS,%
		Mannino:1987:PCF,%
		Mastro:1985:TDS,%
		Minsky:1988:SDE,%
		Murray:1988:PRD,%
		Neumann:1982:PIC,%
		Notkin:1988:RBS,%
		Ottenstein:1984:PDG,%
		Parikh:1986:EWSb,%
		Penteado:1985:SCJ,%
		Pett:1989:FFD,%
		Prentice:1981:ASD,%
		Ramanathan:1985:TBI,%
		Reiss:1984:GPD,%
		Salenieks:1989:SDA,%
		Shaw:1984:IFT,%
		Snodgrass:1984:MSD,%
		Soupos:1987:SDE,%
		Standish:1981:ADS,%
		Stinson:1989:VSD,%
		Summersgill:1989:HFP,%
		Tanik:1980:SDM,%
		Tardy:1988:HTA,%
		Terwilliger:1989:EFS,%
		Walpole:1988:UMC,%
		Ward:1985:UEN,%
		Weber:1984:DDS,%
		Westfechtek:1989:RCI,%
		Winters:1986:RCS,%
		Yiannakos:1984:QAQ,%
		Young:1989:ICA,%
		vandenBosch:1982:ESD,%
		Conde:1986:BRA%
		}.
\NAMECITE{development-in-the-large}{%
		Ramanathan:1985:TBI%
		}.
\NAMECITE{development/programming}{%
		Henderson:1985:SDP,%
		Henderson:1986:SDP%
		}.
\NAMECITE{developments}{%
		Jahnichen:1986:TAM%
		}.
\NAMECITE{diagram}{%
		Lempp:1986:PMP%
		}.
\NAMECITE{diagrams}{%
		Hendricksen:1989:AST%
		}.
\NAMECITE{dialogic}{%
		Finkelstein:1989:CDF%
		}.
\NAMECITE{dice}{%
		Fritzson:1984:PED%
		}.
\NAMECITE{dictionaries}{%
		London:1989:SRC%
		}.
\NAMECITE{dictionary}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{did}{%
		Brown:1984:MAS,%
		Robinson:1984:RDB%
		}.
\NAMECITE{didn't}{%
		Nelson:1985:WRS%
		}.
\NAMECITE{different}{%
		Gentleman:1989:CRS,%
		Wing:1985:BFB%
		}.
\NAMECITE{{Dijkstra}}{%
		Schneider:1988:WDP%
		}.
\NAMECITE{dik}{%
		Iseki:1986:ADM%
		}.
\NAMECITE{dimension}{%
		Botting:1986:FDI%
		}.
\NAMECITE{dimensional}{%
		Mastro:1985:TDS%
		}.
\NAMECITE{Dining}{%
		Kokol:1987:DPJ%
		}.
\NAMECITE{direct}{%
		Iseki:1986:ADM%
		}.
\NAMECITE{directed}{%
		Heyman:1985:SDE,%
		Newbery:1989:ECM,%
		Zelkowits:1984:SCE%
		}.
\NAMECITE{directions}{%
		Parikh:1986:EWSb%
		}.
\NAMECITE{discipline}{%
		Arango:1989:DAA,%
		Druffel:1982:NPD,%
		Zimmer:1988:WND%
		}.
\NAMECITE{disciplined}{%
		Lehman:1986:ADD,%
		Rich:1982:DUS%
		}.
\NAMECITE{Discovering}{%
		Parikh:1985:DWS,%
		Schwanke:1989:DVC%
		}.
\NAMECITE{discussion}{%
		Garman:1981:BHR,%
		Hamilton:1980:IWF,%
		Weiss:1985:SDI%
		}.
\NAMECITE{display}{%
		Mano:1981:IMD%
		}.
\NAMECITE{displays}{%
		Abdali:1985:EWD%
		}.
\NAMECITE{disruptive}{%
		Ungar:1984:GSN%
		}.
\NAMECITE{Distributed}{%
		Gross:1983:DDS,%
		Bates:1983:AHL,%
		Boyd:1987:SDD,%
		Dahler:1987:GTD,%
		DeTreville:1984:PIS,%
		Fritzson:1984:PED,%
		Glasgow:1985:LSL,%
		Kurki-Suonio:1989:ASA,%
		Leblang:1984:CAS,%
		Pakstas:1989:ALC,%
		Shyamasundar:1989:RRT,%
		Walpole:1988:UMC,%
		Weber:1984:DDS%
		}.
\NAMECITE{DMDOS}{%
		Iseki:1986:ADM%
		}.
\NAMECITE{do}{%
		Minsky:1986:WSW,%
		Tai:1989:WDB%
		}.
\NAMECITE{Document}{%
		Donzeau-Gouge:1984:DSM%
		}.
\NAMECITE{{DOD}}{%
		Munck:1988:ODS,%
		Coad:1987:DAD%
		}.
\NAMECITE{{DOD-STD-1838A}}{%
		Munck:1988:ODS%
		}.
\NAMECITE{{DoD-STD-2167}}{%
		Coad:1987:DAD%
		}.
\NAMECITE{Does}{%
		Landwehr:1985:DPV,%
		Druffel:1982:NPD%
		}.
\NAMECITE{dogmas}{%
		McLean:1985:TDP%
		}.
\NAMECITE{Dolkes}{%
		Reifer:1985:RPP%
		}.
\NAMECITE{Domain}{%
		Arango:1989:DAA,%
		Greenspan:1986:RDK,%
		Robinson:1989:IMS,%
		Shlaer:1989:OOA%
		}.
\NAMECITE{Donald}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{Don't}{%
		Hamilton:1980:DLB%
		}.
\NAMECITE{dormant}{%
		Aggarwal:1985:MDF%
		}.
\NAMECITE{down}{%
		Buckley:1986:SSQ,%
		Hill:1989:RCT,%
		Zahniser:1988:PTD%
		}.
\NAMECITE{{Dr.}}{%
		Gries:1982:LDS%
		}.
\NAMECITE{draft}{%
		Bates:1983:AHL,%
		Cargill:1983:BDP,%
		Gentleman:1983:HAH,%
		Sedlmeyer:1983:KBF%
		}.
\NAMECITE{dream}{%
		Mili:1982:DSB%
		}.
\NAMECITE{driven}{%
		Fernstrom:1989:DCP,%
		Ramanathan:1985:URD%
		}.
\NAMECITE{Duplicate}{%
		Chroust:1989:DIE%
		}.
\NAMECITE{dust}{%
		Leveson:1987:STS%
		}.
\NAMECITE{{DYMOS}}{%
		Cook:1983:DDM%
		}.
\NAMECITE{dynamic}{%
		Botting:1986:FDI,%
		Cook:1983:DDM%
		}.


\NAMECITE{{E.}}{%
		Miya:1982:RTB,%
		Schneider:1988:WDP%
		}.
\NAMECITE{each}{%
		vanVleck:1989:TQA%
		}.
\NAMECITE{early}{%
		Karakostas:1989:RCT,%
		Shaw:1984:IFT%
		}.
\NAMECITE{{{Economics}}}{%
		Bryant:1983:BWB%
		}.
\NAMECITE{Edge}{%
		Newbery:1989:ECM%
		}.
\NAMECITE{editing}{%
		Heyman:1985:SDE,%
		Zelkowits:1984:SCE%
		}.
\NAMECITE{editor}{%
		Fischer:1984:PLB,%
		Zelkowits:1984:SCE%
		}.
\NAMECITE{editors}{%
		Garlan:1984:GIP,%
		Horgan:1984:TIL%
		}.
\NAMECITE{Education}{%
		Spicer:1983:SAS,%
		Werth:1987:SSE%
		}.
\NAMECITE{effect}{%
		Adler:1983:FMC,%
		Bailey:1982:EEI,%
		Druffel:1982:PEA,%
		Offutt:1989:CEF%
		}.
\NAMECITE{effects}{%
		Yates:1989:REI%
		}.
\NAMECITE{efficiency}{%
		Loka:1989:PLE,%
		Newsted:1981:IPS%
		}.
\NAMECITE{effort}{%
		Craigen:1985:STA,%
		Kokol:1988:SEM%
		}.
\NAMECITE{eighteen}{%
		Riddle:1984:MNE%
		}.
\NAMECITE{elaborations}{%
		Dubois:1989:LAS%
		}.
\NAMECITE{Eldred}{%
		Smoliar:1981:TBN%
		}.
\NAMECITE{electronic}{%
		Delisle:1989:FSE%
		}.
\NAMECITE{elements}{%
		Chroust:1989:DIE%
		}.
\NAMECITE{Eliminating}{%
		Gries:1980:EC%
		}.
\NAMECITE{embedded}{%
		Tardy:1988:HTA,%
		White:1986:TEC%
		}.
\NAMECITE{Embellishments}{%
		Denning:1980:ENI%
		}.
\NAMECITE{emerging}{%
		Dunn:1985:ESS%
		}.
\NAMECITE{emphasis}{%
		Zave:1986:LPM%
		}.
\NAMECITE{Empirical}{%
		Soloway:1986:WES%
		}.
\NAMECITE{enable}{%
		Dunn:1985:ESS%
		}.
\NAMECITE{Enactable}{%
		Krzanik:1989:EMQ%
		}.
\NAMECITE{enactment}{%
		Osterweil:1989:ASE%
		}.
\NAMECITE{encrypted}{%
		Smith:1981:VEP%
		}.
\NAMECITE{enemy}{%
		Hamilton:1981:WME%
		}.
\NAMECITE{engineer}{%
		Gilb:1986:SSD,%
		Harwood:1987:PRS%
		}.
\NAMECITE{Engineering}{%
		Bolognani:1983:MSE,%
		Bryant:1983:BWB,%
		Crocker:1985:ERP,%
		Leblang:1984:CAS,%
		Lee:1983:RLS,%
		Penedo:1988:OMI,%
		Spicer:1983:SAS,%
		Agresti:1981:SEI,%
		Anonymous:1984:ASE,%
		Arango:1988:FIP,%
		Arango:1989:DAA,%
		Babb:1979:ADA,%
		Belady:1982:IHE,%
		Brereton:1987:SEE,%
		Buckley:1986:RQA,%
		Buckley:1988:BES,%
		Costello:1984:SEU,%
		Druffel:1982:PEA,%
		Fairley:1988:PMA,%
		Floyd:1988:PCS,%
		Gilb:1981:SAS,%
		Gilb:1984:SEU,%
		Goodman:1981:ESE,%
		Guttag:1986:ASE,%
		Hamilton:1980:DLB,%
		Hamilton:1980:IWF,%
		Hamilton:1981:WME,%
		Humphrey:1989:SEP,%
		Koenig:1988:III,%
		Kokol:1987:SPS,%
		Lie:1989:COV,%
		Mahler:1988:ITE,%
		Miya:1985:SE,%
		Miyamoto:1987:PTG,%
		Moore:1985:SES,%
		Mullerburg:1983:RDW,%
		Musa:1983:SSE,%
		Newcastle:1986:ASE,%
		Pechura:1980:PEI,%
		Pratt:1987:CTS,%
		Riddle:1982:PTM,%
		Simmonds:1989:CMP,%
		Stinson:1989:VSA,%
		Thomas:1989:VCM,%
		Werth:1987:SSE,%
		Westphal:1988:KES,%
		Whelan:1981:ICS,%
		Zahniser:1988:CSV,%
		Zave:1986:FPS,%
		Chapman:1986:BRS,%
		Miya:1982:RTB%
		}.
\NAMECITE{engineers}{%
		Frankel:1982:CCS%
		}.
\NAMECITE{enhanced}{%
		Melliar-Smith:1985:EHS%
		}.
\NAMECITE{enhancement}{%
		Balzer:1986:PEP,%
		Boehm:1986:SMS%
		}.
\NAMECITE{Enhancing}{%
		Pixon:1985:EFE%
		}.
\NAMECITE{Enlarging}{%
		Loy:1989:ESS%
		}.
\NAMECITE{Environment}{%
		Chesi:1984:IIS,%
		Strelich:1988:SLC,%
		Cashman:1980:COA,%
		Clarke:1988:TSE,%
		Clemm:1988:WSP,%
		Delisle:1984:VPE,%
		Donnelly:1988:CST,%
		Eckmann:1985:IIE,%
		Fritzson:1984:PED,%
		Gabriel:1984:PET,%
		Garlan:1984:GIP,%
		Good:1985:SGV,%
		Guoliang:1988:KMI,%
		Gustavsson:1989:MES,%
		Kapur:1985:RTP,%
		Kishimoto:1983:EDL,%
		Leblang:1984:CAS,%
		Lehman:1986:ADD,%
		Lewerentz:1988:EPL,%
		Liu:1988:ODS,%
		Mano:1981:IMD,%
		Minsky:1984:DSE,%
		Minsky:1988:SDE,%
		Osterweil:1981:SER,%
		Ottenstein:1984:PDG,%
		Rodden:1988:IAI,%
		Shaw:1984:IFT,%
		Simmonds:1989:CMP,%
		Smith:1985:GVE,%
		Snodgrass:1984:MSD,%
		Soupos:1987:SDE,%
		Staff:1985:PAA,%
		Standish:1984:APA,%
		Taylor:1988:FAE,%
		Ward:1985:UEN,%
		Weber:1984:DDS,%
		Wegner:1980:ALE,%
		Wertz:1983:ILP,%
		Westfechtek:1989:RCI,%
		Yonezaki:1986:LEN,%
		Young:1989:ICA,%
		Perry:1989:LPI%
		}.
\NAMECITE{Environments}{%
		Riddle:1986:SEW,%
		Sommerville:1987:REC,%
		Alford:1982:PEE,%
		Ashok:1989:PMS,%
		Barstow:1984:IPE,%
		Belady:1982:IHE,%
		Brereton:1987:SEE,%
		Fernstrom:1989:DCP,%
		Heimbigner:1988:GTM,%
		Henderson:1985:SDP,%
		Henderson:1986:SDP,%
		Henderson:1987:SDE,%
		Henderson:1988:ME,%
		Houghton:1987:CFS,%
		Howden:1981:CSD,%
		Lee:1983:IE,%
		Lee:1988:ESS,%
		Magel:1984:PSE,%
		Mittermeir:1982:HLF,%
		Mullerburg:1983:RDW,%
		Niskier:1989:LTP,%
		Notkin:1988:RBS,%
		Parker:1985:TMI,%
		Pett:1989:FFD,%
		Prentice:1981:ASD,%
		Ramanathan:1985:URD,%
		Reed:1987:RES,%
		Soloway:1984:CBM,%
		Stinson:1989:VSD,%
		Walpole:1988:UMC,%
		Zelkowitz:1981:HLL,%
		Dowson:1986:PPI,%
		Penedo:1988:OMI%
		}.
\NAMECITE{{EPOS}}{%
		Lempp:1986:PMP%
		}.
\NAMECITE{equational}{%
		Kapur:1985:EAT%
		}.
\NAMECITE{ergo}{%
		Lee:1988:ESS,%
		Nord:1988:EAS%
		}.
\NAMECITE{Errata}{%
		Neumann:1989:EIP%
		}.
\NAMECITE{error}{%
		Clarke:1983:AES,%
		Clarke:1984:RFC,%
		Foster:1983:CAE,%
		Foster:1985:RES,%
		Rine:1987:CEO%
		}.
\NAMECITE{error-sensitive}{%
		Clarke:1983:AES,%
		Clarke:1984:RFC,%
		Foster:1983:CAE%
		}.
\NAMECITE{{ERTS}}{%
		Currey:1986:LEL%
		}.
\NAMECITE{ESML}{%
		Bruyn:1988:ESM%
		}.
\NAMECITE{{Esprit}}{%
		Thomas:1988:PEP%
		}.
\NAMECITE{essay}{%
		Bryant:1983:BWB%
		}.
\NAMECITE{Essential}{%
		Lehman:1987:EPI%
		}.
\NAMECITE{Estimating}{%
		Bieman:1989:ENT,%
		Gilb:1986:ESA%
		}.
\NAMECITE{Ethnotech}{%
		Kilov:1983:RER%
		}.
\NAMECITE{{{{Ethnotechnical}}}}{%
		Kilov:1983:RER%
		}.
\NAMECITE{Evaluating}{%
		Bailey:1982:EEI%
		}.
\NAMECITE{Evaluation}{%
		Arisawa:1982:EDM,%
		Martin:1988:ECS,%
		vandenBosch:1982:ESD,%
		Alford:1982:PEE,%
		Bowen:1986:CSQ,%
		Clarke:1988:TSE,%
		Johnson:1983:SEC,%
		Riddle:1982:PTM,%
		Rzepka:1983:RSE%
		}.
\NAMECITE{Evans}{%
		Reifer:1985:RPP%
		}.
\NAMECITE{event}{%
		Miranda:1989:LEL%
		}.
\NAMECITE{{EVENT-ANALYSIS}}{%
		Olenfeldt:1985:VSP%
		}.
\NAMECITE{{EVES}}{%
		Craigen:1985:EU%
		}.
\NAMECITE{Evolution}{%
		Bazelmans:1985:ECM,%
		Chambers:1983:EMB,%
		Ejiogu:1983:ESS,%
		Donnelly:1988:CST,%
		Gustavsson:1989:MES,%
		Kramer:1989:CSS,%
		Lehman:1983:MEM,%
		Minsky:1984:DSE,%
		Minsky:1986:WSW,%
		Robillard:1989:EGN,%
		Scacchi:1989:MSE%
		}.
\NAMECITE{Evolutionary}{%
		Gilb:1981:ED,%
		Gilb:1985:EDV,%
		Hekmatpour:1987:EEP,%
		Krzanik:1989:EMQ%
		}.
\NAMECITE{evolutions}{%
		Feather:1989:DIW%
		}.
\NAMECITE{evolving}{%
		Perry:1986:TES%
		}.
\NAMECITE{example}{%
		Proctor:1985:RAP,%
		Rosen:1981:VNC,%
		Terwilliger:1989:EFS%
		}.
\NAMECITE{executable}{%
		Davis:1982:RPU,%
		Goguen:1982:RPO,%
		Lehman:1982:RPS,%
		Phillips:1989:SCA,%
		Smoliar:1982:AES,%
		Stavely:1982:MED,%
		Thompson:1989:FPE%
		}.
\NAMECITE{Executing}{%
		Blumofe:1988:ERT%
		}.
\NAMECITE{execution}{%
		Choi:1989:PSM,%
		Cohen:1982:USE,%
		King:1981:PRU,%
		Mikelsons:1983:IPE%
		}.
\NAMECITE{executions}{%
		Barra:1983:SPT,%
		Razouk:1989:RTI%
		}.
\NAMECITE{exercise}{%
		Foster:1980:CEA%
		}.
\NAMECITE{exercises}{%
		Lee:1983:RLS%
		}.
\NAMECITE{existing}{%
		McHugh:1985:AVU%
		}.
\NAMECITE{expansion}{%
		Chelini:1986:PSA%
		}.
\NAMECITE{expenses}{%
		Zave:1984:RSM%
		}.
\NAMECITE{Experience}{%
		Gill:1982:ECS,%
		Hekmatpour:1987:EEP,%
		Moore:1981:EWV,%
		Baldwin:1983:LNV,%
		Bonet:1984:SSE,%
		Estublier:1984:PEC,%
		Fritzson:1984:PED%
		}.
\NAMECITE{Experiences}{%
		Jordan:1989:ECM,%
		Zucconi:1989:TEC%
		}.
\NAMECITE{experiment}{%
		Benson:1981:PEA,%
		Buckley:1988:BES,%
		Goodman:1981:ESE,%
		Kempe:1989:HEP,%
		Wileden:1988:PEP%
		}.
\NAMECITE{Experimental}{%
		Rowland:1989:ECT,%
		Barstow:1982:RPA,%
		Kishimoto:1983:EDL%
		}.
\NAMECITE{Experiments}{%
		Avrunin:1989:EAA,%
		Curtis:1982:AFF,%
		Riddle:1982:PTM%
		}.
\NAMECITE{expertation}{%
		Parikh:1987:EE%
		}.
\NAMECITE{Experter}{%
		Parikh:1987:EE%
		}.
\NAMECITE{exploitation}{%
		Feiertag:1981:AED%
		}.
\NAMECITE{Exploiting}{%
		Abdali:1985:EWD%
		}.
\NAMECITE{Exploring}{%
		Parikh:1986:EWSa,%
		Parikh:1986:EWSb%
		}.
\NAMECITE{expression}{%
		Pixon:1985:EFE%
		}.
\NAMECITE{expressions}{%
		Bruegge:1983:GPE,%
		Foster:1984:STD%
		}.
\NAMECITE{Extended}{%
		Lewerentz:1988:EPL,%
		Vitter:1984:UNF,%
		Boebert:1985:EAM,%
		Bruyn:1988:ESM%
		}.
\NAMECITE{extensions}{%
		Peters:1989:TES%
		}.
\NAMECITE{extraction}{%
		Maarek:1989:ULA%
		}.


\NAMECITE{F}{%
		Smoliar:1984:RPP%
		}.
\NAMECITE{{FACC}}{%
		Yelowitz:1981:FAP%
		}.
\NAMECITE{Facilitating}{%
		Wileden:1989:FPP%
		}.
\NAMECITE{fact}{%
		Offutt:1989:CEF%
		}.
\NAMECITE{factorial}{%
		Curtis:1982:AFF%
		}.
\NAMECITE{factors}{%
		Summersgill:1989:HFP%
		}.
\NAMECITE{factory}{%
		Scacchi:1989:USF%
		}.
\NAMECITE{failure}{%
		Benson:1986:RFS%
		}.
\NAMECITE{fairness}{%
		Chandy:1988:AVF,%
		Dijkstra:1988:PPF,%
		Schneider:1988:WDP%
		}.
\NAMECITE{family}{%
		Garlan:1984:GIP%
		}.
\NAMECITE{fashioned}{%
		Anonymous:1985:OFL%
		}.
\NAMECITE{fast}{%
		Mittermeir:1982:HLF%
		}.
\NAMECITE{fault}{%
		Sedlmeyer:1983:KBF,%
		Weber:1989:FSF%
		}.
\NAMECITE{fault-tolerance}{%
		Weber:1989:FSF%
		}.
\NAMECITE{{FDM}}{%
		Landauer:1981:AFK,%
		Pixon:1985:EFE%
		}.
\NAMECITE{feasibility}{%
		Weiss:1985:SDI%
		}.
\NAMECITE{features}{%
		Ford:1982:IPD,%
		Schwanke:1989:CRF%
		}.
\NAMECITE{Feb}{%
		Smith:1985:PPP%
		}.
\NAMECITE{{FGMSD}}{%
		Blum:1987:GRF%
		}.
\NAMECITE{{FGMSD-80-4}}{%
		Blum:1987:GRF%
		}.
\NAMECITE{fiction}{%
		Offutt:1989:CEF%
		}.
\NAMECITE{field}{%
		Babb:1979:ADA,%
		Clune:1989:SFG%
		}.
\NAMECITE{files}{%
		Aggarwal:1985:MDF,%
		Rickert:1985:SMS%
		}.
\NAMECITE{find}{%
		vanVleck:1989:TQA%
		}.
\NAMECITE{Finkel}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{first}{%
		Garman:1981:BHR,%
		Hamilton:1980:IWF,%
		Kapur:1985:EAT,%
		Yue:1989:RFO,%
		Calliss:1988:FUS%
		}.
\NAMECITE{first-order}{%
		Kapur:1985:EAT%
		}.
\NAMECITE{fiscal}{%
		Zave:1984:RSM%
		}.
\NAMECITE{five}{%
		Osterweil:1981:SER%
		}.
\NAMECITE{flight}{%
		Garman:1981:BHR%
		}.
\NAMECITE{flow}{%
		Denning:1980:ENI,%
		Eisenbach:1989:DFD,%
		Gasser:1980:NIF,%
		Gill:1982:ECS,%
		Harrold:1989:IDF,%
		Tate:1985:RPS,%
		Zellweger:1983:IHL%
		}.
\NAMECITE{{FM89}}{%
		Gerhart:1989:PSF%
		}.
\NAMECITE{focus}{%
		Reddy:1988:TDP%
		}.
\NAMECITE{foolish}{%
		Parikh:1985:SMP%
		}.
\NAMECITE{form}{%
		Arango:1989:DAA%
		}.
\NAMECITE{Formal}{%
		Anonymous:1980:WFV,%
		Hagemann:1987:FRS,%
		Weber:1989:FSF,%
		Balcer:1989:AGT,%
		Berry:1985:IJP,%
		Eckmann:1985:IIE,%
		Gerhart:1989:PSF,%
		Lin:1989:LRF,%
		Pett:1989:FFD,%
		Proctor:1985:RAP,%
		Rombach:1989:SFS,%
		Shaw:1984:IFT,%
		Stokes:1985:SFM,%
		Terwilliger:1989:EFS%
		}.
\NAMECITE{Formalisms}{%
		Woodcock:1988:F,%
		Kellner:1989:RFS%
		}.
\NAMECITE{formalization}{%
		Adler:1983:FMC%
		}.
\NAMECITE{formalizing}{%
		Landwehr:1985:SLF%
		}.
\NAMECITE{Formally}{%
		Delisle:1989:FSE,%
		Ramsey:1989:DFV%
		}.
\NAMECITE{forms}{%
		Kienle:1988:PRF%
		}.
\NAMECITE{{FORTRAN}}{%
		Janssens:1984:SPF%
		}.
\NAMECITE{{Foster}}{%
		Clarke:1984:RFC,%
		Polak:1980:RKF%
		}.
\NAMECITE{Found}{%
		Zave:1986:FPS%
		}.
\NAMECITE{foundation}{%
		Smoliar:1983:SAD%
		}.
\NAMECITE{Foundational}{%
		Evangelist:1986:FPS%
		}.
\NAMECITE{Foundations}{%
		Taylor:1988:FAE,%
		Kemmerer:1985:OF%
		}.
\NAMECITE{four}{%
		Mannino:1987:PCF%
		}.
\NAMECITE{fourth}{%
		Botting:1986:FDI,%
		Chapin:1984:SMF%
		}.
\NAMECITE{fourth-generation}{%
		Chapin:1984:SMF%
		}.
\NAMECITE{fractional}{%
		Curtis:1982:AFF%
		}.
\NAMECITE{framework}{%
		Arango:1988:FIP,%
		Finkelstein:1989:CDF,%
		Koenig:1988:III,%
		Pett:1989:FFD,%
		Rombach:1989:SFS,%
		Strelich:1988:SLC,%
		Vitter:1984:UNF%
		}.
\NAMECITE{Freedman}{%
		Kilov:1983:RER%
		}.
\NAMECITE{friendly}{%
		Golden:1980:PFS%
		}.
\NAMECITE{full}{%
		Brown:1984:MAS,%
		Notkin:1989:ASP%
		}.
\NAMECITE{Functional}{%
		Garg:1985:FCM,%
		Thompson:1989:FPE,%
		Boyer:1985:PTP,%
		Katayama:1989:HFA,%
		MacLean:1989:FPS,%
		Wing:1985:BFB%
		}.
\NAMECITE{functions}{%
		Houghton:1987:CFS%
		}.
\NAMECITE{Future}{%
		Livson:1987:FSD,%
		Staff:1985:PAA,%
		Parikh:1986:EWSb%
		}.


\NAMECITE{G}{%
		Denning:1982:RVS%
		}.
\NAMECITE{gaining}{%
		Hamilton:1980:DLB%
		}.
\NAMECITE{{GAO}}{%
		Blum:1987:GRF%
		}.
\NAMECITE{Gasser}{%
		Denning:1982:RVS%
		}.
\NAMECITE{gathering}{%
		Young:1989:CCM%
		}.
\NAMECITE{general}{%
		Ghezzi:1989:GWP%
		}.
\NAMECITE{Generalized}{%
		Bruegge:1983:GPE,%
		Kung:1984:AGH%
		}.
\NAMECITE{generated}{%
		Rueher:1989:CSP%
		}.
\NAMECITE{Generation}{%
		Ungar:1984:GSN,%
		Balcer:1989:AGT,%
		Chapin:1984:SMF,%
		Good:1985:SGV,%
		Hoffman:1989:MTC,%
		McCoyd:1982:SSG,%
		Wasserman:1989:OOS,%
		Binder:1989:ARO%
		}.
\NAMECITE{generator}{%
		Reps:1984:SG%
		}.
\NAMECITE{Geoffrey}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{gepreek}{%
		Parnas:1981:LGU%
		}.
\NAMECITE{Gerald}{%
		Kilov:1983:RER%
		}.
\NAMECITE{{Gerhart}}{%
		Gries:1982:LDS%
		}.
\NAMECITE{get}{%
		Gladden:1982:SLC%
		}.
\NAMECITE{Glas}{%
		Perlman:1980:THL%
		}.
\NAMECITE{{Glass}}{%
		Glass:1981:LRG%
		}.
\NAMECITE{{GNOME}}{%
		Garlan:1984:GIP%
		}.
\NAMECITE{goal}{%
		Dubois:1989:LAS%
		}.
\NAMECITE{goal-oriented}{%
		Dubois:1989:LAS%
		}.
\NAMECITE{goals}{%
		Robinson:1989:IMS%
		}.
\NAMECITE{good}{%
		Gustafson:1984:SGP%
		}.
\NAMECITE{Goodfellow}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{goose}{%
		Bonyun:1981:UCG%
		}.
\NAMECITE{governed}{%
		Minsky:1988:SDE%
		}.
\NAMECITE{grammars}{%
		Kaplan:1989:SCS%
		}.
\NAMECITE{Graph}{%
		Alpern:1988:GAS,%
		Heimbigner:1988:GTM,%
		Ottenstein:1984:PDG%
		}.
\NAMECITE{graphic}{%
		Knoll:1989:GLB%
		}.
\NAMECITE{Graphical}{%
		Jonsson:1989:GPN,%
		Reiss:1984:GPD,%
		Schwan:1986:GVP,%
		Tripp:1988:GNP,%
		Dahler:1987:GTD,%
		Miyamoto:1987:PTG,%
		Robillard:1989:EGN,%
		ofLowell:1987:GKS%
		}.
\NAMECITE{graphs}{%
		Adler:1983:FMC,%
		Newbery:1989:ECM,%
		Tanik:1980:SDM,%
		Yue:1989:RFO%
		}.
\NAMECITE{Gries}{%
		Gerhart:1982:TRB,%
		Hamilton:1980:CDG,%
		Martin:1984:DGP,%
		Meyer:1983:SMW%
		}.
\NAMECITE{ground}{%
		Clune:1989:SFG%
		}.
\NAMECITE{group}{%
		Bazelmans:1985:PRT,%
		Galbraith:1987:SUGa,%
		Galbraith:1987:SUGb,%
		Musa:1983:SSE,%
		Young:1988:SUG%
		}.
\NAMECITE{groupware}{%
		Marca:1989:SCG%
		}.
\NAMECITE{guide}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{guidebook}{%
		Bowen:1986:CSQ%
		}.
\NAMECITE{guidelines}{%
		Marca:1989:SCG%
		}.
\NAMECITE{Guttag}{%
		Conde:1986:BRA%
		}.
\NAMECITE{Guy}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{Gypsy}{%
		Cohen:1988:VMG,%
		Smith:1985:GVE,%
		Young:1989:VCM%
		}.


\NAMECITE{H}{%
		Denning:1982:RVS%
		}.
\NAMECITE{hacker}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{Hall}{%
		Gerhart:1982:TRB%
		}.
\NAMECITE{{{handbook}}}{%
		Kilov:1983:RER%
		}.
\NAMECITE{Hardware}{%
		Gentleman:1983:HAH%
		}.
\NAMECITE{harmful}{%
		McCracken:1982:LCC%
		}.
\NAMECITE{Harper}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{hazardous}{%
		Chambers:1983:EMB%
		}.
\NAMECITE{{HDM}}{%
		Melliar-Smith:1985:EHS%
		}.
\NAMECITE{health}{%
		Chambers:1983:EMB%
		}.
\NAMECITE{heard}{%
		Garman:1981:BHR%
		}.
\NAMECITE{held}{%
		Smith:1985:PPP%
		}.
\NAMECITE{help}{%
		Landwehr:1985:DPV%
		}.
\NAMECITE{{Hereford}}{%
		Ratcliffe:1987:HWS%
		}.
\NAMECITE{Hermann}{%
		Smoliar:1981:TBN%
		}.
\NAMECITE{heuristics}{%
		Wilson:1985:PHT%
		}.
\NAMECITE{{HIBOL}}{%
		Mittermeir:1982:HLF%
		}.
\NAMECITE{hierarchical}{%
		Iivari:1987:HSM,%
		Katayama:1989:HFA,%
		Musser:1985:AHS%
		}.
\NAMECITE{High}{%
		Ferrante:1983:HLL,%
		Gerhart:1981:HLT,%
		Ottenstein:1983:HLD,%
		Zelkowitz:1981:HLL,%
		Bates:1983:AHL,%
		Bruegge:1983:GPE,%
		Cardell:1983:MDS,%
		Gentleman:1983:HAH,%
		Perlman:1980:THL,%
		Ungar:1984:GSN,%
		Zellweger:1983:IHL%
		}.
\NAMECITE{High-level}{%
		Gerhart:1981:HLT,%
		Ottenstein:1983:HLD,%
		Bates:1983:AHL,%
		Cardell:1983:MDS,%
		Perlman:1980:THL,%
		Zellweger:1983:IHL%
		}.
\NAMECITE{higher}{%
		Boyer:1985:PTP,%
		Lubars:1986:AHR,%
		Shaw:1989:LSS%
		}.
\NAMECITE{higher-level}{%
		Shaw:1989:LSS%
		}.
\NAMECITE{higher-order}{%
		Boyer:1985:PTP%
		}.
\NAMECITE{highlevel}{%
		Garg:1984:SOH%
		}.
\NAMECITE{Highlights}{%
		Ritter:1987:HNA%
		}.
\NAMECITE{Hill}{%
		Conde:1986:BRA%
		}.
\NAMECITE{history}{%
		Ward:1985:UEN%
		}.
\NAMECITE{{Hoare}}{%
		vonHenke:1985:RHS%
		}.
\NAMECITE{Holland}{%
		Smoliar:1981:TBN%
		}.
\NAMECITE{Holt}{%
		Chapman:1986:BRS%
		}.
\NAMECITE{{Horning}}{%
		Lee:1985:RJH%
		}.
\NAMECITE{hospitals}{%
		Gill:1982:ECS%
		}.
\NAMECITE{Host}{%
		Tardy:1988:HTA,%
		Kung:1984:AGH%
		}.
\NAMECITE{Host/target}{%
		Tardy:1988:HTA,%
		Kung:1984:AGH%
		}.
\NAMECITE{Huff}{%
		Denning:1982:RVS%
		}.
\NAMECITE{Human}{%
		Summersgill:1989:HFP,%
		Belady:1982:IHE%
		}.
\NAMECITE{{Hyperbook}}{%
		Kempe:1989:HEP%
		}.
\NAMECITE{hypercube}{%
		Choi:1989:PSM%
		}.


\NAMECITE{iconic}{%
		Beaudouin-Lafon:1988:UIS%
		}.
\NAMECITE{{ICSE}}{%
		Weiss:1985:SDI%
		}.
\NAMECITE{identification}{%
		Hooper:1982:SBP%
		}.
\NAMECITE{identifying}{%
		Foster:1989:TI%
		}.
\NAMECITE{Ideographic}{%
		Giacalone:1984:III%
		}.
\NAMECITE{{IDEOSY}}{%
		Giacalone:1984:III%
		}.
\NAMECITE{{IDL}}{%
		Snodgrass:1986:AIT%
		}.
\NAMECITE{{IEEE}}{%
		Baldwin:1982:RSI,%
		Schwartz:1985:SIC%
		}.
\NAMECITE{If}{%
		Hamilton:1980:IWF%
		}.
\NAMECITE{{II}}{%
		Kenniston:1983:III,%
		McDonald:1986:SMA,%
		Neumann:1981:RIV%
		}.
\NAMECITE{III}{%
		Smith:1985:PPP,%
		Branstad:1985:SSI,%
		Parikh:1986:EWSb%
		}.
\NAMECITE{Illustrating}{%
		Reps:1989:III,%
		Smestad:1988:IPI%
		}.
\NAMECITE{image}{%
		Chambers:1983:EMB%
		}.
\NAMECITE{impact}{%
		Gomaa:1983:IRP,%
		Newsted:1981:IPS,%
		Wileden:1989:FPP%
		}.
\NAMECITE{Implementation}{%
		Ford:1982:IPD,%
		Johnson:1983:IIS,%
		Kenniston:1983:III,%
		Weber:1983:IIS,%
		Whitehurst:1985:NID,%
		vandenBosch:1982:ESD%
		}.
\NAMECITE{Implementing}{%
		Linton:1984:IRV,%
		Roman:1989:ISD%
		}.
\NAMECITE{implications}{%
		Neumann:1982:PIC,%
		Podgurski:1989:IPD%
		}.
\NAMECITE{importance}{%
		Glass:1980:II,%
		Perlman:1980:THL%
		}.
\NAMECITE{improving}{%
		Horgan:1984:TIL%
		}.
\NAMECITE{Ina}{%
		Berry:1985:IJP%
		}.
\NAMECITE{{INATEST}}{%
		Eckmann:1985:IIE%
		}.
\NAMECITE{income}{%
		Zave:1984:RSM%
		}.
\NAMECITE{Incremental}{%
		Schroeder:1989:IVC,%
		Arango:1988:FIP,%
		Fritzson:1983:SAA,%
		Fritzson:1984:PED%
		}.
\NAMECITE{individual}{%
		Glass:1980:II,%
		Perlman:1980:THL%
		}.
\NAMECITE{industrial}{%
		Agresti:1981:SEI,%
		Koenig:1988:III%
		}.
\NAMECITE{industrial-strength}{%
		Koenig:1988:III%
		}.
\NAMECITE{industry}{%
		Stokes:1985:SFM%
		}.
\NAMECITE{infeasible}{%
		Yates:1989:REI%
		}.
\NAMECITE{information}{%
		Blum:1982:RPI,%
		Denning:1980:ENI,%
		Gasser:1980:NIF,%
		Gill:1982:ECS,%
		Mannino:1987:PCF,%
		Mason:1982:ATI,%
		Rombach:1989:SFS,%
		Wasserman:1982:RPI,%
		Williams:1989:SDI%
		}.
\NAMECITE{Initial}{%
		Taylor:1982:ITR,%
		Reubenstein:1989:RAI%
		}.
\NAMECITE{initiative}{%
		Weiss:1985:SDI%
		}.
\NAMECITE{{Inscape}}{%
		Perry:1989:LPI%
		}.
\NAMECITE{inside/outside}{%
		Tardo:1981:VIO%
		}.
\NAMECITE{insights}{%
		Pechura:1980:PEI%
		}.
\NAMECITE{instances}{%
		Chroust:1988:MIC,%
		Chroust:1989:DIE%
		}.
\NAMECITE{Institute}{%
		Fairley:1988:PMA%
		}.
\NAMECITE{Instruments}{%
		Haynes:1981:PVT,%
		Delisle:1989:FSE%
		}.
\NAMECITE{Integrated}{%
		Lee:1983:IE,%
		Smestad:1988:IPI,%
		Young:1989:ICA,%
		Guoliang:1988:KMI,%
		Gustavsson:1989:MES,%
		Koenig:1988:III,%
		Lee:1988:ESS,%
		Lehman:1986:ADD,%
		Mahler:1988:ITE,%
		Rodden:1988:IAI,%
		Wertz:1983:ILP,%
		Westfechtek:1989:RCI,%
		Whitehurst:1985:NID%
		}.
\NAMECITE{Integrating}{%
		Richardson:1989:ITT,%
		Robinson:1989:IMS%
		}.
\NAMECITE{integration}{%
		Beaudouin-Lafon:1988:UIS%
		}.
\NAMECITE{intelligence}{%
		Arango:1988:AAI,%
		Parikh:1986:NWA%
		}.
\NAMECITE{intelligent}{%
		DeTreville:1984:PIS,%
		Huff:1988:PBI,%
		Mano:1981:IMD,%
		Parker:1985:TMI%
		}.
\NAMECITE{intensive}{%
		Wegner:1982:RCI%
		}.
\NAMECITE{inter}{%
		Bailey:1982:EEI%
		}.
\NAMECITE{inter-programmer}{%
		Bailey:1982:EEI%
		}.
\NAMECITE{Interacting}{%
		Rodden:1988:IAI%
		}.
\NAMECITE{interaction}{%
		Beaudouin-Lafon:1988:UIS%
		}.
\NAMECITE{interactions}{%
		Forman:1989:DDM%
		}.
\NAMECITE{Interactive}{%
		Barstow:1984:IPE,%
		Chesi:1984:IIS,%
		Giacalone:1984:III,%
		Mikelsons:1983:IPE,%
		Seidner:1983:IDR,%
		Weber:1983:IDC,%
		Beander:1983:VDI,%
		Eckmann:1985:IIE,%
		Wasserman:1982:RPI,%
		Zellweger:1983:IHL%
		}.
\NAMECITE{Interchanged}{%
		Neumann:1989:EIP%
		}.
\NAMECITE{Interface}{%
		Kooij:1989:IST,%
		Beaudouin-Lafon:1988:UIS,%
		Magel:1984:UDI,%
		Munck:1988:ODS,%
		Smith:1981:VEP%
		}.
\NAMECITE{interference}{%
		Feather:1989:DIW,%
		Reps:1989:III%
		}.
\NAMECITE{interfering}{%
		Reps:1989:III%
		}.
\NAMECITE{international}{%
		Whelan:1981:ICS,%
		Dowson:1986:PPI%
		}.
\NAMECITE{Interprocedual}{%
		Harrold:1989:IDF%
		}.
\NAMECITE{interval}{%
		Razouk:1989:RTI%
		}.
\NAMECITE{Introduction}{%
		Shaw:1984:IFT,%
		Botting:1986:FDI,%
		Cook:1982:SMI,%
		Lyon:1983:MPL,%
		Neumann:1981:RIV%
		}.
\NAMECITE{Introductory}{%
		Walker:1981:IC,%
		Garlan:1984:GIP%
		}.
\NAMECITE{inverted}{%
		Miller:1989:IAC%
		}.
\NAMECITE{Investigation}{%
		Belady:1982:IHE,%
		White:1986:TEC%
		}.
\NAMECITE{Invitational}{%
		Landwehr:1986:NIW%
		}.
\NAMECITE{{IPSE}}{%
		Hitchcock:1989:PMA%
		}.
\NAMECITE{{IPSEs}}{%
		Lehman:1987:EPI%
		}.
\NAMECITE{ISBN}{%
		Conde:1986:BRA%
		}.
\NAMECITE{{ISDE}}{%
		Chesi:1984:IIS%
		}.
\NAMECITE{ISEF}{%
		Koenig:1988:III%
		}.
\NAMECITE{isolated}{%
		Ramanathan:1985:TBI%
		}.
\NAMECITE{issue}{%
		Neumann:1989:EIP%
		}.
\NAMECITE{Issues}{%
		Penedo:1988:OMI,%
		Curtis:1982:AFF,%
		Johnson:1983:IIS,%
		Kenniston:1983:III,%
		Weber:1983:IIS,%
		White:1986:TEC,%
		Williams:1989:SDI%
		}.
\NAMECITE{{ISTAR}}{%
		Lehman:1986:ADD%
		}.
\NAMECITE{{Italy}}{%
		Bolognani:1983:MSE%
		}.
\NAMECITE{iteratively}{%
		Gilb:1986:SSD%
		}.


\NAMECITE{J}{%
		Binder:1989:ARO,%
		Denning:1982:RVS%
		}.
\NAMECITE{{Jackson}}{%
		Baldwin:1983:LNV,%
		King:1982:JDM,%
		Penteado:1985:SCJ,%
		Shaw:1982:SCJ%
		}.
\NAMECITE{James}{%
		Reifer:1985:RPP%
		}.
\NAMECITE{Jan}{%
		Schwartz:1985:SIC%
		}.
\NAMECITE{January}{%
		Binder:1989:ARO%
		}.
\NAMECITE{{Jim}}{%
		Lee:1985:RJH%
		}.
\NAMECITE{job}{%
		Clemm:1989:RVC%
		}.
\NAMECITE{job-control}{%
		Clemm:1989:RVC%
		}.
\NAMECITE{John}{%
		Conde:1986:BRA,%
		Gerhart:1982:TRB,%
		Neumann:1985:RSA,%
		Reifer:1985:RPP%
		}.
\NAMECITE{join}{%
		Kokol:1988:SEM%
		}.
\NAMECITE{{Jo{\reg}}}{%
		Berry:1985:IJP%
		}.
\NAMECITE{{JSD}}{%
		Kokol:1987:DPJ,%
		Masiero:1988:JOO%
		}.


\NAMECITE{{K.}}{%
		Polak:1980:RKF%
		}.
\NAMECITE{Kernel}{%
		ofLowell:1987:GKS,%
		Guoliang:1988:KMI%
		}.
\NAMECITE{Knowledge}{%
		Linton:1983:KBD,%
		Sedlmeyer:1983:KBF,%
		Westphal:1988:KES,%
		Clemm:1988:WSP,%
		Greenspan:1986:RDK,%
		Niskier:1989:LTP,%
		Scacchi:1989:MSE%
		}.
\NAMECITE{Knowledge-based}{%
		Linton:1983:KBD,%
		Sedlmeyer:1983:KBF,%
		Clemm:1988:WSP,%
		Greenspan:1986:RDK,%
		Niskier:1989:LTP,%
		Scacchi:1989:MSE%
		}.
\NAMECITE{Kopetz}{%
		Smoliar:1981:TBN%
		}.
\NAMECITE{{KVM}}{%
		Landauer:1981:AFK%
		}.


\NAMECITE{L}{%
		Glass:1981:LRG,%
		Neumann:1984:RHD,%
		Perlman:1980:THL%
		}.
\NAMECITE{Laboratory}{%
		Lee:1983:RLS%
		}.
\NAMECITE{{lamp}}{%
		Pakstas:1989:ALC%
		}.
\NAMECITE{Language}{%
		Babb:1988:LM,%
		Baiardi:1983:DDC,%
		Boyer:1985:PTP,%
		Braunl:1989:SLP,%
		Bruyn:1988:ESM,%
		Craigen:1985:STA,%
		Dodd:1982:PLT,%
		Eisenbach:1989:DFD,%
		Ferrante:1983:HLL,%
		Fischer:1984:PLB,%
		Ford:1982:IPD,%
		Glasgow:1985:LSL,%
		Goguen:1982:RPO,%
		Horgan:1984:TIL,%
		Knoll:1989:GLB,%
		Liu:1989:OSR,%
		Loka:1989:PLE,%
		Mittermeir:1982:HLF,%
		Roman:1989:ISD,%
		Wegner:1980:ALE,%
		Yonezaki:1986:LEN,%
		Zelkowitz:1981:HLL%
		}.
\NAMECITE{language-based}{%
		Fischer:1984:PLB,%
		Horgan:1984:TIL%
		}.
\NAMECITE{languages}{%
		Chapin:1984:SMF,%
		Giordano:1980:SVP,%
		Gumb:1982:ULS,%
		Lyon:1983:MPL,%
		Shyamasundar:1989:RRT,%
		Soloway:1984:CBM%
		}.
\NAMECITE{languages/environments/methodologies}{%
		Soloway:1984:CBM%
		}.
\NAMECITE{large}{%
		Dunn:1984:TOL,%
		Falkerngerg:1989:CML,%
		Hekmatpour:1987:EEP,%
		House:1989:TLS,%
		Lewerentz:1988:EPL,%
		Lubars:1986:CRL,%
		Ramanathan:1985:TBI,%
		Williams:1989:SDI,%
		Wing:1985:BFB%
		}.
\NAMECITE{Larger}{%
		Shaw:1989:LSS%
		}.
\NAMECITE{Lastig}{%
		Parnas:1981:LGU%
		}.
\NAMECITE{late}{%
		Lawrence:1985:WSA%
		}.
\NAMECITE{law}{%
		Minsky:1988:SDE%
		}.
\NAMECITE{law-governed}{%
		Minsky:1988:SDE%
		}.
\NAMECITE{{LCD}}{%
		Lin:1989:LRF%
		}.
\NAMECITE{{LCD-reification}}{%
		Lin:1989:LRF%
		}.
\NAMECITE{lead}{%
		Druffel:1982:NPD%
		}.
\NAMECITE{Leaves}{%
		Baldwin:1983:LNV%
		}.
\NAMECITE{{LEGO}}{%
		Currey:1986:LEL%
		}.
\NAMECITE{Lessons}{%
		Reid:1986:LUB,%
		Landwehr:1985:SLF%
		}.
\NAMECITE{{Let}}{%
		Zave:1986:LPM%
		}.
\NAMECITE{Letter}{%
		Currey:1986:LEL,%
		Glass:1981:LRG,%
		Gries:1982:LDS,%
		Kilov:1981:LHK,%
		Kimball:1981:RPM,%
		Lee:1985:RJH,%
		Meyer:1983:SMW,%
		Polak:1980:RKF%
		}.
\NAMECITE{level}{%
		Bates:1983:AHL,%
		Bruegge:1983:GPE,%
		Cardell:1983:MDS,%
		Ferrante:1983:HLL,%
		Gentleman:1983:HAH,%
		Gerhart:1981:HLT,%
		Hamlet:1983:DLS,%
		Johnson:1983:IIS,%
		Ottenstein:1983:HLD,%
		Perlman:1980:THL,%
		Shaw:1989:LSS,%
		Veloso:1983:MLS,%
		Zelkowitz:1981:HLL,%
		Zellweger:1983:IHL%
		}.
\NAMECITE{Levels}{%
		Zahniser:1983:LAS,%
		Bailey:1982:EEI%
		}.
\NAMECITE{lexical}{%
		Maarek:1989:ULA%
		}.
\NAMECITE{Life}{%
		McCracken:1982:LCC,%
		Strelich:1988:SLC,%
		Blum:1982:LCD,%
		Gladden:1982:SLC,%
		Hall:1982:DLC,%
		Lee:1983:RLS,%
		McDonald:1986:SMA,%
		Schultz:1985:SSL,%
		Zahniser:1983:LAS,%
		vandenBosch:1982:ESD%
		}.
\NAMECITE{life-cycle}{%
		Gladden:1982:SLC,%
		Schultz:1985:SSL%
		}.
\NAMECITE{Lifecycle}{%
		Spinrad:1985:WWL,%
		Notkin:1989:ASP%
		}.
\NAMECITE{{LIFESPAN}}{%
		Pirie:1986:LS%
		}.
\NAMECITE{like}{%
		Giordano:1980:SVP,%
		Nelson:1985:WRS,%
		Yue:1989:RFO%
		}.
\NAMECITE{limited}{%
		Kishimoto:1983:EDL%
		}.
\NAMECITE{Limits}{%
		Koomen:1989:LMD,%
		Huff:1989:PLA%
		}.
\NAMECITE{Lipow}{%
		Smoliar:1981:TBN%
		}.
\NAMECITE{Liskov}{%
		Conde:1986:BRA%
		}.
\NAMECITE{{Lisp}}{%
		Wertz:1983:ILP%
		}.
\NAMECITE{Lispedit}{%
		Mikelsons:1983:IPE%
		}.
\NAMECITE{list}{%
		Miranda:1989:LEL%
		}.
\NAMECITE{{{{Literary}}}}{%
		Smoliar:1983:RLM%
		}.
\NAMECITE{localization}{%
		Sedlmeyer:1983:KBF%
		}.
\NAMECITE{Logic}{%
		Kowalski:1982:LPS,%
		Anonymous:1985:OFL,%
		Dubois:1989:LAS,%
		Foster:1984:STD,%
		Kooij:1989:IST,%
		Perry:1989:LPI,%
		Razouk:1989:RTI,%
		Yue:1989:RFO%
		}.
\NAMECITE{logic-based}{%
		Yue:1989:RFO%
		}.
\NAMECITE{Logical}{%
		Yonezaki:1986:LEN%
		}.
\NAMECITE{logics}{%
		Gumb:1982:ULS%
		}.
\NAMECITE{look}{%
		Hamilton:1980:DLB,%
		Lehman:1984:ALS,%
		Niskier:1989:LTP,%
		Parikh:1983:HPW%
		}.
\NAMECITE{Looking}{%
		Miranda:1989:LEL%
		}.
\NAMECITE{{Lovelace}}{%
		James:1983:RAC%
		}.
\NAMECITE{{LUCID}}{%
		Glasgow:1985:LSL%
		}.


\NAMECITE{M}{%
		Denning:1982:RVS,%
		Kilov:1983:RER,%
		Neumann:1984:RHD%
		}.
\NAMECITE{machine}{%
		Ardis:1986:CAS%
		}.
\NAMECITE{Machines}{%
		Lyon:1983:MPL,%
		Smoliar:1983:RLM%
		}.
\NAMECITE{magic}{%
		Riddle:1984:MNE%
		}.
\NAMECITE{magnetic}{%
		Dunn:1985:ESS%
		}.
\NAMECITE{magnetic-tape}{%
		Dunn:1985:ESS%
		}.
\NAMECITE{Maintaining}{%
		Gustavsson:1989:MES%
		}.
\NAMECITE{Maintenance}{%
		Calliss:1988:FUS,%
		Cooper:1989:RUS,%
		Cashman:1980:COA,%
		Chambers:1983:EMB,%
		Chapin:1984:SMF,%
		Ejiogu:1983:ESS,%
		Lehman:1983:MEM,%
		Parikh:1984:WSM,%
		Parikh:1985:DWS,%
		Parikh:1985:SMN,%
		Parikh:1985:SMP,%
		Parikh:1986:EWSa,%
		Parikh:1986:EWSb,%
		Parikh:1986:NWA,%
		Parikh:1987:SMN,%
		Podgurski:1989:IPD%
		}.
\NAMECITE{make}{%
		Lempp:1986:PMP%
		}.
\NAMECITE{Management}{%
		Aggarwal:1985:MDF,%
		Penedo:1988:OMI,%
		Spicer:1983:SAS,%
		Bazelmans:1985:ECM,%
		Blum:1982:RPI,%
		Cohen:1988:VMG,%
		Falkerngerg:1989:CML,%
		Gentleman:1989:CRS,%
		Heimbigner:1988:GTM,%
		Horning:1985:CSB,%
		Jordan:1989:ECM,%
		Kienle:1988:PRF,%
		Liu:1988:ODS,%
		Livson:1987:FSD,%
		Lundholm:1989:DMB,%
		Mack-Crane:1989:CMS,%
		Miller:1989:IAC,%
		Miller:1989:SCM,%
		Moriconi:1989:PAS,%
		Pakstas:1989:ALC,%
		Ploedereder:1989:DMC,%
		Reichenberger:1989:OVM,%
		Simmonds:1989:CMP,%
		Thomas:1989:VCM,%
		Thomson:1989:CMU,%
		Wileden:1988:PEP,%
		Young:1989:CCM,%
		Reifer:1985:RPP%
		}.
\NAMECITE{manager}{%
		Baalbergen:1989:DAC,%
		Berry:1985:IJP,%
		Fritsch:1989:MCS%
		}.
\NAMECITE{manager/controller}{%
		Fritsch:1989:MCS%
		}.
\NAMECITE{managing}{%
		Rickert:1985:SMS%
		}.
\NAMECITE{manhandled}{%
		Reid:1982:NM%
		}.
\NAMECITE{manipulation}{%
		Iseki:1986:ADM%
		}.
\NAMECITE{Mappings}{%
		Feather:1982:MRP%
		}.
\NAMECITE{Mark}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{Martin}{%
		Kilov:1989:BRA%
		}.
\NAMECITE{{Master}}{%
		Bolognani:1983:MSE%
		}.
\NAMECITE{matrix}{%
		Boebert:1985:EAM%
		}.
\NAMECITE{maturation}{%
		Riddle:1984:MNE%
		}.
\NAMECITE{may}{%
		Gerhart:1981:RAV%
		}.
\NAMECITE{{MCC}}{%
		Belady:1985:MST%
		}.
\NAMECITE{McGraw-Hill}{%
		Conde:1986:BRA%
		}.
\NAMECITE{means}{%
		Dixon:1982:RPM%
		}.
\NAMECITE{Measurements}{%
		Skelton:1986:MMT%
		}.
\NAMECITE{mechanical}{%
		DiVito:1981:MVA%
		}.
\NAMECITE{mechanism}{%
		Bruegge:1983:GPE,%
		Garg:1985:FCM%
		}.
\NAMECITE{mechanization}{%
		Koomen:1989:LMD%
		}.
\NAMECITE{meeting}{%
		Schwartz:1985:SIC%
		}.
\NAMECITE{meets}{%
		Galbraith:1987:SUGa%
		}.
\NAMECITE{Mellish}{%
		Smoliar:1984:RPP%
		}.
\NAMECITE{membership}{%
		Zave:1984:RSM%
		}.
\NAMECITE{mentor}{%
		Donzeau-Gouge:1984:DSM%
		}.
\NAMECITE{merging}{%
		Feather:1989:DIW%
		}.
\NAMECITE{Message}{%
		Schneidewind:1981:MST,%
		Heitmeyer:1982:UQP,%
		Roman:1989:ISD%
		}.
\NAMECITE{message-based}{%
		Roman:1989:ISD%
		}.
\NAMECITE{metamodel}{%
		Wileden:1986:IMS%
		}.
\NAMECITE{Metamodels}{%
		Kokol:1989:MSD%
		}.
\NAMECITE{metaphor}{%
		Hamilton:1980:DLB,%
		Nelson:1985:WRS%
		}.
\NAMECITE{metaphors}{%
		Nelson:1985:WRS%
		}.
\NAMECITE{Method}{%
		Binder:1989:ARO,%
		Berry:1985:IJP,%
		Dhama:1989:NMS,%
		Lin:1989:LRF,%
		Masiero:1988:JOO,%
		Newbery:1989:ECM,%
		Ramanathan:1985:URD,%
		Stokes:1985:SFM,%
		Wasserman:1989:OOS%
		}.
\NAMECITE{methodologies}{%
		Arisawa:1982:EDM,%
		Freeman:1984:CSD,%
		Glass:1980:BAS,%
		Mannino:1987:PCF,%
		Parikh:1983:HPW,%
		Soloway:1984:CBM%
		}.
\NAMECITE{Methodology}{%
		Baldwin:1983:LNV,%
		Henderson:1988:ME,%
		Dutton:1984:RTP,%
		Gramlich:1983:DMS,%
		King:1982:JDM,%
		Lehman:1984:ALS,%
		McDonald:1986:SMA,%
		Pazirandeh:1986:TPM,%
		Putnam:1985:SMS,%
		Riddle:1982:PTM,%
		Schilling:1986:SMA,%
		Soloway:1984:CBM,%
		Whitehurst:1985:NID,%
		Yelowitz:1981:FAP,%
		vandenBosch:1982:ESD%
		}.
\NAMECITE{methods}{%
		Ardis:1986:CAS,%
		Boldyreff:1989:RSC,%
		Gerhart:1989:PSF,%
		Hamlet:1989:TCT,%
		Perlman:1986:CQT,%
		Rine:1987:CEO,%
		Summersgill:1989:HFP,%
		Wing:1985:BFB,%
		Zave:1986:LPM%
		}.
\NAMECITE{metric}{%
		Lehman:1982:RPS%
		}.
\NAMECITE{metrics}{%
		Andreu:1982:CQM,%
		Cook:1982:SMI,%
		Cook:1987:PSC,%
		George:1982:PCC,%
		Kokol:1988:SEM,%
		Scheffer:1981:CQM%
		}.
\NAMECITE{Michael}{%
		Reifer:1985:RPP%
		}.
\NAMECITE{{micro}}{%
		Young:1989:VCM%
		}.
\NAMECITE{{micro-Gypsy}}{%
		Young:1989:VCM%
		}.
\NAMECITE{microcode}{%
		Marcus:1985:SSV%
		}.
\NAMECITE{microprocessor}{%
		Hill:1983:RTM%
		}.
\NAMECITE{migratability}{%
		Skelton:1986:MMT%
		}.
\NAMECITE{military}{%
		Heitmeyer:1982:UQP%
		}.
\NAMECITE{Millen}{%
		Denning:1982:RVS%
		}.
\NAMECITE{{Miller}}{%
		Kimball:1981:RPM%
		}.
\NAMECITE{Minimum}{%
		Glass:1982:RMS%
		}.
\NAMECITE{minus}{%
		Riddle:1984:MNE%
		}.
\NAMECITE{mistakes}{%
		Meyer:1983:SMW%
		}.
\NAMECITE{{MITRE}}{%
		Millen:1981:RVW%
		}.
\NAMECITE{mixup'd}{%
		Hamilton:1981:WME%
		}.
\NAMECITE{mixware}{%
		Hamilton:1980:DLB,%
		Hamilton:1980:IWF%
		}.
\NAMECITE{mockups}{%
		Gregory:1984:PVM%
		}.
\NAMECITE{model}{%
		Beaudouin-Lafon:1988:UIS,%
		Boebert:1985:EAM,%
		Boeh:1989:APP,%
		Boehm:1986:SMS,%
		Chroust:1989:DIE,%
		Gilb:1985:EDV,%
		Heimbigner:1988:GTM,%
		Hitchcock:1989:PMA,%
		Iannino:1983:CSR,%
		Iivari:1987:HSM,%
		Jahnichen:1986:TAM,%
		Landwehr:1985:SLF,%
		Ncube:1988:ATM,%
		Ploedereder:1989:DMC,%
		Powell:1983:DMD,%
		Schilling:1981:PMD,%
		Walpole:1988:UMC%
		}.
\NAMECITE{Modeling}{%
		Kaiser:1989:MCT,%
		Bruyn:1988:ESM%
		}.
\NAMECITE{Modelling}{%
		Scacchi:1989:MSE,%
		Ashok:1989:PMS,%
		Kaiser:1989:RBM,%
		Kellner:1989:RFS,%
		Williams:1989:BAS%
		}.
\NAMECITE{Models}{%
		Chroust:1988:MIC,%
		Stavely:1982:MED,%
		Babb:1988:LM,%
		Blum:1982:LCD,%
		DIppolito:1989:SDU,%
		Huff:1989:PLA,%
		Krzanik:1989:EMQ,%
		Lehman:1982:RPS,%
		Notkin:1989:ASP,%
		Perry:1989:PSP,%
		Phillips:1989:SCA,%
		Roberts:1989:DAP,%
		Schindler:1986:AM,%
		Sutton:1989:AMS,%
		Tanik:1980:CPC,%
		Tanik:1981:ARC,%
		Tully:1989:SPM,%
		Weiser:1982:SMR,%
		White:1986:TEC%
		}.
\NAMECITE{modification}{%
		Cook:1983:DDM%
		}.
\NAMECITE{{Modula}}{%
		Guoliang:1988:KMI,%
		Jordan:1989:ECM%
		}.
\NAMECITE{{Modula-2}}{%
		Guoliang:1988:KMI,%
		Jordan:1989:ECM%
		}.
\NAMECITE{modular}{%
		Estublier:1984:PEC%
		}.
\NAMECITE{modularity}{%
		Donzeau-Gouge:1984:DSM%
		}.
\NAMECITE{Module}{%
		Hoffman:1989:MTC,%
		Dixon:1982:RPM,%
		Leveson:1987:STS%
		}.
\NAMECITE{module-testing}{%
		Leveson:1987:STS%
		}.
\NAMECITE{monitor}{%
		Reynolds:1985:PTM%
		}.
\NAMECITE{Monitoring}{%
		Snodgrass:1984:MSD,%
		Tanik:1980:SDM%
		}.
\NAMECITE{monolithic}{%
		Weber:1984:DDS%
		}.
\NAMECITE{months}{%
		Baldwin:1983:LNV%
		}.
\NAMECITE{mortem}{%
		Fairley:1988:PMA%
		}.
\NAMECITE{much}{%
		Landwehr:1985:DPV%
		}.
\NAMECITE{Muller}{%
		Binder:1989:ARO%
		}.
\NAMECITE{Multi}{%
		Veloso:1983:MLS,%
		Mano:1981:IMD%
		}.
\NAMECITE{multi-display}{%
		Mano:1981:IMD%
		}.
\NAMECITE{Multi-level}{%
		Veloso:1983:MLS%
		}.
\NAMECITE{Multilingual}{%
		Cardell:1983:MDS,%
		Beander:1983:VDI%
		}.
\NAMECITE{Multiparty}{%
		Finkelstein:1989:MS,%
		Forman:1989:DDM%
		}.
\NAMECITE{multiple}{%
		Robinson:1989:IMS%
		}.
\NAMECITE{multiprocessor}{%
		Roman:1989:ISD%
		}.
\NAMECITE{must}{%
		Gilb:1986:SSD%
		}.
\NAMECITE{mutants}{%
		Choi:1989:PSM%
		}.
\NAMECITE{My}{%
		Brown:1984:MAS,%
		Baldwin:1983:LNV%
		}.
\NAMECITE{{Myers}}{%
		Adler:1983:FMC%
		}.
\NAMECITE{Myron}{%
		Smoliar:1981:TBN%
		}.
\NAMECITE{myths}{%
		Tracz:1988:SRM%
		}.


\NAMECITE{N}{%
		Miya:1982:RTB%
		}.
\NAMECITE{name}{%
		Parikh:1984:WSM%
		}.
\NAMECITE{named}{%
		Smoliar:1981:TBN%
		}.
\NAMECITE{natural}{%
		Yonezaki:1986:LEN%
		}.
\NAMECITE{nature}{%
		Tully:1989:SPM%
		}.
\NAMECITE{need}{%
		Druffel:1982:NPD,%
		Whitehurst:1985:NID,%
		Zimmer:1988:WND%
		}.
\NAMECITE{needs}{%
		Gentleman:1989:CRS%
		}.
\NAMECITE{Nelson}{%
		Smoliar:1981:TBN,%
		Smoliar:1983:RLM%
		}.
\NAMECITE{net}{%
		Dhama:1989:NMS,%
		Yue:1989:RFO%
		}.
\NAMECITE{Netmail}{%
		Reid:1982:NM%
		}.
\NAMECITE{Nets}{%
		Miranda:1989:CTT,%
		Ghezzi:1989:GWP,%
		Tse:1986:APN%
		}.
\NAMECITE{network}{%
		Rosen:1981:VNC%
		}.
\NAMECITE{{Neumann}}{%
		Mok:1986:NSP%
		}.
\NAMECITE{never}{%
		Nelson:1985:WRS%
		}.
\NAMECITE{news}{%
		Parikh:1985:SMN%
		}.
\NAMECITE{next}{%
		Osterweil:1981:SER%
		}.
\NAMECITE{{NFE}}{%
		Landauer:1981:AFK%
		}.
\NAMECITE{nomenclature}{%
		Patton:1983:PNP%
		}.
\NAMECITE{non}{%
		Ungar:1984:GSN,%
		Ward:1985:UEN%
		}.
\NAMECITE{non-disruptive}{%
		Ungar:1984:GSN%
		}.
\NAMECITE{{non-UNIX}}{%
		Ward:1985:UEN%
		}.
\NAMECITE{North}{%
		Smoliar:1981:TBN%
		}.
\NAMECITE{North-Holland}{%
		Smoliar:1981:TBN%
		}.
\NAMECITE{notation}{%
		Robillard:1989:EGN%
		}.
\NAMECITE{notations}{%
		Jonsson:1989:GPN,%
		Tripp:1988:GNP%
		}.
\NAMECITE{note}{%
		Denning:1980:ENI,%
		Gasser:1980:NIF%
		}.
\NAMECITE{notebook}{%
		Baldwin:1983:LNV%
		}.
\NAMECITE{notes}{%
		Parikh:1987:SMN%
		}.
\NAMECITE{{NRL}}{%
		Landwehr:1986:NIW%
		}.
\NAMECITE{nuenen}{%
		Parnas:1981:LGU%
		}.
\NAMECITE{number}{%
		Bieman:1989:ENT,%
		Riddle:1984:MNE%
		}.


\NAMECITE{{OBJ}}{%
		Goguen:1982:RPO%
		}.
\NAMECITE{Object}{%
		Ambriola:1989:OOC,%
		Dinsart:1989:ODV,%
		Jamsa:1984:OOD,%
		Ladden:1988:OOD,%
		Liu:1988:ODS,%
		Masiero:1988:JOO,%
		Rine:1987:CEO,%
		Shlaer:1989:OOA,%
		Wasserman:1989:OOS,%
		Watanabe:1989:RCO,%
		Wileden:1988:PEP,%
		Olenfeldt:1985:VSP,%
		Penedo:1988:OMI%
		}.
\NAMECITE{Object-oriented}{%
		Ambriola:1989:OOC,%
		Ladden:1988:OOD,%
		Masiero:1988:JOO,%
		Rine:1987:CEO,%
		Shlaer:1989:OOA,%
		Wasserman:1989:OOS,%
		Watanabe:1989:RCO%
		}.
\NAMECITE{{OBJECT/EVENT}}{%
		Olenfeldt:1985:VSP%
		}.
\NAMECITE{{OBJECT/EVENT-ANALYSIS}}{%
		Olenfeldt:1985:VSP%
		}.
\NAMECITE{objectives}{%
		Gilb:1984:SEU,%
		Gilb:1987:DO%
		}.
\NAMECITE{objects}{%
		Gustavsson:1989:MES,%
		Rueher:1989:CSP%
		}.
\NAMECITE{observation}{%
		Barra:1983:SPT%
		}.
\NAMECITE{observations}{%
		Dunn:1984:TOL,%
		Grochow:1986:POS,%
		Jeng:1989:SOP,%
		Shaw:1984:IFT,%
		Tully:1989:SPM%
		}.
\NAMECITE{obsolete}{%
		Tardy:1988:HTA%
		}.
\NAMECITE{off}{%
		Gladden:1982:SLC%
		}.
\NAMECITE{often}{%
		Loy:1985:SPC%
		}.
\NAMECITE{Old}{%
		Anonymous:1985:OFL%
		}.
\NAMECITE{Old-fashioned}{%
		Anonymous:1985:OFL%
		}.
\NAMECITE{one}{%
		Buckley:1986:SSQ%
		}.
\NAMECITE{ongoing}{%
		Kemmerer:1981:SOS%
		}.
\NAMECITE{OOSD}{%
		Binder:1989:ARO%
		}.
\NAMECITE{open}{%
		Meyer:1983:SMW,%
		Lundholm:1989:DMB%
		}.
\NAMECITE{operating}{%
		Anonymous:1980:SCA,%
		Iseki:1986:ADM%
		}.
\NAMECITE{Operational}{%
		Balzer:1982:OSB,%
		Liu:1989:OSR%
		}.
\NAMECITE{optimized}{%
		Zellweger:1983:IHL%
		}.
\NAMECITE{optimizing}{%
		Ottenstein:1983:HLD%
		}.
\NAMECITE{orbital}{%
		Garman:1981:BHR%
		}.
\NAMECITE{order}{%
		Boyer:1985:PTP,%
		Kapur:1985:EAT,%
		Yue:1989:RFO%
		}.
\NAMECITE{oriented}{%
		Ambriola:1989:OOC,%
		Cashman:1980:COA,%
		Dubois:1989:LAS,%
		Garg:1984:SOH,%
		Jamsa:1984:OOD,%
		Ladden:1988:OOD,%
		Lie:1989:COV,%
		Masiero:1988:JOO,%
		Rine:1987:CEO,%
		Shlaer:1989:OOA,%
		Wasserman:1989:OOS,%
		Watanabe:1989:RCO%
		}.
\NAMECITE{Orthogonal}{%
		Reichenberger:1989:OVM%
		}.
\NAMECITE{other}{%
		Neumann:1985:RSA%
		}.
\NAMECITE{{othra}}{%
		Choi:1989:PSM%
		}.
\NAMECITE{our}{%
		Chambers:1983:EMB%
		}.
\NAMECITE{Overview}{%
		Cooper:1985:OTP,%
		Craigen:1985:OVS,%
		Kemmerer:1985:OF,%
		Levitt:1985:OA,%
		Boudier:1988:OPP,%
		Houghton:1987:CFS,%
		Munck:1988:ODS,%
		Squires:1982:RPWa,%
		Squires:1982:RPWb,%
		Zave:1984:OPP%
		}.


\NAMECITE{P}{%
		Binder:1989:ARO,%
		Kilov:1983:RER,%
		Choi:1989:PSM%
		}.
\NAMECITE{packet}{%
		Smith:1981:VEP%
		}.
\NAMECITE{{PACT}}{%
		Simmonds:1989:CMP,%
		Thomas:1988:PEP%
		}.
\NAMECITE{Page}{%
		Neumann:1989:EIP%
		}.
\NAMECITE{pages}{%
		Conde:1986:BRA,%
		Neumann:1989:EIP%
		}.
\NAMECITE{{PAISLey}}{%
		Zave:1984:OPP%
		}.
\NAMECITE{Pamela}{%
		Reifer:1985:RPP%
		}.
\NAMECITE{panel}{%
		Weiss:1985:SDI%
		}.
\NAMECITE{paper}{%
		Anonymous:1980:CBT,%
		Balzer:1986:PEP,%
		Brown:1984:MAS,%
		Dijkstra:1988:PPF,%
		Dowson:1986:PPI,%
		Minsky:1986:WSW,%
		Olenfeldt:1985:VSP,%
		Perry:1986:TES,%
		Schneider:1988:WDP,%
		Smith:1985:PPP,%
		Taylor:1985:VPP%
		}.
\NAMECITE{parable}{%
		Maurer:1985:PTP%
		}.
\NAMECITE{paradigm}{%
		Alpern:1988:GAS,%
		Floyd:1988:PCS,%
		Koomen:1989:LMD,%
		Loy:1988:TNP,%
		MacLean:1989:FPS%
		}.
\NAMECITE{paradox}{%
		Blum:1985:USP%
		}.
\NAMECITE{parallel}{%
		Braunl:1989:SLP,%
		Schwan:1986:GVP%
		}.
\NAMECITE{part}{%
		Mili:1982:DSB%
		}.
\NAMECITE{{PARTIAL}}{%
		Reynolds:1985:PTM%
		}.
\NAMECITE{partition}{%
		Jeng:1989:SOP%
		}.
\NAMECITE{partitioning}{%
		Loy:1985:SPC%
		}.
\NAMECITE{{PASCAL}}{%
		Garg:1984:SOH,%
		Kung:1984:AGH,%
		Giordano:1980:SVP%
		}.
\NAMECITE{{Pascal}-like}{%
		Giordano:1980:SVP%
		}.
\NAMECITE{passing}{%
		Balzer:1989:PPP%
		}.
\NAMECITE{path}{%
		Bruegge:1983:GPE,%
		Druffel:1982:NPD%
		}.
\NAMECITE{paths}{%
		Bieman:1989:ENT,%
		Yates:1989:REI%
		}.
\NAMECITE{{PCTE}}{%
		Boudier:1988:OPP,%
		Kempe:1989:HEP,%
		Thomas:1988:PEP%
		}.
\NAMECITE{{PDS}}{%
		Klausner:1982:RPR%
		}.
\NAMECITE{{PECAN}}{%
		Reiss:1984:GPD%
		}.
\NAMECITE{penny}{%
		Parikh:1985:SMP%
		}.
\NAMECITE{performance}{%
		Ungar:1984:GSN%
		}.
\NAMECITE{perils}{%
		Zahniser:1988:PTD%
		}.
\NAMECITE{persistent}{%
		Wileden:1988:PEP%
		}.
\NAMECITE{person}{%
		Buckley:1987:RSP%
		}.
\NAMECITE{perspective}{%
		Anderson:1989:PPS,%
		Jamsa:1984:OOD,%
		Williams:1989:SDI,%
		Zave:1986:LPM%
		}.
\NAMECITE{{Pete}}{%
		Schorer:1980:MPS%
		}.
\NAMECITE{{Peter}}{%
		Schorer:1980:SMP%
		}.
\NAMECITE{{Petri}}{%
		Ghezzi:1989:GWP,%
		Miranda:1989:CTT,%
		Tse:1986:APN,%
		Yue:1989:RFO%
		}.
\NAMECITE{{Petri}-net-like}{%
		Yue:1989:RFO%
		}.
\NAMECITE{{Pgraphite}}{%
		Wileden:1988:PEP%
		}.
\NAMECITE{phase}{%
		Balzer:1989:PPP,%
		Brown:1984:MAS,%
		Dutton:1984:RTP,%
		Loy:1985:SPC,%
		Robinson:1984:RDB%
		}.
\NAMECITE{{Philip}}{%
		Kimball:1981:RPM%
		}.
\NAMECITE{philosophers}{%
		Kokol:1987:DPJ%
		}.
\NAMECITE{{Phoan}}{%
		DeTreville:1984:PIS%
		}.
\NAMECITE{Piazza}{%
		Reifer:1985:RPP%
		}.
\NAMECITE{pick}{%
		Parikh:1983:HPW%
		}.
\NAMECITE{Pircher}{%
		Binder:1989:ARO%
		}.
\NAMECITE{place}{%
		Summersgill:1989:HFP%
		}.
\NAMECITE{plan}{%
		Freeman:1984:CSD,%
		Geller:1985:BWC,%
		Huff:1988:PBI,%
		Pazirandeh:1986:TPM%
		}.
\NAMECITE{plan-based}{%
		Huff:1988:PBI%
		}.
\NAMECITE{Planning}{%
		Wallace:1987:PSV,%
		Anderson:1989:PPS,%
		Musa:1983:SSE%
		}.
\NAMECITE{plateau}{%
		Martin:1984:DGP%
		}.
\NAMECITE{plea}{%
		Golden:1980:PFS%
		}.
\NAMECITE{please}{%
		Nelson:1985:WRS%
		}.
\NAMECITE{plight}{%
		Dijkstra:1981:APP%
		}.
\NAMECITE{pluralistic}{%
		Niskier:1989:LTP%
		}.
\NAMECITE{plus}{%
		Riddle:1984:MNE,%
		Chan:1984:PTA%
		}.
\NAMECITE{{PML}}{%
		Roberts:1989:DAP%
		}.
\NAMECITE{{Poe}}{%
		Fischer:1984:PLB%
		}.
\NAMECITE{poetry}{%
		Zave:1986:FPS%
		}.
\NAMECITE{points}{%
		Gilb:1986:ESA%
		}.
\NAMECITE{portable}{%
		Barra:1983:SPT%
		}.
\NAMECITE{Position}{%
		Dijkstra:1988:PPF,%
		Dowson:1986:PPI,%
		Smith:1985:PPP,%
		Balzer:1986:PEP,%
		Minsky:1986:WSW,%
		Perry:1986:TES,%
		Schneider:1988:WDP,%
		Taylor:1985:VPP%
		}.
\NAMECITE{positions}{%
		Yelowitz:1981:FAP%
		}.
\NAMECITE{possibility}{%
		Lempp:1986:PMP%
		}.
\NAMECITE{Post}{%
		Fairley:1988:PMA%
		}.
\NAMECITE{Post-mortem}{%
		Fairley:1988:PMA%
		}.
\NAMECITE{potential}{%
		Druffel:1982:PEA%
		}.
\NAMECITE{power}{%
		Janssens:1984:SPF,%
		Macrakis:1982:SP%
		}.
\NAMECITE{practical}{%
		Clemm:1988:WSP,%
		Keeton-Williams:1981:PVS,%
		Livson:1988:PAS,%
		Moriconi:1989:PAS,%
		Williams:1985:PVS%
		}.
\NAMECITE{practice}{%
		Johnson:1987:SCC%
		}.
\NAMECITE{practitioner}{%
		Boldyreff:1989:RSC,%
		Grochow:1986:POS%
		}.
\NAMECITE{Pragmatic}{%
		Diaz-Herrera:1984:PPS%
		}.
\NAMECITE{Preconditions}{%
		Rickert:1986:PWR%
		}.
\NAMECITE{predicate}{%
		Kapur:1985:EAT%
		}.
\NAMECITE{predication}{%
		Ncube:1988:ATM%
		}.
\NAMECITE{Predicting}{%
		George:1982:PCC%
		}.
\NAMECITE{prediction}{%
		Tanik:1980:CPC,%
		Tanik:1981:ARC%
		}.
\NAMECITE{Preliminary}{%
		Estublier:1984:PEC,%
		Fritzson:1984:PED,%
		Gerhart:1989:PSF,%
		Bates:1983:AHL,%
		Benson:1981:PEA,%
		Cargill:1983:BDP,%
		Chelini:1986:PSA,%
		Gentleman:1983:HAH,%
		McDonald:1986:SMA,%
		Rowland:1989:ECT,%
		Sedlmeyer:1983:KBF%
		}.
\NAMECITE{premature}{%
		Notkin:1989:ASP%
		}.
\NAMECITE{Prentice}{%
		Gerhart:1982:TRB%
		}.
\NAMECITE{Prentice-Hall}{%
		Gerhart:1982:TRB%
		}.
\NAMECITE{presentation}{%
		Dahl:1985:PSV,%
		Mannino:1987:PCF%
		}.
\NAMECITE{presented}{%
		Smith:1985:PPP%
		}.
\NAMECITE{Press}{%
		Conde:1986:BRA,%
		Kilov:1989:BRA,%
		Miya:1982:RTB%
		}.
\NAMECITE{Press/McGraw}{%
		Conde:1986:BRA%
		}.
\NAMECITE{Press/McGraw-Hill}{%
		Conde:1986:BRA%
		}.
\NAMECITE{pressure}{%
		Costello:1984:SEU%
		}.
\NAMECITE{previous}{%
		Neumann:1989:EIP%
		}.
\NAMECITE{Principles}{%
		Magel:1984:PSE,%
		Anonymous:1980:SCA,%
		Goldberg:1987:SPT,%
		Tate:1985:RPS,%
		Reifer:1985:RPP%
		}.
\NAMECITE{printing}{%
		Janssens:1984:SPF%
		}.
\NAMECITE{{PRISMA}}{%
		Niskier:1989:LTP%
		}.
\NAMECITE{prize}{%
		Boyer:1983:PVP%
		}.
\NAMECITE{Probing}{%
		Huff:1989:PLA%
		}.
\NAMECITE{Problem}{%
		Kienle:1988:PRF,%
		Murray:1988:PRD,%
		Anderson:1989:PPS,%
		Brilliant:1987:CCP,%
		Garman:1981:BHR,%
		Hamilton:1980:IWF,%
		Kowalski:1982:LPS,%
		Martin:1984:DGP,%
		Patton:1983:PNP%
		}.
\NAMECITE{Problems}{%
		Perry:1989:PSP,%
		Diaz-Herrera:1984:PPS,%
		Evangelist:1986:FPS,%
		Giordano:1980:SVP,%
		Macdonald:1985:VRS%
		}.
\NAMECITE{Proceedings}{%
		Staff:1985:PAA%
		}.
\NAMECITE{Process}{%
		Ashok:1989:PMS,%
		Balzer:1989:PPP,%
		Dowson:1986:PPI,%
		Ohki:1989:PPP,%
		Riddle:1984:RSP,%
		Blum:1986:TSP,%
		Boeh:1989:APP,%
		Bradshaw:1982:UDA,%
		Chroust:1989:DIE,%
		Dowson:1986:SSP,%
		Evangelist:1986:FPS,%
		Fernstrom:1989:DCP,%
		Fritsch:1989:MCS,%
		Hagemann:1987:FRS,%
		Hitchcock:1989:PMA,%
		Huff:1989:PLA,%
		Humphrey:1989:SEP,%
		Iivari:1987:HSM,%
		Kaiser:1989:RBM,%
		Katayama:1989:HFA,%
		Kellner:1989:RFS,%
		Lacroix:1989:CRP,%
		Lehman:1982:RPS,%
		Lehman:1986:ADD,%
		Lehman:1989:SRS,%
		Mok:1986:NSP,%
		Notkin:1988:RBS,%
		Notkin:1989:ASP,%
		Perry:1989:PSP,%
		Phillips:1989:SCA,%
		Richardson:1989:ITT,%
		Roberts:1989:DAP,%
		Schultz:1985:SSL,%
		Sutton:1989:AMS,%
		Tully:1989:SPM,%
		Wileden:1986:IMS,%
		Wileden:1989:FPP,%
		Williams:1989:BAS,%
		Yiannakos:1984:QAQ%
		}.
\NAMECITE{process-driven}{%
		Fernstrom:1989:DCP%
		}.
\NAMECITE{processes}{%
		Krzanik:1989:EMQ,%
		Osterweil:1989:ASE,%
		Redwine:1989:SRP,%
		Rombach:1989:SFS,%
		Rueher:1989:CSP%
		}.
\NAMECITE{processing}{%
		Dodd:1982:PLT,%
		Mittermeir:1982:HLF,%
		vonIssendorff:1989:ART%
		}.
\NAMECITE{processor}{%
		Proctor:1985:RAP%
		}.
\NAMECITE{production}{%
		Crocker:1985:ERP%
		}.
\NAMECITE{productive}{%
		Reifer:1985:RPP%
		}.
\NAMECITE{Productivity}{%
		Bazelmans:1985:PRT,%
		Bobbie:1987:PTA,%
		Bailey:1982:EEI%
		}.
\NAMECITE{products}{%
		House:1989:TLS%
		}.
\NAMECITE{professor}{%
		Meyer:1983:SMW%
		}.
\NAMECITE{Program}{%
		Baldwin:1983:LNV,%
		Balzer:1986:PEP,%
		Boyer:1983:PVP,%
		Conde:1986:BRA,%
		Giacalone:1984:III,%
		Haynes:1981:PVT,%
		King:1981:PRU,%
		Luckham:1981:PVS,%
		Anonymous:1983:STA,%
		Belady:1985:MST,%
		Ceri:1983:RDB,%
		Chan:1984:PTA,%
		Diaz-Herrera:1984:PPS,%
		Foster:1980:CEA,%
		Gordon:1989:CVC,%
		Janssens:1984:SPF,%
		Jonsson:1989:GPN,%
		Kotik:1989:ASA,%
		Landwehr:1985:DPV,%
		McLean:1985:TDP,%
		Mikelsons:1983:IPE,%
		Narayanaswamy:1989:TBR,%
		Ottenstein:1984:PDG,%
		Parikh:1985:SMP,%
		Podgurski:1989:IPD,%
		Reiss:1984:GPD,%
		Robillard:1989:EGN,%
		Rzepka:1983:RSE,%
		Schilling:1981:PMD,%
		Tanik:1980:CPC,%
		Tanik:1981:ARC,%
		Thompson:1989:FPE,%
		Tripp:1988:GNP%
		}.
\NAMECITE{Programmable}{%
		Wilson:1985:PHT%
		}.
\NAMECITE{programmer}{%
		Bailey:1982:EEI,%
		Baldwin:1983:LNV%
		}.
\NAMECITE{programmer/analyst}{%
		Baldwin:1983:LNV%
		}.
\NAMECITE{programmers}{%
		Maurer:1985:PTP,%
		Soloway:1986:WES%
		}.
\NAMECITE{Programming}{%
		Joseph:1984:PSB,%
		Pechura:1980:PEI,%
		Bailey:1982:EEI,%
		Balzer:1989:PPP,%
		Barstow:1982:RPA,%
		Barstow:1984:IPE,%
		Boeh:1989:APP,%
		Delisle:1984:VPE,%
		Dijkstra:1981:APP,%
		Druffel:1982:NPD,%
		Eisenbach:1989:DFD,%
		Ford:1982:IPD,%
		Gabriel:1984:PET,%
		Garlan:1984:GIP,%
		Gerhart:1982:TRB,%
		Henderson:1985:SDP,%
		Henderson:1986:SDP,%
		Kishimoto:1983:EDL,%
		Lehman:1982:RPS,%
		Lehman:1989:SRS,%
		Lewerentz:1988:EPL,%
		Loka:1989:PLE,%
		Mano:1981:IMD,%
		Newsted:1981:IPS,%
		Ohki:1989:PPP,%
		Parker:1985:TMI,%
		Perlman:1980:THL,%
		Perlman:1986:CQT,%
		Ramanathan:1985:TBI,%
		Richardson:1989:ITT,%
		Shaw:1982:SCJ,%
		Shyamasundar:1989:RRT,%
		Standish:1984:APA,%
		Thompson:1989:FPE,%
		Wertz:1983:ILP,%
		Zelkowitz:1981:HLL,%
		Gerhart:1982:TRB,%
		Gerhart:1982:TRB,%
		Smoliar:1984:RPP%
		}.
\NAMECITE{programming-in-the-small}{%
		Ramanathan:1985:TBI%
		}.
\NAMECITE{programs}{%
		Cheatham:1989:ACP,%
		Estublier:1984:PEC,%
		Garg:1985:FCM,%
		Gustafson:1984:SGP,%
		Hennell:1980:SAC,%
		Hookway:1985:VAP,%
		Howden:1989:VPS,%
		Kokol:1987:SPS,%
		Lin:1989:LRF,%
		Linton:1984:IRV,%
		Lyon:1983:MPL,%
		Omar:1989:STP,%
		Ramanathan:1982:UAS,%
		Ramsey:1989:DFV,%
		Razouk:1989:RTI,%
		Reddy:1988:TDP,%
		Reps:1989:III,%
		Reynolds:1985:PTM,%
		Schwan:1986:GVP,%
		Tischler:1983:SAP,%
		Tully:1989:SPM,%
		Weber:1983:IDC,%
		Zellweger:1983:IHL%
		}.
\NAMECITE{progress}{%
		Arango:1988:FIP,%
		Lempp:1986:PMP,%
		Musa:1983:SSE%
		}.
\NAMECITE{Project}{%
		Spicer:1983:SAS,%
		Boldyreff:1989:RSC,%
		Campbell:1984:SPS,%
		Chroust:1989:ADP,%
		Dahl:1985:PSV,%
		Fischer:1984:PLB,%
		Heitmeyer:1982:UQP,%
		Hekmatpour:1987:EEP,%
		Lehman:1986:ADD,%
		Lempp:1986:PMP,%
		Liu:1988:ODS,%
		Magel:1984:UDI,%
		Scacchi:1989:USF,%
		Zave:1984:OPP,%
		Williams:1985:PVS%
		}.
\NAMECITE{projection}{%
		Smestad:1988:IPI%
		}.
\NAMECITE{projects}{%
		Dunn:1984:TOL,%
		Kemmerer:1981:SOS,%
		Lee:1983:RLS,%
		Strand:1982:PSS%
		}.
\NAMECITE{{Prolog}}{%
		Gerhart:1985:PTB,%
		Lin:1989:LRF,%
		Ncube:1988:ATM,%
		Ohki:1989:PPP,%
		Smoliar:1984:RPP%
		}.
\NAMECITE{proof}{%
		Berry:1985:IJP,%
		Melliar-Smith:1982:PS%
		}.
\NAMECITE{propagation}{%
		Perry:1989:LPI%
		}.
\NAMECITE{Properties}{%
		Woodcock:1989:PZS,%
		Lehman:1987:EPI,%
		Wing:1985:BFB%
		}.
\NAMECITE{Proposal}{%
		Alford:1982:PEE,%
		Lehman:1982:RPS%
		}.
\NAMECITE{Proposals}{%
		Riddle:1982:PTM%
		}.
\NAMECITE{proposed}{%
		Anderson:1989:PPS,%
		Munck:1988:ODS%
		}.
\NAMECITE{Protocol}{%
		DiVito:1981:MVA,%
		Phillips:1989:SCA%
		}.
\NAMECITE{protocols}{%
		Rosen:1981:VNC%
		}.
\NAMECITE{Prototype}{%
		Cook:1987:PSC,%
		Boyer:1985:PTP,%
		Ramanathan:1982:UAS,%
		Standish:1984:APA,%
		Zelkowitz:1984:TPD%
		}.
\NAMECITE{prototypes}{%
		Church:1986:AAS,%
		Ford:1982:IPD,%
		Gregory:1984:PVM,%
		Heitmeyer:1982:UQP,%
		McCoyd:1982:SSG%
		}.
\NAMECITE{Prototyping}{%
		Duncan:1982:PAC,%
		Keus:1982:PMR,%
		Patton:1983:PNP,%
		Squires:1982:RPWa,%
		Squires:1982:RPWb,%
		Strand:1982:PSS,%
		Balzer:1982:OSB,%
		Barstow:1982:RPA,%
		Blum:1982:RPI,%
		Blum:1983:SMA,%
		Bonet:1984:SSE,%
		Dahler:1987:GTD,%
		Davis:1982:RPU,%
		Dixon:1982:RPM,%
		Dodd:1982:PLT,%
		Feather:1982:MRP,%
		Gehani:1982:SP,%
		Gill:1982:ECS,%
		Goguen:1982:RPO,%
		Gomaa:1983:IRP,%
		Harwood:1987:PRS,%
		Hekmatpour:1987:EEP,%
		Hooper:1982:SBP,%
		Klausner:1982:RPR,%
		Krista:1989:CAP,%
		Lee:1988:ESS,%
		MacEwen:1982:SP,%
		Mason:1982:ATI,%
		Mittermeir:1982:HLF,%
		Miyamoto:1987:PTG,%
		Tate:1985:RPS,%
		Taylor:1982:ITR,%
		Wasserman:1982:RPI,%
		Weiser:1982:SMR,%
		Wileden:1989:FPP%
		}.
\NAMECITE{prover}{%
		Boyer:1985:PTP,%
		Owre:1985:STP%
		}.
\NAMECITE{provers}{%
		Wilson:1985:PHT%
		}.
\NAMECITE{Proving}{%
		Cooper:1985:OTP,%
		Kapur:1985:EAT,%
		Kapur:1985:RTP,%
		Landwehr:1986:NIW%
		}.
\NAMECITE{Psychosocial}{%
		Neumann:1982:PIC%
		}.
\NAMECITE{public}{%
		Chambers:1983:EMB,%
		Neumann:1986:RPCa,%
		Neumann:1986:RPCb,%
		Neumann:1986:RPCc,%
		Neumann:1986:RPCd,%
		Neumann:1987:RPC,%
		Neumann:1987:RPa,%
		Neumann:1987:RPb,%
		Neumann:1988:RPR,%
		Neumann:1988:RPa,%
		Neumann:1988:RPb%
		}.
\NAMECITE{Publishers}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{Punchcard}{%
		Williams:1988:PVS%
		}.
\NAMECITE{pursuing}{%
		Gerhart:1981:RAV%
		}.
\NAMECITE{put}{%
		Ghezzi:1989:GWP,%
		Zave:1986:LPM%
		}.


\NAMECITE{Quality}{%
		Yiannakos:1984:QAQ,%
		Andreu:1982:CQM,%
		Bowen:1986:CSQ,%
		Buckley:1986:RQA,%
		Buckley:1986:SSQ,%
		Crocker:1985:ERP,%
		Gilb:1986:SSD,%
		Lamb:1985:MSQ,%
		Livson:1988:PAS,%
		Loy:1988:TNP,%
		Perlman:1986:CQT,%
		Scheffer:1981:CQM%
		}.
\NAMECITE{quantitative}{%
		Krzanik:1989:EMQ%
		}.
\NAMECITE{Questionnaire}{%
		Staff:1985:QR%
		}.
\NAMECITE{questions}{%
		vanVleck:1989:TQA%
		}.
\NAMECITE{quick}{%
		Heitmeyer:1982:UQP%
		}.


\NAMECITE{R}{%
		Binder:1989:ARO,%
		Neumann:1984:RHD%
		}.
\NAMECITE{{R.}}{%
		Perlman:1980:THL%
		}.
\NAMECITE{{RADC}}{%
		Rzepka:1983:RSE%
		}.
\NAMECITE{Raddle87}{%
		Forman:1989:DDM%
		}.
\NAMECITE{Radical}{%
		Hill:1989:RCT%
		}.
\NAMECITE{Raphael}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{Rapid}{%
		Barstow:1982:RPA,%
		Blum:1982:RPI,%
		Davis:1982:RPU,%
		Dixon:1982:RPM,%
		Goguen:1982:RPO,%
		Klausner:1982:RPR,%
		Wasserman:1982:RPI,%
		Balzer:1982:OSB,%
		Blum:1983:SMA,%
		Feather:1982:MRP,%
		Gomaa:1983:IRP,%
		McCoyd:1982:SSG,%
		Tate:1985:RPS,%
		Taylor:1982:ITR,%
		Weiser:1982:SMR,%
		Squires:1982:RPWa,%
		Squires:1982:RPWb%
		}.
\NAMECITE{ratios}{%
		Chelini:1986:PSA%
		}.
\NAMECITE{{RC2000}}{%
		Lawrence:1985:RSS%
		}.
\NAMECITE{reactive}{%
		Gilham:1989:TRR,%
		Hendricksen:1989:AST%
		}.
\NAMECITE{readings}{%
		Parikh:1985:DWS%
		}.
\NAMECITE{Real}{%
		Lee:1983:RLS,%
		Razouk:1989:RTI,%
		Blumofe:1988:ERT,%
		Hill:1983:RTM,%
		James:1983:RAC,%
		Liu:1989:OSR,%
		Macdonald:1985:VRS,%
		Nelson:1985:WRS,%
		Peters:1989:TES,%
		Shyamasundar:1989:RRT,%
		Zucconi:1989:TEC%
		}.
\NAMECITE{Real-life}{%
		Lee:1983:RLS%
		}.
\NAMECITE{Real-time}{%
		Razouk:1989:RTI,%
		Blumofe:1988:ERT,%
		Hill:1983:RTM,%
		Shyamasundar:1989:RRT,%
		Zucconi:1989:TEC%
		}.
\NAMECITE{realistic}{%
		London:1989:SRC%
		}.
\NAMECITE{reality}{%
		Mili:1982:DSB%
		}.
\NAMECITE{really}{%
		Parikh:1984:WSM%
		}.
\NAMECITE{realtime}{%
		Gentleman:1989:CRS%
		}.
\NAMECITE{reasonable}{%
		Keus:1982:PMR%
		}.
\NAMECITE{Reasoning}{%
		Shyamasundar:1989:RRT,%
		vonHenke:1985:RHS,%
		Razouk:1989:RTI%
		}.
\NAMECITE{reclamation}{%
		Ungar:1984:GSN%
		}.
\NAMECITE{Recommended}{%
		Glass:1982:RMS%
		}.
\NAMECITE{redoing}{%
		Vitter:1984:UNF%
		}.
\NAMECITE{Reducing}{%
		Yates:1989:REI%
		}.
\NAMECITE{reduction}{%
		King:1981:PRU%
		}.
\NAMECITE{references}{%
		Schwanke:1989:CRF,%
		Tanik:1981:ARC%
		}.
\NAMECITE{refinement}{%
		Diaz-Herrera:1984:PPS,%
		Reynolds:1985:PTM%
		}.
\NAMECITE{Reflections}{%
		Wegner:1982:RCI%
		}.
\NAMECITE{Reflective}{%
		Watanabe:1989:RCO%
		}.
\NAMECITE{{reification}}{%
		Lin:1989:LRF%
		}.
\NAMECITE{related}{%
		Neumann:1987:RPC,%
		Neumann:1988:RPR%
		}.
\NAMECITE{Relating}{%
		Early:1986:RSR%
		}.
\NAMECITE{relation}{%
		Weber:1989:FSF%
		}.
\NAMECITE{Relational}{%
		Ceri:1983:RDB,%
		Saaltink:1985:RS,%
		Linton:1984:IRV,%
		Ramanathan:1985:URD,%
		Snodgrass:1984:MSD%
		}.
\NAMECITE{relationship}{%
		Notkin:1988:RBS%
		}.
\NAMECITE{relevant}{%
		Kemmerer:1981:SOS%
		}.
\NAMECITE{reliability}{%
		Glass:1980:BAS,%
		Iannino:1983:CSR,%
		Lubars:1986:AHR,%
		Smoliar:1981:TBN,%
		Smoliar:1981:TBN%
		}.
\NAMECITE{Reliable}{%
		Anonymous:1983:STA,%
		Gilham:1989:TRR%
		}.
\NAMECITE{Replacing}{%
		Clemm:1989:RVC%
		}.
\NAMECITE{reply}{%
		Clarke:1984:RFC,%
		Foster:1984:RR%
		}.
\NAMECITE{Report}{%
		Cooper:1989:RUS,%
		Riddle:1984:RSP,%
		Zave:1984:RSM,%
		Blum:1987:GRF,%
		Kienle:1988:PRF,%
		Krasner:1987:CCS,%
		Musa:1983:SSE,%
		Penedo:1988:OMI,%
		Riddle:1986:SEW,%
		Rowland:1989:ECT,%
		Rzepka:1983:RSE%
		}.
\NAMECITE{Reportage}{%
		Baldwin:1982:RSI%
		}.
\NAMECITE{reporting}{%
		Murray:1988:PRD%
		}.
\NAMECITE{reports}{%
		Newcastle:1986:ASE%
		}.
\NAMECITE{Representation}{%
		Kellner:1989:RFS,%
		Narayanaswamy:1989:TBR,%
		vonIssendorff:1989:ART%
		}.
\NAMECITE{Representing}{%
		Yue:1989:RFO%
		}.
\NAMECITE{request}{%
		Lacroix:1989:CRP%
		}.
\NAMECITE{require}{%
		Shaw:1989:LSS%
		}.
\NAMECITE{required}{%
		Bieman:1989:ENT%
		}.
\NAMECITE{Requirements}{%
		Bates:1983:RDD,%
		Dutton:1984:RTP,%
		Karakostas:1989:RCT,%
		Winters:1986:RCS,%
		Crocker:1985:ERP,%
		Davis:1982:RPU,%
		Dubois:1989:LAS,%
		Early:1986:RSR,%
		Gomaa:1983:IRP,%
		Hagemann:1987:FRS,%
		Hooper:1982:SBP,%
		Klausner:1982:RPR,%
		Knoll:1989:GLB,%
		Maarek:1989:ULA,%
		Melhart:1989:ACR,%
		Pixon:1985:EFE,%
		Reubenstein:1989:RAI,%
		Rombach:1989:SFS,%
		Seidner:1983:IDR,%
		White:1986:TEC,%
		Zucconi:1989:TEC%
		}.
\NAMECITE{Requirements/design}{%
		Bates:1983:RDD%
		}.
\NAMECITE{Research}{%
		Gerhart:1981:RAV,%
		Lehman:1982:RPS,%
		Evangelist:1986:FPS,%
		Osterweil:1981:SER,%
		Parikh:1986:EWSb%
		}.
\NAMECITE{reservations}{%
		Lehman:1989:SRS%
		}.
\NAMECITE{Resource}{%
		Davis:1985:RAV%
		}.
\NAMECITE{Response}{%
		Kimball:1981:RPM,%
		Lee:1985:RJH,%
		Polak:1980:RKF,%
		Robinson:1984:RDB%
		}.
\NAMECITE{responses}{%
		Staff:1985:QR%
		}.
\NAMECITE{restricted}{%
		Proctor:1985:RAP%
		}.
\NAMECITE{Retrospective}{%
		Neumann:1981:RIV%
		}.
\NAMECITE{reusability}{%
		Lubars:1986:AHR,%
		Lubars:1986:CRL%
		}.
\NAMECITE{reusable}{%
		Dhama:1989:NMS,%
		London:1989:SRC%
		}.
\NAMECITE{Reuse}{%
		Boldyreff:1989:RSC,%
		Karakostas:1989:RCT,%
		Redwine:1989:SRP,%
		Rickert:1986:PWR,%
		Tracz:1988:SRM,%
		Ratcliffe:1987:HWS%
		}.
\NAMECITE{reusing}{%
		Musser:1985:AHS%
		}.
\NAMECITE{Review}{%
		Chapman:1986:BRS,%
		Denning:1982:RVS,%
		Kilov:1983:RER,%
		Neumann:1984:RHD,%
		Neumann:1985:RSA,%
		Reed:1987:RES,%
		Reifer:1985:RPP,%
		Smoliar:1983:RLM,%
		Smoliar:1984:RPP,%
		Sommerville:1987:REC,%
		Binder:1989:ARO,%
		Bryant:1983:BWB,%
		Buckley:1986:RQA,%
		Conde:1986:BRA,%
		Gerhart:1982:TRB,%
		Kilov:1989:BRA,%
		Miya:1982:RTB,%
		Smoliar:1981:TBN%
		}.
\NAMECITE{Reviews}{%
		Miya:1982:RTB,%
		Gries:1982:LDS%
		}.
\NAMECITE{Revision}{%
		Foster:1985:RES,%
		Westfechtek:1989:RCI,%
		Munck:1988:ODS%
		}.
\NAMECITE{revisited}{%
		Blum:1987:GRF,%
		Heyman:1985:SDE%
		}.
\NAMECITE{{Revolution}}{%
		Miya:1982:RTB%
		}.
\NAMECITE{Rewriting}{%
		Dershowitz:1985:RV,%
		Dershowitz:1985:CR,%
		Kapur:1985:RTP%
		}.
\NAMECITE{Reynolds}{%
		Gerhart:1982:TRB%
		}.
\NAMECITE{Richard}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{rigorously}{%
		Osterweil:1989:ASE%
		}.
\NAMECITE{Rinehart}{%
		Chapman:1986:BRS%
		}.
\NAMECITE{ring}{%
		Dunn:1985:ESS%
		}.
\NAMECITE{Risks}{%
		Neumann:1986:RPCa,%
		Neumann:1986:RPCb,%
		Neumann:1986:RPCc,%
		Neumann:1986:RPCd,%
		Neumann:1987:RPC,%
		Neumann:1987:RPa,%
		Neumann:1987:RPb,%
		Neumann:1988:RPR,%
		Neumann:1988:RPa,%
		Neumann:1988:RPb%
		}.
\NAMECITE{road}{%
		Buckley:1986:SSQ%
		}.
\NAMECITE{{Robert}}{%
		Glass:1981:LRG%
		}.
\NAMECITE{role}{%
		Bazelmans:1985:PRT,%
		Benson:1986:RFS,%
		Greenspan:1986:RDK,%
		Harwood:1987:PRS,%
		Lehman:1982:RPS,%
		Mullerburg:1983:RDW%
		}.
\NAMECITE{roles}{%
		Buckley:1987:RSP%
		}.
\NAMECITE{Rooting}{%
		Gerth:1989:RU%
		}.
\NAMECITE{'round}{%
		Garman:1981:BHR%
		}.
\NAMECITE{Row}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{{RRL}}{%
		Kapur:1985:RTP%
		}.
\NAMECITE{{RT}}{%
		Liu:1989:OSR%
		}.
\NAMECITE{{RT}-{CDL}}{%
		Liu:1989:OSR%
		}.
\NAMECITE{Rule}{%
		Kaiser:1989:RBM,%
		Foster:1985:RES%
		}.
\NAMECITE{Rule-based}{%
		Kaiser:1989:RBM%
		}.


\NAMECITE{S}{%
		Neumann:1984:RHD,%
		Smoliar:1984:RPP%
		}.
\NAMECITE{Sachertorte}{%
		Neumann:1985:RSA%
		}.
\NAMECITE{safe}{%
		Goldberg:1987:SPT%
		}.
\NAMECITE{Safety}{%
		Macrakis:1982:SP,%
		Leveson:1982:SS%
		}.
\NAMECITE{{SAGA}}{%
		Campbell:1984:SPS%
		}.
\NAMECITE{satisfy}{%
		Bieman:1989:ENT%
		}.
\NAMECITE{Scale}{%
		Weiser:1982:SMR,%
		Perry:1989:PSP,%
		Shaw:1989:LSS,%
		Strand:1982:PSS%
		}.
\NAMECITE{scary}{%
		Leveson:1987:STS%
		}.
\NAMECITE{Scavenging}{%
		Ungar:1984:GSN%
		}.
\NAMECITE{Scenario}{%
		Hooper:1982:SBP,%
		Reubenstein:1989:RAI%
		}.
\NAMECITE{Scenario-based}{%
		Hooper:1982:SBP%
		}.
\NAMECITE{scheduling}{%
		Choi:1989:PSM%
		}.
\NAMECITE{schema}{%
		Miller:1989:SCM%
		}.
\NAMECITE{schemes}{%
		Ramanathan:1982:UAS%
		}.
\NAMECITE{{Schorer}}{%
		Schorer:1980:SMP%
		}.
\NAMECITE{science}{%
		Gerhart:1982:TRB,%
		Lyon:1983:MPL,%
		Zahniser:1988:CSV%
		}.
\NAMECITE{sciences}{%
		Barstow:1982:RPA%
		}.
\NAMECITE{scope}{%
		Humphrey:1989:SEP,%
		Loy:1989:ESS%
		}.
\NAMECITE{Screen}{%
		Garg:1984:SOH%
		}.
\NAMECITE{Screen-oriented}{%
		Garg:1984:SOH%
		}.
\NAMECITE{scripts}{%
		Balcer:1989:AGT%
		}.
\NAMECITE{{SDE}}{%
		Stinson:1989:VSA%
		}.
\NAMECITE{{SDI}}{%
		Moore:1985:SES,%
		Pohl:1986:SSA,%
		Tichy:1986:SS%
		}.
\NAMECITE{{SDVS}}{%
		Marcus:1985:SSV%
		}.
\NAMECITE{{SE}}{%
		Clune:1989:SFG,%
		Nelson:1985:WRS%
		}.
\NAMECITE{search}{%
		Buckley:1986:SSQ,%
		Hamilton:1981:WME%
		}.
\NAMECITE{second}{%
		Good:1985:SGV,%
		Hamilton:1980:IWF%
		}.
\NAMECITE{secretary}{%
		Schneidewind:1981:MST%
		}.
\NAMECITE{secretary/treasurer}{%
		Schneidewind:1981:MST%
		}.
\NAMECITE{secure}{%
		Good:1981:TBV,%
		Heitmeyer:1982:UQP%
		}.
\NAMECITE{security}{%
		Boebert:1985:EAM,%
		Kemmerer:1981:SOS,%
		Landwehr:1985:SLF,%
		Weber:1989:FSF,%
		Denning:1982:RVS%
		}.
\NAMECITE{security-relevant}{%
		Kemmerer:1981:SOS%
		}.
\NAMECITE{selected}{%
		Parikh:1985:DWS%
		}.
\NAMECITE{Selecting}{%
		Zucconi:1989:SCT%
		}.
\NAMECITE{Selection}{%
		Baram:1989:SCA,%
		McDonald:1986:SMA%
		}.
\NAMECITE{semantic}{%
		Moriconi:1989:PAS%
		}.
\NAMECITE{semantically}{%
		Chambers:1983:EMB,%
		Ejiogu:1983:ESS%
		}.
\NAMECITE{semantics}{%
		Liu:1989:OSR,%
		Saaltink:1985:RS%
		}.
\NAMECITE{SEN}{%
		Binder:1989:ARO,%
		Neumann:1989:EIP%
		}.
\NAMECITE{Sensitive}{%
		Foster:1984:STD,%
		Clarke:1983:AES,%
		Clarke:1984:RFC,%
		Foster:1983:CAE,%
		Foster:1985:RES%
		}.
\NAMECITE{sentences}{%
		vonHenke:1985:RHS%
		}.
\NAMECITE{Separate}{%
		Eidnes:1989:SCC%
		}.
\NAMECITE{Separating}{%
		Putnam:1985:SMS%
		}.
\NAMECITE{September}{%
		Denning:1982:RVS%
		}.
\NAMECITE{sequencing}{%
		Olender:1989:CSS%
		}.
\NAMECITE{Sermon}{%
		Hamilton:1980:CDG%
		}.
\NAMECITE{{SESAW}}{%
		Branstad:1985:SSI%
		}.
\NAMECITE{session}{%
		Bates:1983:RDD,%
		Gramlich:1983:DMS,%
		Gross:1983:DDS,%
		Linton:1983:KBD,%
		Weber:1983:IIS%
		}.
\NAMECITE{set}{%
		Constable:1981:VCS,%
		Lee:1988:ESS,%
		Munck:1988:ODS%
		}.
\NAMECITE{sets}{%
		London:1989:SRC%
		}.
\NAMECITE{several}{%
		Zucconi:1989:TEC%
		}.
\NAMECITE{shared}{%
		Rickert:1985:SMS,%
		Roman:1989:ISD%
		}.
\NAMECITE{SHD}{%
		Garg:1984:SOH%
		}.
\NAMECITE{shift}{%
		Anderson:1989:PPS%
		}.
\NAMECITE{Shore}{%
		Neumann:1985:RSA%
		}.
\NAMECITE{Shorer}{%
		Schorer:1980:MPS%
		}.
\NAMECITE{Short}{%
		Gustafson:1984:SGP,%
		Janssens:1984:SPF,%
		Olenfeldt:1985:VSP%
		}.
\NAMECITE{should}{%
		Gerhart:1981:RAV,%
		Minsky:1986:WSW%
		}.
\NAMECITE{shuttle}{%
		Garman:1981:BHR%
		}.
\NAMECITE{{SIFT}}{%
		Melliar-Smith:1982:PS%
		}.
\NAMECITE{significance}{%
		Dunn:1985:ESS%
		}.
\NAMECITE{significantly}{%
		Ejiogu:1983:ESS%
		}.
\NAMECITE{{SIGSOFT}}{%
		Gannon:1983:SB,%
		Riddle:1982:PTM,%
		Zave:1984:RSM%
		}.
\NAMECITE{{SIMOB}}{%
		Barra:1983:SPT%
		}.
\NAMECITE{simplifying}{%
		Rich:1982:DUS%
		}.
\NAMECITE{simplistic}{%
		Lyon:1983:MPL%
		}.
\NAMECITE{{SIMULA}}{%
		Barra:1983:SPT%
		}.
\NAMECITE{single}{%
		Delisle:1984:VPE%
		}.
\NAMECITE{sixteen}{%
		Baldwin:1983:LNV%
		}.
\NAMECITE{sketching}{%
		McCoyd:1982:SSG%
		}.
\NAMECITE{skills}{%
		Perlman:1980:THL%
		}.
\NAMECITE{SLCSE}{%
		Strelich:1988:SLC%
		}.
\NAMECITE{SM}{%
		Parikh:1986:NWA%
		}.
\NAMECITE{small}{%
		Joseph:1984:PSB,%
		Lubars:1986:CRL,%
		Ramanathan:1985:TBI,%
		Strand:1982:PSS,%
		Zelkowits:1984:SCE%
		}.
\NAMECITE{social}{%
		Dunn:1985:ESS%
		}.
\NAMECITE{Softool}{%
		Galbraith:1987:SUGa,%
		Galbraith:1987:SUGb,%
		Young:1988:SUG%
		}.
\NAMECITE{Software}{%
		Agresti:1981:SEI,%
		Bolognani:1983:MSE,%
		Brereton:1987:SEE,%
		Calliss:1988:FUS,%
		Chapin:1984:SMF,%
		Chesi:1984:IIS,%
		Cook:1982:SMI,%
		Cooper:1989:RUS,%
		Costello:1984:SEU,%
		DIppolito:1989:SDU,%
		Dowson:1986:PPI,%
		Gilb:1984:SEU,%
		Gilb:1986:SSD,%
		Glass:1982:RMS,%
		Harandi:1988:WSS,%
		Henderson:1985:SDP,%
		Henderson:1986:SDP,%
		Henderson:1987:SDE,%
		Kokol:1988:SEM,%
		Leblang:1984:CAS,%
		Leveson:1982:SS,%
		Miya:1985:SE,%
		Moore:1985:SES,%
		Osterweil:1981:SER,%
		Parikh:1985:SMN,%
		Parikh:1985:SMP,%
		Parikh:1987:SMN,%
		Parnas:1985:SAS,%
		Penedo:1988:OMI,%
		Ratcliffe:1987:HWS,%
		Redwine:1989:SRP,%
		Salenieks:1989:SDA,%
		Schilling:1986:SMA,%
		Spicer:1983:SAS,%
		Strelich:1988:SLC,%
		Tanik:1980:SDM,%
		Tracz:1988:SRM,%
		Tully:1989:SPM,%
		Waguespack:1987:SCA,%
		Williams:1989:SDI,%
		Winkler:1988:WSV,%
		Anonymous:1984:ASE,%
		Aoyama:1987:CDS,%
		Arango:1988:FIP,%
		Ashok:1989:PMS,%
		Avrunin:1989:EAA,%
		Babb:1979:ADA,%
		Beaudouin-Lafon:1988:UIS,%
		Belady:1982:IHE,%
		Belady:1985:MST,%
		Benson:1981:PEA,%
		Blum:1985:USP,%
		Blum:1986:TSP,%
		Boehm:1986:SMS,%
		Boldyreff:1989:RSC,%
		Bowen:1986:CSQ,%
		Brilliant:1987:CCP,%
		Buckley:1986:RQA,%
		Buckley:1986:SSQ,%
		Buckley:1988:BES,%
		Campbell:1984:SPS,%
		Cashman:1980:COA,%
		Choi:1989:ACC,%
		Chroust:1988:MIC,%
		Chroust:1989:DIE,%
		Church:1986:AAS,%
		Clemm:1988:WSP,%
		Cook:1987:PSC,%
		Curtis:1982:AFF,%
		Dhama:1989:NMS,%
		Dowson:1986:SSP,%
		Druffel:1982:PEA,%
		Dunn:1984:TOL,%
		Dutton:1984:RTP,%
		Early:1986:RSR,%
		Evangelist:1986:FPS,%
		Fairley:1988:PMA,%
		Fernstrom:1989:DCP,%
		Finkelstein:1989:CDF,%
		Floyd:1988:PCS,%
		Frankel:1982:CCS,%
		Freeman:1984:CSD,%
		Fritsch:1989:MCS,%
		Garman:1981:BHR,%
		Geller:1985:BWC,%
		Gentleman:1989:CRS,%
		Gilb:1981:SAS,%
		Gilb:1986:ESA,%
		Glass:1980:BAS,%
		Golden:1980:PFS,%
		Goodman:1981:ESE,%
		Greenspan:1986:RDK,%
		Gustavsson:1989:MES,%
		Guttag:1986:ASE,%
		Hamilton:1980:DLB,%
		Hamilton:1980:IWF,%
		Hamilton:1981:WME%
		}.
\NAMECITE{software}{%
		Harwood:1987:PRS,%
		Hekmatpour:1987:EEP,%
		Hendricksen:1989:AST,%
		Houghton:1987:CFS,%
		House:1989:TLS,%
		Howden:1981:CSD,%
		Huang:1987:SSD,%
		Huff:1988:PBI,%
		Humphrey:1989:SEP,%
		Iannino:1983:CSR,%
		Iivari:1987:HSM,%
		Jahnichen:1986:TAM,%
		Kaiser:1989:RBM,%
		Karakostas:1989:RCT,%
		Katayama:1989:HFA,%
		Kellner:1989:RFS,%
		Kienle:1988:PRF,%
		Koenig:1988:III,%
		Kokol:1987:SPS,%
		Kotik:1989:ASA,%
		Krzanik:1989:EMQ,%
		Lamb:1985:MSQ,%
		Lawrence:1985:RSS,%
		Lawrence:1985:WSA,%
		Lee:1983:RLS,%
		Lehman:1984:ALS,%
		Lehman:1989:SRS,%
		Lewerentz:1988:EPL,%
		Lie:1989:COV,%
		Liu:1988:ODS,%
		Livson:1987:FSD,%
		Livson:1988:PAS,%
		Lubars:1986:AHR,%
		MacLean:1989:FPS,%
		Magel:1984:PSE,%
		Mahler:1988:ITE,%
		Martin:1988:ECS,%
		McDonald:1986:SMA,%
		Mili:1982:DSB,%
		Minsky:1984:DSE,%
		Minsky:1986:WSW,%
		Minsky:1988:SDE,%
		Miya:1982:RTB,%
		Miyamoto:1987:PTG,%
		Mullerburg:1983:RDW,%
		Musa:1983:SSE,%
		Neumann:1982:PIC,%
		Newcastle:1986:ASE,%
		Niskier:1989:LTP,%
		Notkin:1988:RBS,%
		Notkin:1989:ASP,%
		Osterweil:1989:ASE,%
		Ottenstein:1984:PDG,%
		Parikh:1983:HPW,%
		Parikh:1984:WSM,%
		Parikh:1985:DWS,%
		Parikh:1986:EWSa,%
		Parikh:1986:EWSb,%
		Parikh:1986:NWA,%
		Perry:1986:TES,%
		Podgurski:1989:IPD,%
		Pohl:1986:SSA,%
		Pratt:1987:CTS,%
		Prentice:1981:ASD,%
		Rajaraman:1982:CSD,%
		Reifer:1985:RPP,%
		Riddle:1982:PTM,%
		Riddle:1984:MNE,%
		Rombach:1989:SFS,%
		Rueher:1989:CSP,%
		Scacchi:1989:MSE,%
		Schultz:1985:SSL,%
		Schwanke:1989:DVC,%
		Shaw:1984:IFT,%
		Simmonds:1989:CMP,%
		Snodgrass:1984:MSD,%
		Soupos:1987:SDE,%
		Staff:1980:ASE,%
		Staff:1981:ASE,%
		Staff:1982:ASEa,%
		Staff:1982:ASEb,%
		Staff:1983:ASEa,%
		Staff:1983:ASEb,%
		Staff:1983:ASEc,%
		Staff:1984:ASEa,%
		Staff:1984:ASEb,%
		Staff:1984:ASEc,%
		Staff:1985:ASEa,%
		Staff:1985:ASEb,%
		Staff:1985:ASEc,%
		Stinson:1989:VSD,%
		Strand:1982:PSS,%
		Sutton:1989:AMS,%
		Thomas:1989:VCM,%
		Tichy:1986:SS,%
		Wallace:1987:PSV,%
		Walpole:1988:UMC,%
		Ward:1985:UEN,%
		Weber:1984:DDS%
		}.
\NAMECITE{software}{%
		Wegner:1982:RCI,%
		Weiss:1985:SDI,%
		Werth:1987:SSE,%
		Westfechtek:1989:RCI,%
		Westphal:1988:KES,%
		Whelan:1981:ICS,%
		Wileden:1986:IMS,%
		Williams:1989:BAS,%
		Yiannakos:1984:QAQ,%
		Young:1989:ICA,%
		Zahniser:1988:CSV,%
		Zave:1986:FPS,%
		Zimmer:1988:WND,%
		vandenBosch:1982:ESD,%
		Anonymous:1983:STA,%
		Bryant:1983:BWB,%
		Grochow:1986:POS,%
		Riddle:1984:RSP,%
		Riddle:1986:SEW,%
		Smoliar:1981:TBN,%
		Chapman:1986:BRS,%
		Smoliar:1981:TBN%
		}.
\NAMECITE{software-evolution}{%
		Minsky:1984:DSE%
		}.
\NAMECITE{solving}{%
		Kowalski:1982:LPS%
		}.
\NAMECITE{Some}{%
		Anonymous:1980:SCA,%
		Craigen:1985:STA,%
		Giordano:1980:SVP,%
		Goldberg:1987:SPT,%
		Jeng:1989:SOP,%
		Johnson:1987:SCC,%
		Landwehr:1985:SLF,%
		Lehman:1989:SRS,%
		Meyer:1983:SMW,%
		Stokes:1985:SFM,%
		Gilb:1986:ESA,%
		Glass:1980:BAS,%
		Macdonald:1985:VRS%
		}.
\NAMECITE{something}{%
		Hamilton:1980:DLB%
		}.
\NAMECITE{Sons}{%
		Reifer:1985:RPP%
		}.
\NAMECITE{sound}{%
		Ejiogu:1983:ESS%
		}.
\NAMECITE{Source}{%
		Murray:1988:SCU,%
		Johnson:1983:IIS,%
		Mack-Crane:1989:CMS%
		}.
\NAMECITE{{Southern}}{%
		Bolognani:1983:MSE%
		}.
\NAMECITE{{SP}}{%
		Murray:1988:PRD,%
		Murray:1988:SCU%
		}.
\NAMECITE{Specification}{%
		Conde:1986:BRA,%
		Harandi:1988:WSS,%
		MacEwen:1982:SP,%
		Alpern:1988:GAS,%
		Anderson:1989:PPS,%
		Ardis:1986:CAS,%
		Balzer:1982:OSB,%
		Bradshaw:1982:UDA,%
		Braunl:1989:SLP,%
		Dahl:1985:PSV,%
		Dhama:1989:NMS,%
		Feather:1989:DIW,%
		Finkelstein:1989:MS,%
		Gilb:1981:SAS,%
		Gilb:1986:SSD,%
		Glasgow:1985:LSL,%
		Goguen:1981:MTS,%
		Goguen:1982:RPO,%
		Gumb:1982:ULS,%
		Hagemann:1987:FRS,%
		Klausner:1982:RPR,%
		Knoll:1989:GLB,%
		Kooij:1989:IST,%
		Kurki-Suonio:1989:ASA,%
		McLean:1985:TDP,%
		Melliar-Smith:1985:EHS,%
		Miriyala:1989:AAS,%
		Musser:1985:AHS,%
		Niskier:1989:LTP,%
		Putnam:1985:SMS,%
		Richardson:1989:ASB,%
		Rombach:1989:SFS,%
		Terwilliger:1989:EFS,%
		Weber:1989:FSF%
		}.
\NAMECITE{specification-based}{%
		Richardson:1989:ASB%
		}.
\NAMECITE{specifications}{%
		Antoy:1989:SDA,%
		Balcer:1989:AGT,%
		Blumofe:1988:ERT,%
		Davis:1982:RPU,%
		Dixon:1982:RPM,%
		Eckmann:1985:IIE,%
		Howden:1989:VPS,%
		Jard:1983:ATS,%
		Robinson:1989:IMS,%
		Rosenblum:1989:TCT,%
		Smoliar:1982:AES,%
		Thompson:1989:FPE,%
		Veloso:1983:MLS,%
		Woodcock:1989:PZS,%
		Yue:1989:RFO%
		}.
\NAMECITE{specified}{%
		Melhart:1989:ACR%
		}.
\NAMECITE{specify}{%
		Wing:1985:BFB%
		}.
\NAMECITE{Specifying}{%
		Kaplan:1989:SCS,%
		London:1989:SRC,%
		Marca:1989:SCG,%
		Delisle:1989:FSE,%
		Gomaa:1983:IRP%
		}.
\NAMECITE{{Sperry}}{%
		Leveson:1987:STS%
		}.
\NAMECITE{spiral}{%
		Boehm:1986:SMS,%
		Iivari:1987:HSM,%
		Spicer:1983:SAS%
		}.
\NAMECITE{sponsored}{%
		Riddle:1982:PTM%
		}.
\NAMECITE{Spreadsheet}{%
		Kokol:1987:SPS%
		}.
\NAMECITE{Spring}{%
		Baldwin:1982:RSI%
		}.
\NAMECITE{Springer}{%
		Gerhart:1982:TRB,%
		Smoliar:1981:TBN,%
		Smoliar:1984:RPP%
		}.
\NAMECITE{Springer-Verlag}{%
		Gerhart:1982:TRB,%
		Smoliar:1981:TBN,%
		Smoliar:1984:RPP%
		}.
\NAMECITE{{SQA}}{%
		Buckley:1987:RSP,%
		Loy:1989:ESS%
		}.
\NAMECITE{{SREM}}{%
		Rzepka:1983:RSE%
		}.
\NAMECITE{{SRI}}{%
		Levitt:1981:RSW%
		}.
\NAMECITE{Stallman}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{stand}{%
		Nelson:1985:WRS%
		}.
\NAMECITE{Standard}{%
		Glass:1982:RMS,%
		Schultz:1985:SSL%
		}.
\NAMECITE{standards}{%
		Buckley:1986:RQA,%
		Buckley:1988:BES%
		}.
\NAMECITE{{Stanford}}{%
		Luckham:1981:PVS,%
		Reid:1986:LUB%
		}.
\NAMECITE{STARS}{%
		Anonymous:1983:STA,%
		McDonald:1986:SMA%
		}.
\NAMECITE{State}{%
		Phillips:1989:SCA,%
		Ardis:1986:CAS,%
		Hendricksen:1989:AST%
		}.
\NAMECITE{state-machine}{%
		Ardis:1986:CAS%
		}.
\NAMECITE{state-transition}{%
		Hendricksen:1989:AST%
		}.
\NAMECITE{statecharts}{%
		Melhart:1989:ACR%
		}.
\NAMECITE{Static}{%
		Tischler:1983:SAP,%
		Hennell:1980:SAC,%
		Olender:1989:CSS%
		}.
\NAMECITE{Status}{%
		Boyd:1987:SDD,%
		Kemmerer:1981:SOS,%
		Rzepka:1983:RSE,%
		Smith:1985:GVE%
		}.
\NAMECITE{STD}{%
		Coad:1987:DAD,%
		Munck:1988:ODS%
		}.
\NAMECITE{Steele}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{step}{%
		Diaz-Herrera:1984:PPS,%
		Hamlet:1983:DLS,%
		Koomen:1989:LMD%
		}.
\NAMECITE{step-wise}{%
		Diaz-Herrera:1984:PPS,%
		Hamlet:1983:DLS%
		}.
\NAMECITE{stepwise}{%
		Reynolds:1985:PTM%
		}.
\NAMECITE{Still}{%
		Blum:1983:SMA,%
		Schorer:1980:SMP%
		}.
\NAMECITE{Stimulating}{%
		Musa:1983:SSE%
		}.
\NAMECITE{Stop}{%
		Gladden:1982:SLC%
		}.
\NAMECITE{storage}{%
		Ungar:1984:GSN%
		}.
\NAMECITE{story}{%
		Lawrence:1985:RSS%
		}.
\NAMECITE{straitjacket}{%
		Mok:1986:NSP%
		}.
\NAMECITE{strange}{%
		Janssens:1984:SPF%
		}.
\NAMECITE{Strategic}{%
		Weiss:1985:SDI,%
		Parnas:1985:SAS%
		}.
\NAMECITE{strategies}{%
		Clarke:1983:AES,%
		Clarke:1984:RFC,%
		Foster:1983:CAE,%
		Rowland:1989:ECT%
		}.
\NAMECITE{strategy}{%
		Anonymous:1983:STA%
		}.
\NAMECITE{strength}{%
		Koenig:1988:III%
		}.
\NAMECITE{Structural}{%
		Omar:1989:STP%
		}.
\NAMECITE{Structure}{%
		Penteado:1985:SCJ,%
		Shaw:1982:SCJ,%
		Bailey:1982:EEI,%
		Donzeau-Gouge:1984:DSM,%
		Dowson:1986:SSP,%
		Garlan:1984:GIP,%
		George:1982:PCC,%
		Schwanke:1989:DVC%
		}.
\NAMECITE{structured}{%
		Blumofe:1988:ERT,%
		Jamsa:1984:OOD,%
		Peters:1989:TES,%
		Richter:1986:ASA,%
		Shaw:1982:SCJ,%
		Tse:1986:APN,%
		Wasserman:1989:OOS%
		}.
\NAMECITE{structures}{%
		vonIssendorff:1989:ART%
		}.
\NAMECITE{Structuring}{%
		Bonet:1984:SSE,%
		Cashman:1980:COA,%
		Musser:1985:AHS,%
		Rine:1987:CEO,%
		Ritter:1987:HNA%
		}.
\NAMECITE{student}{%
		Jamsa:1984:OOD%
		}.
\NAMECITE{Studies}{%
		Soloway:1986:WES%
		}.
\NAMECITE{study}{%
		Chelini:1986:PSA,%
		Donnelly:1988:CST,%
		Duncan:1982:PAC,%
		Freeman:1984:CSD,%
		Gehani:1982:SP,%
		Lehman:1982:RPS,%
		Leite:1989:VAC,%
		Riddle:1984:MNE%
		}.
\NAMECITE{stuffed}{%
		Brown:1984:MAS%
		}.
\NAMECITE{styles}{%
		Newsted:1981:IPS%
		}.
\NAMECITE{submitted}{%
		Anonymous:1980:SCA%
		}.
\NAMECITE{subsystems}{%
		Bonet:1984:SSE,%
		Kung:1984:AGH%
		}.
\NAMECITE{success}{%
		Lawrence:1985:RSS%
		}.
\NAMECITE{successful}{%
		Benson:1986:RFS%
		}.
\NAMECITE{Summary}{%
		Branstad:1985:SSI,%
		Johnson:1983:SEC,%
		Schwartz:1985:SIC,%
		Bates:1983:RDD,%
		Gerhart:1981:AS,%
		Gerhart:1989:PSF,%
		Gramlich:1983:DMS,%
		Gross:1983:DDS,%
		Krasner:1987:CCS,%
		Linton:1983:KBD,%
		McDonald:1986:SMA,%
		Weber:1983:IIS%
		}.
\NAMECITE{superfluous}{%
		Ejiogu:1983:ESS%
		}.
\NAMECITE{supervisors}{%
		Rosenblum:1989:TCT%
		}.
\NAMECITE{Support}{%
		Strelich:1988:SLC,%
		Beaudouin-Lafon:1988:UIS,%
		Boyd:1987:SDD,%
		Chroust:1989:ADP,%
		Clarke:1988:TSE,%
		Druffel:1982:NPD,%
		Horning:1985:CSB,%
		Kramer:1989:CSS,%
		Lee:1988:ESS,%
		Lehman:1986:ADD,%
		Liu:1988:ODS,%
		Osterweil:1989:ASE,%
		Standish:1981:ADS%
		}.
\NAMECITE{supported}{%
		Gill:1982:ECS%
		}.
\NAMECITE{supporting}{%
		Dubois:1989:LAS%
		}.
\NAMECITE{supports}{%
		Huff:1988:PBI%
		}.
\NAMECITE{Survey}{%
		Huang:1987:SSD,%
		Werth:1987:SSE%
		}.
\NAMECITE{{Surveys}}{%
		Denning:1982:RVS%
		}.
\NAMECITE{Susan}{%
		Gries:1982:LDS%
		}.
\NAMECITE{SW}{%
		Falkerngerg:1989:CML%
		}.
\NAMECITE{{SWAT}}{%
		Cardell:1983:MDS%
		}.
\NAMECITE{symbolic}{%
		Beander:1983:VDI,%
		Cohen:1982:USE,%
		Johnson:1983:IIS,%
		King:1981:PRU%
		}.
\NAMECITE{symposium}{%
		Anonymous:1980:SCA,%
		Reed:1987:RES,%
		Riddle:1982:PTM%
		}.
\NAMECITE{Syntax}{%
		Heyman:1985:SDE,%
		Zelkowits:1984:SCE%
		}.
\NAMECITE{Syntax-directed}{%
		Heyman:1985:SDE%
		}.
\NAMECITE{synthesis}{%
		DeTreville:1984:PIS%
		}.
\NAMECITE{synthesizer}{%
		Reps:1984:SG%
		}.
\NAMECITE{{SySL}}{%
		Thomson:1989:CMU%
		}.
\NAMECITE{System}{%
		Giacalone:1984:III,%
		Gilb:1981:SAS,%
		Loy:1985:SPC,%
		McCoyd:1982:SSG,%
		Smoliar:1983:SAD,%
		Williams:1985:PVS,%
		Borras:1988:CS,%
		Campbell:1984:SPS,%
		Clemm:1988:WSP,%
		Cook:1983:DDM,%
		DeTreville:1984:PIS,%
		Estublier:1984:PEC,%
		Fritzson:1984:PED,%
		Gabriel:1984:PET,%
		Iseki:1986:ADM,%
		Keeton-Williams:1981:PVS,%
		Keus:1982:PMR,%
		Kienle:1988:PRF,%
		Kokol:1989:MSD,%
		Kotik:1989:ASA,%
		Kramer:1989:CSS,%
		Kurki-Suonio:1989:ASA,%
		Lee:1988:ESS,%
		Livson:1987:FSD,%
		Macdonald:1985:VRS,%
		Mack-Crane:1989:CMS,%
		Mannino:1987:PCF,%
		Mano:1981:IMD,%
		Marcus:1985:SSV,%
		Mastro:1985:TDS,%
		Melliar-Smith:1985:EHS,%
		Penteado:1985:SCJ,%
		Pirie:1986:LS,%
		Putnam:1985:VDV,%
		Reddy:1988:TDP,%
		Rickert:1985:SMS,%
		Rowland:1989:ECT,%
		Scacchi:1989:USF,%
		Summersgill:1989:HFP,%
		Tardy:1988:HTA,%
		Tate:1985:RPS,%
		Weber:1984:DDS,%
		White:1986:TEC,%
		Winters:1986:RCS,%
		Zahniser:1983:LAS,%
		Nord:1988:EAS,%
		ofLowell:1987:GKS,%
		Lempp:1986:PMP%
		}.
\NAMECITE{Systematic}{%
		Antoy:1989:SDA,%
		Fritzson:1983:SAA%
		}.
\NAMECITE{Systems}{%
		Anonymous:1983:STA,%
		Abdali:1985:EWD,%
		Anonymous:1980:SCA,%
		Aoyama:1987:CDS,%
		Avrunin:1989:EAA,%
		Bates:1983:AHL,%
		Blum:1982:RPI,%
		Bruyn:1988:ESM,%
		Ceri:1983:RDB,%
		Craigen:1985:OVS,%
		Crocker:1985:ERP,%
		Dahler:1987:GTD,%
		Gerhart:1985:PTB,%
		Gerhart:1989:PSF,%
		Gilham:1989:TRR,%
		Glasgow:1985:LSL,%
		Goldberg:1987:SPT,%
		Good:1981:TBV,%
		Hagemann:1987:FRS,%
		Heitmeyer:1982:UQP,%
		Kaplan:1989:SCS,%
		Kurki-Suonio:1989:ASA,%
		Mason:1982:ATI,%
		McCoyd:1982:SSG,%
		Minsky:1988:SDE,%
		Moore:1981:EWV,%
		Neumann:1986:RPCa,%
		Neumann:1986:RPCb,%
		Neumann:1986:RPCc,%
		Neumann:1986:RPCd,%
		Neumann:1987:RPC,%
		Neumann:1988:RPR,%
		Pakstas:1989:ALC,%
		Parnas:1985:SAS,%
		Peters:1989:TES,%
		Ramanathan:1985:TBI,%
		Reiss:1984:GPD,%
		Ritter:1987:HNA,%
		Shaw:1989:LSS,%
		Standish:1981:ADS,%
		Strelich:1988:SLC,%
		Wasserman:1982:RPI,%
		Watanabe:1989:RCO,%
		Williams:1988:PVS,%
		Williams:1989:SDI,%
		Wing:1985:BFB,%
		Yelowitz:1981:FAP%
		}.
\NAMECITE{Sytek}{%
		Owre:1985:STP%
		}.


\NAMECITE{tale}{%
		Leveson:1987:STS%
		}.
\NAMECITE{tape}{%
		Dunn:1985:ESS%
		}.
\NAMECITE{target}{%
		Kung:1984:AGH,%
		Tardy:1988:HTA%
		}.
\NAMECITE{targets}{%
		Weissman:1981:VT%
		}.
\NAMECITE{tasking}{%
		Ncube:1988:ATM,%
		Rosenblum:1989:TCT%
		}.
\NAMECITE{taxonomy}{%
		Zelkowitz:1984:TPD%
		}.
\NAMECITE{team}{%
		Bailey:1982:EEI,%
		Clarke:1988:TSE%
		}.
\NAMECITE{TEC}{%
		Staff:1985:PAA%
		}.
\NAMECITE{technique}{%
		Hill:1983:RTM,%
		Shaw:1984:IFT%
		}.
\NAMECITE{Techniques}{%
		Horgan:1984:TIL,%
		Zucconi:1989:TEC,%
		Curtis:1982:AFF,%
		Goldberg:1987:SPT,%
		Kapur:1985:RTP,%
		Richardson:1989:ITT,%
		Taylor:1982:ITR,%
		Kilov:1989:BRA%
		}.
\NAMECITE{Technology}{%
		Anonymous:1983:STA,%
		Belady:1985:MST,%
		Benzel:1985:VTA,%
		Cerf:1981:VVT,%
		Feiertag:1981:AED,%
		Gerhart:1985:PTB,%
		Ottenstein:1983:HLD,%
		Riddle:1984:MNE,%
		Wegner:1982:RCI,%
		William:1985:CVT%
		}.
\NAMECITE{Ted}{%
		Smoliar:1983:RLM%
		}.
\NAMECITE{temporal}{%
		Kooij:1989:IST%
		}.
\NAMECITE{terminal}{%
		Mano:1981:IMD%
		}.
\NAMECITE{Test}{%
		Pazirandeh:1986:TPM,%
		Balcer:1989:AGT,%
		Bieman:1989:ENT,%
		Donnelly:1988:CST,%
		Foster:1984:STD,%
		Foster:1985:RES,%
		Hoffman:1989:MTC,%
		Rowland:1989:ECT,%
		Weiss:1989:CTD%
		}.
\NAMECITE{Testimony}{%
		Goodfellow:1983:T,%
		Parker:1983:T%
		}.
\NAMECITE{Testing}{%
		Foster:1989:TI,%
		Grochow:1986:POS,%
		House:1989:TLS,%
		Landwehr:1986:NIW,%
		Rosenblum:1989:TCT,%
		Adler:1983:FMC,%
		Benson:1981:PEA,%
		Bieman:1989:ENT,%
		Chan:1984:PTA,%
		Clarke:1983:AES,%
		Clarke:1984:RFC,%
		Clarke:1988:TSE,%
		Eckmann:1985:IIE,%
		Foster:1983:CAE,%
		Hamlet:1989:TCT,%
		Harrold:1989:IDF,%
		Jard:1983:ATS,%
		Jeng:1989:SOP,%
		Kotik:1989:ASA,%
		Leveson:1987:STS,%
		Omar:1989:STP,%
		Podgurski:1989:IPD,%
		Richardson:1989:ASB,%
		Richardson:1989:ITT,%
		Tai:1989:WDB,%
		Whitehurst:1985:NID,%
		Yates:1989:REI%
		}.
\NAMECITE{{Texas}}{%
		Haynes:1981:PVT%
		}.
\NAMECITE{text}{%
		Dodd:1982:PLT,%
		Narayanaswamy:1989:TBR%
		}.
\NAMECITE{text-based}{%
		Narayanaswamy:1989:TBR%
		}.
\NAMECITE{text-processing}{%
		Dodd:1982:PLT%
		}.
\NAMECITE{Thayer}{%
		Smoliar:1981:TBN%
		}.
\NAMECITE{their}{%
		Blum:1989:DTA,%
		Tully:1989:SPM%
		}.
\NAMECITE{them}{%
		Kokol:1988:SEM%
		}.
\NAMECITE{Theorem}{%
		Cooper:1985:OTP,%
		Boyer:1985:PTP,%
		Kapur:1985:EAT,%
		Kapur:1985:RTP,%
		Owre:1985:STP,%
		Wilson:1985:PHT%
		}.
\NAMECITE{theorem-prover}{%
		Boyer:1985:PTP%
		}.
\NAMECITE{theorems}{%
		Musser:1985:AHS%
		}.
\NAMECITE{Theoretical}{%
		Hamlet:1989:TCT%
		}.
\NAMECITE{theories}{%
		Gerhart:1981:HLT%
		}.
\NAMECITE{theory}{%
		Constable:1981:VCS,%
		Pratt:1987:CTS%
		}.
\NAMECITE{Thierry}{%
		Chapman:1986:BRS%
		}.
\NAMECITE{Thomas}{%
		Smoliar:1981:TBN%
		}.
\NAMECITE{those}{%
		Anonymous:1980:SCA%
		}.
\NAMECITE{Thoughts}{%
		Blum:1986:TSP,%
		Craigen:1985:STA,%
		Goguen:1981:MTS,%
		Taylor:1982:ITR%
		}.
\NAMECITE{Three}{%
		Mastro:1985:TDS,%
		vanVleck:1989:TQA,%
		Riddle:1984:MNE,%
		Rowland:1989:ECT%
		}.
\NAMECITE{time}{%
		Blumofe:1988:ERT,%
		Ghezzi:1989:GWP,%
		Hill:1983:RTM,%
		Liu:1989:OSR,%
		Peters:1989:TES,%
		Razouk:1989:RTI,%
		Shyamasundar:1989:RRT,%
		Zucconi:1989:TEC%
		}.
\NAMECITE{timeshared}{%
		Gabriel:1984:PET%
		}.
\NAMECITE{Timing}{%
		Peters:1989:TES%
		}.
\NAMECITE{tolerance}{%
		Weber:1989:FSF%
		}.
\NAMECITE{Tool}{%
		Dart:1989:TCA,%
		Dahler:1987:GTD,%
		Delisle:1984:VPE,%
		Mason:1982:ATI,%
		Miyamoto:1987:PTG,%
		Reynolds:1985:PTM,%
		Riddle:1982:PTM,%
		Zucconi:1989:SCT%
		}.
\NAMECITE{toolbox}{%
		Barra:1983:SPT%
		}.
\NAMECITE{toolkit}{%
		Snodgrass:1986:AIT%
		}.
\NAMECITE{Tools}{%
		Perry:1986:TES,%
		Baram:1989:SCA,%
		Bazelmans:1985:PRT,%
		Beaudouin-Lafon:1988:UIS,%
		Bobbie:1987:PTA,%
		Cook:1987:PSC,%
		Dutton:1984:RTP,%
		Gilb:1984:SEU,%
		Karakostas:1989:RCT,%
		Lee:1988:ESS,%
		Martin:1988:ECS,%
		McHugh:1985:AVU,%
		Miyamoto:1987:PTG,%
		Pakstas:1989:ALC,%
		Perlman:1986:CQT,%
		Rajaraman:1982:CSD%
		}.
\NAMECITE{Toolset}{%
		Glass:1982:RMS,%
		Mahler:1988:ITE%
		}.
\NAMECITE{top}{%
		Hill:1989:RCT,%
		Zahniser:1988:PTD%
		}.
\NAMECITE{top-down}{%
		Hill:1989:RCT,%
		Zahniser:1988:PTD%
		}.
\NAMECITE{trace}{%
		Dixon:1982:RPM%
		}.
\NAMECITE{traces}{%
		Veloso:1983:MLS%
		}.
\NAMECITE{tracking}{%
		Murray:1988:PRD%
		}.
\NAMECITE{transaction}{%
		McCoyd:1982:SSG%
		}.
\NAMECITE{transactions}{%
		Kaiser:1989:MCT%
		}.
\NAMECITE{transform}{%
		Heimbigner:1988:GTM%
		}.
\NAMECITE{transformation}{%
		Kotik:1989:ASA%
		}.
\NAMECITE{Transformational}{%
		Reddy:1988:TDP%
		}.
\NAMECITE{transformations}{%
		Miranda:1989:CTT,%
		Thompson:1989:FPE%
		}.
\NAMECITE{transition}{%
		Hendricksen:1989:AST%
		}.
\NAMECITE{transportability}{%
		Skelton:1986:MMT%
		}.
\NAMECITE{treasurer}{%
		Schneidewind:1981:MST%
		}.
\NAMECITE{treatment}{%
		vonIssendorff:1989:ART%
		}.
\NAMECITE{{TRIAD}}{%
		Ramanathan:1985:TBI%
		}.
\NAMECITE{trip}{%
		Buckley:1986:SSQ%
		}.
\NAMECITE{{Tripp}}{%
		Anonymous:1980:CBT%
		}.
\NAMECITE{trusted}{%
		Yelowitz:1981:FAP%
		}.
\NAMECITE{trustworthy}{%
		Gerhart:1989:PSF%
		}.
\NAMECITE{{TSL}}{%
		Rosenblum:1989:TCT%
		}.
\NAMECITE{Two}{%
		Dunn:1984:TOL,%
		Gerhart:1982:TRB,%
		McLean:1985:TDP,%
		Perlman:1980:THL,%
		Smoliar:1981:TBN,%
		White:1986:TEC,%
		Gries:1982:LDS,%
		Landwehr:1986:NIW,%
		Maurer:1985:PTP,%
		Miya:1982:RTB%
		}.
\NAMECITE{typed}{%
		Wileden:1988:PEP%
		}.


\NAMECITE{uit}{%
		Parnas:1981:LGU%
		}.
\NAMECITE{UK}{%
		Calliss:1988:FUS,%
		Cooper:1989:RUS,%
		Stokes:1985:SFM%
		}.
\NAMECITE{unconventional}{%
		Gilb:1986:ESA%
		}.
\NAMECITE{underlying}{%
		Gumb:1982:ULS%
		}.
\NAMECITE{Understanding}{%
		Blum:1985:USP%
		}.
\NAMECITE{unifying}{%
		Walpole:1988:UMC%
		}.
\NAMECITE{unit}{%
		Adler:1983:FMC%
		}.
\NAMECITE{{UNITY}}{%
		Gerth:1989:RU%
		}.
\NAMECITE{Universal}{%
		Walter:1983:DUD%
		}.
\NAMECITE{{UNIX}}{%
		Reid:1986:LUB,%
		Ward:1985:UEN%
		}.
\NAMECITE{unsound}{%
		Chambers:1983:EMB%
		}.
\NAMECITE{untitled}{%
		Bonyun:1981:UCG%
		}.
\NAMECITE{update}{%
		Craigen:1985:EU%
		}.
\NAMECITE{{US\&R}}{%
		Vitter:1984:UNF%
		}.
\NAMECITE{{USC}}{%
		Scacchi:1989:USF%
		}.
\NAMECITE{Use}{%
		Bradshaw:1982:UDA,%
		Ramanathan:1982:UAS,%
		Galbraith:1987:SUGa,%
		Heitmeyer:1982:UQP,%
		Maarek:1989:ULA,%
		Neumann:1982:PIC,%
		Ramanathan:1985:URD,%
		Rich:1982:DUS%
		}.
\NAMECITE{User}{%
		Beaudouin-Lafon:1988:UIS,%
		Gomaa:1983:IRP,%
		Magel:1984:UDI,%
		Knoll:1989:GLB%
		}.
\NAMECITE{user-definable}{%
		Magel:1984:UDI%
		}.
\NAMECITE{users}{%
		Galbraith:1987:SUGb,%
		Young:1988:SUG%
		}.
\NAMECITE{Using}{%
		Cohen:1982:USE,%
		DIppolito:1989:SDU,%
		Davis:1982:RPU,%
		Gilb:1984:SEU,%
		King:1981:PRU,%
		Klausner:1982:RPR,%
		Kotik:1989:ASA,%
		London:1989:SRC,%
		McHugh:1985:AVU,%
		Murray:1988:PRD,%
		Murray:1988:SCU,%
		Reddy:1988:TDP,%
		Robinson:1989:IMS,%
		Thomson:1989:CMU%
		}.


\NAMECITE{Validating}{%
		Howden:1989:VPS%
		}.
\NAMECITE{validation}{%
		Davis:1985:RAV,%
		Dinsart:1989:ODV,%
		Wallace:1987:PSV%
		}.
\NAMECITE{variant}{%
		Schroeder:1989:IVC%
		}.
\NAMECITE{variants}{%
		Narayanaswamy:1989:TBR%
		}.
\NAMECITE{varying}{%
		Bailey:1982:EEI%
		}.
\NAMECITE{{VAX}}{%
		Beander:1983:VDI%
		}.
\NAMECITE{{VCG}}{%
		Moore:1981:EWV%
		}.
\NAMECITE{Verification}{%
		Anonymous:1980:WFV,%
		Benzel:1985:VTA,%
		Smith:1985:PPP,%
		Tardo:1981:VIO,%
		Williams:1985:PVS,%
		Abdali:1985:EWD,%
		Anonymous:1985:OFL,%
		Boyer:1983:PVP,%
		Cerf:1981:VVT,%
		Craigen:1985:OVS,%
		Crocker:1985:ERP,%
		Dahl:1985:PSV,%
		Dershowitz:1985:RV,%
		DiVito:1981:MVA,%
		DiVito:1985:TDB,%
		Feiertag:1981:AED,%
		Foster:1980:CEA,%
		Gerhart:1981:RAV,%
		Gerhart:1985:PTB,%
		Giordano:1980:SVP,%
		Goguen:1981:MTS,%
		Good:1985:SGV,%
		Haynes:1981:PVT,%
		Keeton-Williams:1981:PVS,%
		Landwehr:1985:DPV,%
		Levitt:1981:RSW,%
		Luckham:1981:PVS,%
		McHugh:1985:AVU,%
		Melliar-Smith:1985:EHS,%
		Millen:1981:RVW,%
		Proctor:1985:RAP,%
		Putnam:1985:VDV,%
		Smith:1985:GVE,%
		Wallace:1987:PSV,%
		Weissman:1981:VT,%
		Whitehurst:1985:NID,%
		William:1985:CVT,%
		Yelowitz:1981:FAP%
		}.
\NAMECITE{Verified}{%
		Young:1989:VCM,%
		Good:1981:TBV,%
		Ramsey:1989:DFV,%
		Smith:1981:VEP%
		}.
\NAMECITE{Verifying}{%
		Hookway:1985:VAP,%
		Macdonald:1985:VRS,%
		Marcus:1985:SSV,%
		Denning:1982:RVS%
		}.
\NAMECITE{{VERking}}{%
		Constable:1981:VCS%
		}.
\NAMECITE{VERkshop}{%
		Anonymous:1980:WFV,%
		Taylor:1985:VPP,%
		Smith:1985:PPP,%
		Neumann:1981:RIV%
		}.
\NAMECITE{Verlag}{%
		Gerhart:1982:TRB,%
		Smoliar:1981:TBN,%
		Smoliar:1984:RPP%
		}.
\NAMECITE{Version}{%
		Cohen:1988:VMG,%
		Thomas:1989:VCM,%
		Winkler:1988:WSV,%
		Brilliant:1987:CCP,%
		Clemm:1989:RVC,%
		Gordon:1989:CVC,%
		Mack-Crane:1989:CMS,%
		Reichenberger:1989:OVM%
		}.
\NAMECITE{version-control}{%
		Clemm:1989:RVC%
		}.
\NAMECITE{versioning}{%
		Lie:1989:COV%
		}.
\NAMECITE{versions}{%
		Reps:1989:III%
		}.
\NAMECITE{versus}{%
		Gilb:1985:EDV,%
		Lubars:1986:CRL%
		}.
\NAMECITE{{VERUS\TM}}{%
		Putnam:1985:VDV%
		}.
\NAMECITE{very}{%
		Janssens:1984:SPF,%
		Olenfeldt:1985:VSP,%
		Williams:1989:SDI%
		}.
\NAMECITE{veteran}{%
		Baldwin:1983:LNV%
		}.
\NAMECITE{via}{%
		Ottenstein:1983:HLD%
		}.
\NAMECITE{view}{%
		Cerf:1981:VVT,%
		Chandy:1988:AVF,%
		Gilb:1986:ESA%
		}.
\NAMECITE{Viewing}{%
		Delisle:1984:VPE,%
		Anderson:1989:PPS%
		}.
\NAMECITE{Viewpoint}{%
		Leite:1989:VAC%
		}.
\NAMECITE{Views}{%
		Stinson:1989:VSA,%
		Stinson:1989:VSD,%
		Linton:1984:IRV,%
		McDonald:1986:SMA,%
		Schwan:1986:GVP,%
		Tardo:1981:VIO%
		}.
\NAMECITE{Viking}{%
		Neumann:1985:RSA%
		}.
\NAMECITE{visible}{%
		Lempp:1986:PMP%
		}.
\NAMECITE{visual}{%
		Eisenbach:1989:DFD%
		}.
\NAMECITE{visualizing}{%
		Schwanke:1989:DVC%
		}.
\NAMECITE{{VM}}{%
		Murray:1988:PRD,%
		Murray:1988:SCU%
		}.
\NAMECITE{{VM/SP}}{%
		Murray:1988:PRD,%
		Murray:1988:SCU%
		}.
\NAMECITE{volume}{%
		McDonald:1986:SMA%
		}.
\NAMECITE{voting}{%
		Williams:1988:PVS%
		}.
\NAMECITE{vs}{%
		Gregory:1984:PVM,%
		Jamsa:1984:OOD,%
		Zahniser:1988:CSV%
		}.
\NAMECITE{Vulnerabilities}{%
		Rosen:1981:VNC%
		}.


\NAMECITE{W}{%
		Bryant:1983:BWB,%
		Reifer:1985:RPP,%
		Schneider:1988:WDP,%
		Smoliar:1984:RPP%
		}.
\NAMECITE{{Wang}}{%
		Fairley:1988:PMA%
		}.
\NAMECITE{want}{%
		Gladden:1982:SLC%
		}.
\NAMECITE{{ware}}{%
		Geller:1985:BWC%
		}.
\NAMECITE{Wasserman}{%
		Binder:1989:ARO%
		}.
\NAMECITE{waterfall}{%
		Gilb:1985:EDV%
		}.
\NAMECITE{Watsonville}{%
		Smith:1985:PPP%
		}.
\NAMECITE{way}{%
		Ghezzi:1989:GWP%
		}.
\NAMECITE{Weinberg}{%
		Kilov:1983:RER%
		}.
\NAMECITE{we're}{%
		Hamilton:1980:IWF%
		}.
\NAMECITE{{West}}{%
		Spinrad:1985:WWL%
		}.
\NAMECITE{WG}{%
		Schwartz:1985:SIC%
		}.
\NAMECITE{where}{%
		Druffel:1982:NPD%
		}.
\NAMECITE{which}{%
		Garman:1981:BHR%
		}.
\NAMECITE{widespread}{%
		Rickert:1986:PWR%
		}.
\NAMECITE{{Wild}}{%
		Spinrad:1985:WWL%
		}.
\NAMECITE{{Wild-West}}{%
		Spinrad:1985:WWL%
		}.
\NAMECITE{Wiley}{%
		Reifer:1985:RPP%
		}.
\NAMECITE{WILI}{%
		Spinrad:1985:WWL%
		}.
\NAMECITE{Will}{%
		Nelson:1985:WRS%
		}.
\NAMECITE{winner}{%
		Parikh:1983:HPW%
		}.
\NAMECITE{Winston}{%
		Chapman:1986:BRS%
		}.
\NAMECITE{wise}{%
		Diaz-Herrera:1984:PPS,%
		Hamlet:1983:DLS,%
		Parikh:1985:SMP%
		}.
\NAMECITE{within}{%
		Babb:1979:ADA,%
		Lempp:1986:PMP,%
		Mullerburg:1983:RDW%
		}.
\NAMECITE{without}{%
		Howden:1989:VPS,%
		Mili:1982:DSB%
		}.
\NAMECITE{{{wizards}}}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{Woods}{%
		Neumann:1984:RHD%
		}.
\NAMECITE{work}{%
		Levitt:1981:RSW,%
		Millen:1981:RVW%
		}.
\NAMECITE{Workshop}{%
		Dowson:1986:PPI,%
		Landwehr:1986:NIW,%
		Ratcliffe:1987:HWS,%
		Clemm:1988:WSP,%
		Penedo:1988:OMI,%
		Smith:1985:PPP,%
		Staff:1985:PAA,%
		Anonymous:1980:WFV,%
		Calliss:1988:FUS,%
		Cooper:1989:RUS,%
		Grochow:1986:POS,%
		Harandi:1988:WSS,%
		Riddle:1984:RSP,%
		Riddle:1986:SEW,%
		Soloway:1986:WES,%
		Squires:1982:RPWa,%
		Squires:1982:RPWb,%
		Winkler:1988:WSV%
		}.
\NAMECITE{workstation}{%
		Leblang:1984:CAS,%
		Winters:1986:RCS%
		}.
\NAMECITE{workstations}{%
		Abdali:1985:EWD%
		}.
\NAMECITE{world}{%
		Garman:1981:BHR,%
		Neumann:1984:RHD,%
		Parikh:1985:DWS,%
		Parikh:1986:EWSa,%
		Parikh:1986:EWSb,%
		Parikh:1986:NWA%
		}.
\NAMECITE{worse}{%
		Meyer:1983:SMW%
		}.
\NAMECITE{write}{%
		Dunn:1985:ESS%
		}.
\NAMECITE{write-enable}{%
		Dunn:1985:ESS%
		}.
\NAMECITE{writing}{%
		Moore:1981:EWV%
		}.
\NAMECITE{{Writings}}{%
		Miya:1982:RTB%
		}.
\NAMECITE{written}{%
		Dixon:1982:RPM%
		}.


\NAMECITE{year}{%
		Zave:1984:RSM%
		}.
\NAMECITE{years}{%
		Osterweil:1981:SER%
		}.
\NAMECITE{yellow}{%
		Buckley:1986:SSQ%
		}.
\NAMECITE{Yourdon}{%
		Miya:1982:RTB%
		}.


\NAMECITE{Z}{%
		London:1989:SRC,%
		Woodcock:1989:PZS%
		}.
\NAMECITE{Zen}{%
		Yack:1982:CZA,%
		Neumann:1982:PIC%
		}.