%%====================================================================== %% 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 Mon Aug 28 14:21:09 MDT 2023 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$^3$}{% Shapiro:1977:ESL% }. \NAMECITE{$ \rightarrow $}{% Manna:1979:SDR% }. \NAMECITE{{1}}{% Bernstein:1978:CCM% }. \NAMECITE{{2}}{% Anonymous:1976:IIT% }. \NAMECITE{{3}}{% Anonymous:1977:IIT% }. \NAMECITE{{360}}{% Hughes:1978:AVE% }. \NAMECITE{{4}}{% Anonymous:1978:IIT% }. \NAMECITE{{5}}{% Anonymous:1979:IIT% }. \NAMECITE{Abstraction}{% Zelkowitz:1978:ICB% }. \NAMECITE{Abstractions}{% Gerhart:1976:CSA,% Liskov:1975:STD% }. \NAMECITE{Access}{% Cernicica:1977:EAA,% Gligor:1979:RRA,% Haralick:1977:IAP,% Hsiao:1979:DAC,% Jones:1976:LEC,% McGraw:1979:ACP% }. \NAMECITE{Achieve}{% Anonymous:1976:GEC% }. \NAMECITE{Acknowledgment}{% Anonymous:1976:AR,% Anonymous:1977:AR,% Anonymous:1978:AR,% Anonymous:1979:AR% }. \NAMECITE{Address}{% Smith:1977:TME% }. \NAMECITE{Advance}{% Anonymous:1976:AP,% Anonymous:1978:AP,% Anonymous:1978:APA,% Anonymous:1978:APS,% Anonymous:1979:AA,% Anonymous:1979:APAa,% Anonymous:1979:APAb% }. \NAMECITE{advertisement}{% Anonymous:1976:AIC,% Anonymous:1977:AICa,% Anonymous:1977:AICb,% Anonymous:1977:AICc% }. \NAMECITE{Aid}{% Hamlet:1977:TPA,% Reisner:1977:UPE,% Stone:1977:MSA% }. \NAMECITE{Aided}{% Bell:1977:EAC,% Teichroew:1977:PPC% }. \NAMECITE{aiding}{% Ramamoorthy:1975:OPS% }. \NAMECITE{aids}{% Boehm:1975:SEA% }. \NAMECITE{{Aladdin}}{% Fairley:1979:AAL% }. \NAMECITE{Algebra}{% Stoutemyer:1977:CIN,% Paige:1975:PGA% }. \NAMECITE{Algorithm}{% Misra:1978:TAC% }. \NAMECITE{Algorithms}{% Robinson:1979:SAT,% Smith:1978:CSS,% Stone:1977:MSA,% Zweben:1977:SPS% }. \NAMECITE{Allocation}{% Bochmann:1978:CTM,% Shrivastava:1978:RRA% }. \NAMECITE{Allow}{% Silberschatz:1977:ECP% }. \NAMECITE{Alphanumeric}{% Soffer:1977:IRB% }. \NAMECITE{{Alphard}}{% Wulf:1976:ICV% }. \NAMECITE{Alternatives}{% Anonymous:1977:ACT% }. \NAMECITE{Analysis}{% Abrahams:1979:CTA,% Anonymous:1978:ANQ,% Anonymous:1978:IAN,% Cheatham:1979:SEA,% Chin:1978:A,% Chow:1977:ASP,% Elshoff:1976:ASC,% Francez:1978:AMA,% Goel:1980:SD,% Gonnet:1979:ACQ,% Harrison:1977:CAV,% Howden:1976:RPA,% Kashyap:1977:AMA,% Kodres:1978:ART,% Lee:1976:APC,% Robinson:1979:SAT,% Ross:1977:SAR,% Ross:1977:SAS,% Schick:1978:ACS,% Schneidewind:1979:CES,% Schneidewind:1979:ESE,% Smith:1977:TME,% Teichroew:1977:PPC,% Endres:1975:AET,% Stockenberg:1975:SPA% }. \NAMECITE{Analytic}{% Chandy:1975:AMR% }. \NAMECITE{Analytical}{% Marie:1979:AAM% }. \NAMECITE{Analyzing}{% Waters:1979:MAL% }. \NAMECITE{Announcement}{% Anonymous:1978:APA,% Anonymous:1979:AA,% Anonymous:1979:APAa,% Anonymous:1979:APAb% }. \NAMECITE{Announces}{% Anonymous:1978:ICSg,% Anonymous:1978:ICSm% }. \NAMECITE{Announcing}{% Anonymous:1976:AIC,% Anonymous:1977:ACT,% Anonymous:1977:AICa,% Anonymous:1977:AICb,% Anonymous:1977:AICc,% Anonymous:1978:ANQ,% Anonymous:1978:IAN,% Anonymous:1979:AICa,% Anonymous:1979:AICb,% Anonymous:1979:AICc% }. \NAMECITE{Anomaly}{% Huang:1979:DDF% }. \NAMECITE{Application}{% Andrews:1979:DMS,% Chang:1978:DSAa,% Chang:1978:DSAb,% Francez:1978:AMA,% Lee:1976:APC,% Musa:1975:TSR% }. \NAMECITE{Applications}{% Bentley:1979:MBS,% Gerhart:1976:OFA,% Ntafos:1979:PCP,% Oldehoeft:1979:DSS,% Roussopoulos:1979:CCS% }. \NAMECITE{Applied}{% Mccammon:1975:ASE% }. \NAMECITE{Apprentice}{% Rich:1978:IRL,% Hewitt:1975:TPA% }. \NAMECITE{Approach}{% Bell:1977:EAC,% Birman:1976:PRA,% Gannon:1978:OAF,% Lee:1981:SCC,% Misra:1978:AFD,% Witt:1975:CA% }. \NAMECITE{Approximate}{% Marie:1979:AAM% }. \NAMECITE{architecture}{% Wulf:1975:RHS% }. \NAMECITE{Argument}{% Roman:1977:AFM% }. \NAMECITE{Artificial}{% Klinger:1977:AP% }. \NAMECITE{Aspects}{% Bernstein:1979:FAS,% Misra:1978:SAV,% Rubey:1975:QAS% }. \NAMECITE{Assemblers}{% Spitzen:1976:SA% }. \NAMECITE{Assembly}{% Fairley:1979:AAL% }. \NAMECITE{Assertion}{% Fairley:1979:AAL% }. \NAMECITE{Assertions}{% Wortman:1979:LAE,% German:1975:SIA% }. \NAMECITE{assessment}{% Wirth:1975:APL% }. \NAMECITE{Assignment}{% Gries:1978:MAS% }. \NAMECITE{{ASSIST}}{% Hughes:1978:AVE% }. \NAMECITE{{ASSIST-V}}{% Hughes:1978:AVE% }. \NAMECITE{Assistant}{% Moriconi:1979:DVA% }. \NAMECITE{Associations}{% Ghosh:1976:DDB% }. \NAMECITE{Associative}{% Smith:1978:CSS% }. \NAMECITE{Asynchronous}{% Akkoyunlu:1978:CES,% Robinson:1979:SAT% }. \NAMECITE{Attribute}{% Kashyap:1977:AMA% }. \NAMECITE{Auditing}{% Anonymous:1976:MAC,% Lee:1978:TAA% }. \NAMECITE{Authentication}{% Gligor:1979:OMA% }. \NAMECITE{Author}{% Anonymous:1975:AI,% Baker:1976:ARS% }. \NAMECITE{authors}{% Anonymous:1975:IA,% Anonymous:1977:IA,% Anonymous:1978:IA,% Anonymous:1979:IA% }. \NAMECITE{Automated}{% Irvine:1977:ASE,% Ramamoorthy:1976:AGP,% Boehm:1975:SEA,% Ramamoorthy:1975:TLS% }. \NAMECITE{Automatic}{% Dershowitz:1977:EPA,% Lee:1978:TAA,% Miller:1976:AGF,% Polak:1979:EAP,% Stoutemyer:1977:CIN% }. \NAMECITE{Automating}{% Rowe:1978:ASI% }. \NAMECITE{Average}{% Cernicica:1977:EAA% }. \NAMECITE{Avoidance}{% Rypka:1979:DDA% }. \NAMECITE{Back}{% Anonymous:1975:BMa,% Anonymous:1975:BMb,% Anonymous:1975:BMc,% Anonymous:1975:BMd% }. \NAMECITE{Backtracking}{% Gerhart:1976:CSA% }. \NAMECITE{Base}{% Ghosh:1976:DDB,% Ghosh:1976:DEM,% Kashyap:1977:AMA,% Roussopoulos:1979:CCS,% Chandy:1975:AMR% }. \NAMECITE{Based}{% Soffer:1977:IRB,% Zelkowitz:1978:ICB% }. \NAMECITE{Bases}{% Demillo:1978:EDB,% Menasce:1979:LDD% }. \NAMECITE{Basis}{% Reynolds:1976:IBP% }. \NAMECITE{Batch}{% Ellis:1978:IUM% }. \NAMECITE{Be}{% Demillo:1978:EDB% }. \NAMECITE{Behavior}{% Riddle:1978:BMD% }. \NAMECITE{Better}{% Walke:1977:PRB% }. \NAMECITE{Between}{% Birman:1976:PRA,% Oldehoeft:1977:CBL,% Shrivastava:1978:RRA% }. \NAMECITE{Binary}{% Bentley:1979:MBS% }. \NAMECITE{Blocking}{% Caseau:1979:TCS% }. \NAMECITE{Books}{% Anonymous:1978:BCP% }. \NAMECITE{bottom}{% Mcclure:1975:TBS% }. \NAMECITE{bottom-up}{% Mcclure:1975:TBS% }. \NAMECITE{Building}{% Williams:1976:PBS% }. \NAMECITE{Cache}{% Smith:1978:CSS% }. \NAMECITE{Call}{% Anonymous:1976:CP,% Anonymous:1977:CPa,% Anonymous:1977:CPb,% Anonymous:1977:CPc,% Anonymous:1977:CPd,% Anonymous:1978:CPa,% Anonymous:1978:CPb,% Anonymous:1978:CPc,% Anonymous:1978:CPd,% Anonymous:1978:CPe,% Anonymous:1979:CPa,% Anonymous:1979:CPb,% Anonymous:1979:CPc,% Anonymous:1979:CPd,% Anonymous:1979:CPe,% Ryder:1979:CCG% }. \NAMECITE{Can}{% Demillo:1978:EDB% }. \NAMECITE{Capabilities}{% Ekanadham:1979:CC,% Gligor:1979:RRA% }. \NAMECITE{Capability}{% Kieburtz:1978:CM,% Zelkowitz:1978:ICB% }. \NAMECITE{Capability-Based}{% Zelkowitz:1978:ICB% }. \NAMECITE{Capacities}{% Chandy:1977:SCC% }. \NAMECITE{Capacity}{% Caseau:1979:TCS% }. \NAMECITE{Case}{% Anonymous:1976:GEC,% Bernstein:1978:CCM,% Chandy:1979:DSC,% Cohen:1979:CSP,% Lucena:1979:PDU,% Mccammon:1975:ASE% }. \NAMECITE{Cassette}{% Cernicica:1977:EAA% }. \NAMECITE{causes}{% Endres:1975:AET% }. \NAMECITE{Challenge}{% DeRoze:1978:SLC% }. \NAMECITE{chapter}{% Anonymous:1976:OTY% }. \NAMECITE{Character}{% Rose:1976:PCP% }. \NAMECITE{Checking}{% Stoutemyer:1977:CIN% }. \NAMECITE{{Chi}}{% Lynch:1975:REC% }. \NAMECITE{{Chi/OS}}{% Lynch:1975:REC% }. \NAMECITE{Clarity}{% Gordon:1979:MIP,% Gordon:1979:QJM% }. \NAMECITE{Closed}{% Gonnet:1979:ACQ,% Trivedi:1979:DMC% }. \NAMECITE{{CLU}}{% Liskov:1979:EHC% }. \NAMECITE{Clusters}{% Katzenelson:1979:CDS% }. \NAMECITE{Code}{% Harrison:1979:NSC,% Rochkind:1975:SCC% }. \NAMECITE{Collection}{% Anonymous:1978:GES,% Schneidewind:1979:CES,% Schneidewind:1979:ESE% }. \NAMECITE{{COLUMBUS}}{% Witt:1975:CA% }. \NAMECITE{Comments}{% Lee:1981:SCC,% Tompkins:1976:C% }. \NAMECITE{Commercial}{% Elshoff:1976:ASC% }. \NAMECITE{Common}{% Lin:1979:CPS% }. \NAMECITE{Communicating}{% Ross:1977:SAS% }. \NAMECITE{Communication}{% Chandy:1977:SCC,% Donovan:1977:VMC,% Silberschatz:1979:CSD% }. \NAMECITE{communications}{% Scott:1975:PPG% }. \NAMECITE{Comparative}{% Smith:1978:CSS% }. \NAMECITE{Comparison}{% Nutt:1977:PPO% }. \NAMECITE{{Compcon77}}{% Anonymous:1977:CF% }. \NAMECITE{Competing}{% Goel:1980:SD,% Schick:1978:ACS% }. \NAMECITE{Compile}{% Abrahams:1979:CTA,% Bochmann:1978:CTM% }. \NAMECITE{Compile-Time}{% Abrahams:1979:CTA% }. \NAMECITE{Compiler}{% Baer:1977:MDE,% Hamlet:1977:TPA,% Harrison:1977:CAV,% Harrison:1979:NSC,% Samet:1977:MDF,% Tanenbaum:1976:GPM% }. \NAMECITE{Compiler-Compiler}{% Tanenbaum:1976:GPM% }. \NAMECITE{complete}{% Anonymous:1976:IYCa,% Anonymous:1976:IYCb,% Anonymous:1976:IYCc,% Anonymous:1977:IYCa,% Anonymous:1977:IYCb,% Anonymous:1977:IYCc,% Anonymous:1977:IYCd,% Anonymous:1977:IYCe,% Anonymous:1979:IYC% }. \NAMECITE{Complexity}{% Chen:1978:PCP,% Curtis:1979:MPC,% McCabe:1976:CM,% Woodfield:1979:EUI,% Woodward:1979:MCF% }. \NAMECITE{Component}{% Lee:1976:APC% }. \NAMECITE{Compromised}{% Demillo:1978:EDB% }. \NAMECITE{computation}{% Sholl:1975:SPM% }. \NAMECITE{Computations}{% Biermann:1976:CPE,% Misra:1978:SAV,% Pratt:1978:CCD% }. \NAMECITE{Computer}{% Anonymous:1976:AIC,% Anonymous:1976:ICSa,% Anonymous:1976:ICSb,% Anonymous:1976:ICSc,% Anonymous:1976:ICSd,% Anonymous:1976:ICSe,% Anonymous:1976:ICSf,% Anonymous:1976:ICSg,% Anonymous:1976:ICSh,% Anonymous:1976:MAC,% Anonymous:1976:OTY,% Anonymous:1977:ACT,% Anonymous:1977:AICa,% Anonymous:1977:AICb,% Anonymous:1977:AICc,% Anonymous:1977:ICSa,% Anonymous:1977:ICSb,% Anonymous:1977:ICSc,% Anonymous:1977:ICSd,% Anonymous:1977:ICSe,% Anonymous:1977:ICSf,% Anonymous:1977:ICSg,% Anonymous:1977:ICSh,% Anonymous:1977:ICSi,% Anonymous:1977:ICSj,% Anonymous:1977:ICSk,% Anonymous:1977:ICSl,% Anonymous:1978:BCP,% Anonymous:1978:ICSa,% Anonymous:1978:ICSb,% Anonymous:1978:ICSc,% Anonymous:1978:ICSd,% Anonymous:1978:ICSe,% Anonymous:1978:ICSf,% Anonymous:1978:ICSg,% Anonymous:1978:ICSh,% Anonymous:1978:ICSi,% Anonymous:1978:ICSj,% Anonymous:1978:ICSk,% Anonymous:1978:ICSl,% Anonymous:1978:ICSm,% Anonymous:1978:ICSn,% Anonymous:1979:AICa,% Anonymous:1979:AICb,% Anonymous:1979:AICc,% Anonymous:1979:ICSa,% Anonymous:1979:ICSb,% Anonymous:1979:ICSc,% Anonymous:1979:ICSd,% Anonymous:1979:ICSe,% Anonymous:1979:ICSf,% Anonymous:1979:ICSg,% Anonymous:1979:ICSh,% Anonymous:1979:ICSi,% Anonymous:1979:ICSj,% Anonymous:1979:ICSk,% Anonymous:1979:ICSl,% Bell:1977:EAC,% Chandy:1977:SCC,% Ghosh:1976:DDB,% Horning:1977:SHC,% Manna:1978:LCP,% Stoutemyer:1977:CIN,% Teichroew:1977:PPC,% Anonymous:1976:IYCa,% Anonymous:1976:IYCb,% Anonymous:1976:IYCc,% Anonymous:1977:IYCa,% Anonymous:1977:IYCb,% Anonymous:1977:IYCc,% Anonymous:1977:IYCd,% Anonymous:1977:IYCe,% Anonymous:1979:IYC,% Morgan:1975:CNM% }. \NAMECITE{Computer-Aided}{% Bell:1977:EAC,% Teichroew:1977:PPC% }. \NAMECITE{Computers}{% Anonymous:1976:CMM% }. \NAMECITE{Computing}{% Stoutemyer:1977:CIN% }. \NAMECITE{Concepts}{% Baker:1979:USS% }. \NAMECITE{Conceptual}{% Roussopoulos:1979:CCS% }. \NAMECITE{Concurrency}{% Bernstein:1978:CCM,% Bernstein:1979:FAS,% Stonebraker:1979:CCC% }. \NAMECITE{Concurrent}{% Hansen:1977:EMC,% Kane:1975:CSF,% Schutz:1979:DLP,% BrinchHansen:1975:PLC,% Silberschatz:1977:ECP% }. \NAMECITE{Conditional}{% Ekanadham:1979:CC% }. \NAMECITE{Conditions}{% Akkoyunlu:1978:CES,% VanEmden:1979:PVC% }. \NAMECITE{Conference}{% Anonymous:1978:GES% }. \NAMECITE{configuration}{% Whitten:1975:MCI% }. \NAMECITE{Consistency}{% Stonebraker:1979:CCC,% Stoutemyer:1977:CIN% }. \NAMECITE{Constrained}{% Kundu:1978:NCP% }. \NAMECITE{Constrained-Path}{% Kundu:1978:NCP% }. \NAMECITE{Construct}{% Bicevskis:1979:SSC,% Ford:1978:IGC% }. \NAMECITE{Constructing}{% Biermann:1976:CPE,% Ryder:1979:CCG% }. \NAMECITE{Construction}{% Misra:1978:TAC,% Wulf:1976:ICV% }. \NAMECITE{Constructive}{% Wegbreit:1977:CMP% }. \NAMECITE{contents}{% Anonymous:1975:TCa,% Anonymous:1975:TCb,% Anonymous:1975:TCc,% Anonymous:1975:TCd,% Anonymous:1976:ITSa,% Anonymous:1976:ITSb,% Anonymous:1976:ITSc,% Anonymous:1976:ITSd,% Anonymous:1977:ITSa,% Anonymous:1977:ITSb,% Anonymous:1977:ITSc,% Anonymous:1977:ITSd,% Anonymous:1977:ITSe,% Anonymous:1977:ITSf,% Anonymous:1978:ITSa,% Anonymous:1978:ITSb,% Anonymous:1978:ITSc,% Anonymous:1978:ITSd,% Anonymous:1978:ITSe,% Anonymous:1978:ITSf,% Anonymous:1979:ITSa,% Anonymous:1979:ITSb,% Anonymous:1979:ITSc,% Anonymous:1979:ITSd,% Anonymous:1979:ITSe,% Anonymous:1979:ITSf% }. \NAMECITE{Context}{% Hsiao:1979:DAC,% Symes:1977:CPS% }. \NAMECITE{Contraction}{% Parnas:1979:DSE% }. \NAMECITE{Contrast}{% Oldehoeft:1977:CBL% }. \NAMECITE{Control}{% Adams:1977:GVI,% Bernstein:1978:CCM,% Bernstein:1979:FAS,% Gelenbe:1978:RIC,% Gerhart:1976:CSA,% Hsiao:1979:DAC,% McGraw:1979:ACP,% Pratt:1978:CCD,% Stonebraker:1979:CCC,% Woodward:1979:MCF,% Rochkind:1975:SCC% }. \NAMECITE{Controlling}{% Cave:1978:CSL,% Jones:1976:LEC% }. \NAMECITE{Convention}{% Towster:1979:CED% }. \NAMECITE{Conversion}{% Stoutemyer:1977:CIN% }. \NAMECITE{Copies}{% Stonebraker:1979:CCC% }. \NAMECITE{copyright}{% Anonymous:1979:ICF% }. \NAMECITE{Corporate}{% Cooper:1978:CLS% }. \NAMECITE{Correct}{% Gries:1976:ICI,% Gries:1977:CIC% }. \NAMECITE{Correction}{% Anonymous:1976:C,% Goodenough:1975:CTT,% Gries:1977:CIC,% Schneidewind:1979:CES,% Tai:1978:SEC% }. \NAMECITE{Correctness}{% Babich:1979:PTC,% Gries:1976:ICI,% Gries:1977:CIC,% Lamport:1977:PCM% }. \NAMECITE{Correspondences}{% Abrahams:1979:CTA% }. \NAMECITE{Corrigendum}{% Elgot:1976:EC% }. \NAMECITE{Cover}{% Ntafos:1979:PCP,% Anonymous:1975:IFCa,% Anonymous:1975:IFCb,% Anonymous:1975:IFCc,% Anonymous:1975:IFCd% }. \NAMECITE{Critical}{% Ford:1978:IGC,% Lee:1981:SCC,% Stone:1978:CLF% }. \NAMECITE{{CSDL}}{% Roussopoulos:1979:CCS% }. \NAMECITE{Current}{% Gries:1976:ICI,% Gries:1977:CIC% }. \NAMECITE{Cycle}{% Cave:1978:CSL,% DeRoze:1978:SLC,% McHenry:1978:SLC% }. \NAMECITE{Cyclic}{% Francez:1978:AMA% }. \NAMECITE{Data}{% Abrahams:1979:CTA,% Anonymous:1977:GED,% Bicevskis:1979:SSC,% Chin:1978:A,% Clarke:1976:SGT,% Demillo:1978:EDB,% Farag:1977:IPR,% Ghosh:1976:DDB,% Ghosh:1976:DEM,% Huang:1979:DDF,% Irvine:1977:ASE,% Jones:1976:LEC,% Kashyap:1977:AMA,% Kodres:1978:ART,% Lucena:1979:PDU,% Menasce:1979:LDD,% Miller:1976:AGF,% Ramamoorthy:1976:AGP,% Ripley:1977:PPR,% Roussopoulos:1979:CCS,% Schneidewind:1979:CES,% Schneidewind:1979:ESE,% Smith:1977:TME,% Stonebraker:1979:CCC,% Towster:1979:CED,% Zelkowitz:1978:ICB,% Chandy:1975:AMR,% Geschke:1975:PUR,% Goodenough:1975:CTT,% Goodenough:1975:TTT,% Liskov:1975:STD% }. \NAMECITE{Data-Base}{% Kashyap:1977:AMA% }. \NAMECITE{Database}{% Bentley:1979:MBS,% Bernstein:1979:FAS,% Chang:1978:DSAa,% Chang:1978:DSAb,% Davida:1978:DS,% Hevner:1979:QPD,% Hsiao:1979:DAC% }. \NAMECITE{Databases}{% Bernstein:1978:CCM% }. \NAMECITE{Deadlock}{% Menasce:1979:LDD,% Rypka:1979:DDA% }. \NAMECITE{Debugging}{% Bicevskis:1979:SSC,% Fairley:1979:AAL,% Ottenstein:1979:QED% }. \NAMECITE{Decision}{% Donovan:1977:VMC,% Trivedi:1979:DMC% }. \NAMECITE{Declaration}{% Towster:1979:CED% }. \NAMECITE{{Defense}}{% DeRoze:1978:SLC% }. \NAMECITE{Defining}{% Hamilton:1976:HOS,% Ledgard:1977:PSN% }. \NAMECITE{Definition}{% Marcotty:1977:DMS,% Ross:1977:SAR,% Roussopoulos:1979:CCS% }. \NAMECITE{Definitions}{% Misra:1978:AFD% }. \NAMECITE{Deletions}{% Knuth:1977:DPR% }. \NAMECITE{{Department}}{% DeRoze:1978:SLC% }. \NAMECITE{Dependent}{% Hsiao:1979:DAC% }. \NAMECITE{Derivation}{% Gries:1976:ICI,% Gries:1977:CIC,% Lucena:1979:PDU% }. \NAMECITE{Descent}{% Cohen:1979:EIR% }. \NAMECITE{Description}{% Samet:1977:MDF,% Shapiro:1977:ESL% }. \NAMECITE{Descriptions}{% Shaw:1978:SDF% }. \NAMECITE{Design}{% Andrews:1979:DMS,% Baer:1977:MDE,% Boyd:1978:IWD,% Chandy:1979:DSC,% Chow:1978:TSD,% Comer:1979:SET,% Gannon:1978:OAF,% Ghosh:1976:DEM,% Lee:1981:SCC,% Parnas:1976:DDP,% Parnas:1976:DSM,% Pratt:1978:CCD,% Riddle:1978:BMD,% Roussopoulos:1979:CCS,% Schutz:1979:DLP,% Boehm:1975:SEA,% Gannon:1975:LDP,% Voigt:1975:PDM% }. \NAMECITE{Designer}{% Moriconi:1979:DVA% }. \NAMECITE{Designer/Verifier}{% Moriconi:1979:DVA% }. \NAMECITE{Designing}{% Parnas:1979:DSE% }. \NAMECITE{Detection}{% Huang:1979:DDF,% Menasce:1979:LDD,% Rypka:1979:DDA,% Kane:1975:CSF% }. \NAMECITE{Developer}{% McHenry:1978:SLC% }. \NAMECITE{Development}{% Anonymous:1976:GEC,% Bochmann:1979:DSX,% Daly:1977:MSD,% Davis:1977:SDS,% Hughes:1978:AVE,% Mills:1976:SD,% Parnas:1976:DDP,% Reisner:1977:UPE,% Basil:1975:IEP% }. \NAMECITE{Dialogues}{% Katzenelson:1979:CDS% }. \NAMECITE{Differential}{% Boisvert:1979:SPE% }. \NAMECITE{Digital}{% Anonymous:1978:ICSg,% Anonymous:1978:ICSm,% Cernicica:1977:EAA% }. \NAMECITE{Digraphs}{% Ntafos:1979:PCP% }. \NAMECITE{Direct}{% Chu:1976:IHL% }. \NAMECITE{Direct-Execution}{% Chu:1976:IHL% }. \NAMECITE{Directed}{% Wegbreit:1976:GDP% }. \NAMECITE{Discrete}{% Kodres:1978:DSF% }. \NAMECITE{Discussion}{% Goel:1980:SD% }. \NAMECITE{{DISSECT}}{% Howden:1977:STD,% Howden:1978:DSE% }. \NAMECITE{Distributed}{% Bernstein:1978:CCM,% Chandy:1979:DSC,% Chin:1978:A,% Gligor:1979:RRA,% Hevner:1979:QPD,% Menasce:1979:LDD,% Silberschatz:1979:CSD,% Stone:1978:CLF,% Stonebraker:1979:CCC% }. \NAMECITE{Distributing}{% Ghosh:1976:DDB% }. \NAMECITE{Distribution}{% Zweben:1979:FDO% }. \NAMECITE{Do}{% Anonymous:1976:GEC% }. \NAMECITE{Documentation}{% Teichroew:1977:PPC% }. \NAMECITE{doesn't}{% Anonymous:1976:IYCa,% Anonymous:1976:IYCb,% Anonymous:1976:IYCc,% Anonymous:1977:IYCa,% Anonymous:1977:IYCb,% Anonymous:1977:IYCc,% Anonymous:1977:IYCd,% Anonymous:1977:IYCe,% Anonymous:1979:IYC% }. \NAMECITE{Down}{% Comer:1979:SET,% Towster:1979:CED,% Mcclure:1975:TBS% }. \NAMECITE{Drawings}{% Wetherell:1979:TDT% }. \NAMECITE{Dreams}{% Manna:1979:SDR% }. \NAMECITE{Driven}{% Fairley:1979:AAL% }. \NAMECITE{Dual}{% Bokhari:1979:DPS% }. \NAMECITE{Due}{% Caseau:1979:TCS% }. \NAMECITE{During}{% Riddle:1978:BMD% }. \NAMECITE{Dynamic}{% Anonymous:1976:C,% Baier:1976:DIL,% Bokhari:1979:DPS,% Clark:1979:MDL,% Ginsburg:1978:DSS,% Goullon:1978:DRE,% Oldehoeft:1979:DSS,% Silberschatz:1977:ECP% }. \NAMECITE{Ease}{% Parnas:1979:DSE% }. \NAMECITE{{Editor}}{% Anonymous:1975:ENa,% Anonymous:1975:ENb,% Anonymous:1975:ENc,% Anonymous:1977:ENa,% Anonymous:1977:ENb,% Anonymous:1978:EN,% Anonymous:1979:ENa,% Anonymous:1979:ENb,% Anonymous:1979:ENc% }. \NAMECITE{Editorial}{% Anonymous:1976:GE,% Anonymous:1976:GEC,% Anonymous:1977:GED,% Anonymous:1977:GER,% Anonymous:1978:GE,% Anonymous:1978:GES,% Halstead:1979:GES,% Merwin:1978:GES,% Anonymous:1975:GE,% Steel:1975:GE% }. \NAMECITE{Efficient}{% Barrese:1979:SPE,% Smith:1977:TME% }. \NAMECITE{Empirical}{% Howden:1978:TES,% Putnam:1978:GES% }. \NAMECITE{Encoded}{% Soffer:1977:IRB% }. \NAMECITE{Engineering}{% Alford:1977:REM,% Bell:1977:EAC,% Horning:1977:SHC,% Irvine:1977:ASE,% Wilkes:1976:SES,% Anonymous:1976:IYCa,% Anonymous:1976:IYCb,% Anonymous:1976:IYCc,% Anonymous:1977:IYCa,% Anonymous:1977:IYCb,% Anonymous:1977:IYCc,% Anonymous:1977:IYCd,% Anonymous:1977:IYCe,% Anonymous:1979:IYC,% Chu:1975:MSE,% Culpepper:1975:SRE,% Mccammon:1975:ASE,% Anonymous:1978:GES,% Anonymous:1976:IIT,% Anonymous:1976:ITSa,% Anonymous:1976:ITSb,% Anonymous:1976:ITSc,% Anonymous:1976:ITSd,% Anonymous:1977:IIT,% Anonymous:1977:ITSa,% Anonymous:1977:ITSb,% Anonymous:1977:ITSc,% Anonymous:1977:ITSd,% Anonymous:1977:ITSe,% Anonymous:1977:ITSf,% Anonymous:1978:IIT,% Anonymous:1978:ITSa,% Anonymous:1978:ITSb,% Anonymous:1978:ITSc,% Anonymous:1978:ITSd,% Anonymous:1978:ITSe,% Anonymous:1978:ITSf,% Anonymous:1979:IIT,% Anonymous:1979:ITSa,% Anonymous:1979:ITSb,% Anonymous:1979:ITSc,% Anonymous:1979:ITSd,% Anonymous:1979:ITSe,% Anonymous:1979:ITSf% }. \NAMECITE{enhancement}{% Basil:1975:IEP% }. \NAMECITE{Environment}{% Baer:1977:MDE,% Chin:1978:A,% Hughes:1978:AVE,% Tompkins:1976:C,% Baker:1975:SPP% }. \NAMECITE{Environments}{% Rose:1976:PCP,% Towster:1979:CED% }. \NAMECITE{Equations}{% Boisvert:1979:SPE% }. \NAMECITE{Equivalence}{% Akkoyunlu:1978:CES% }. \NAMECITE{Erratum}{% Elgot:1976:EC% }. \NAMECITE{Error}{% Schneidewind:1979:CES,% Schneidewind:1979:ESE,% Tai:1978:SEC% }. \NAMECITE{errors}{% Endres:1975:AET% }. \NAMECITE{{ESP}}{% Shapiro:1977:ESL% }. \NAMECITE{Estimates}{% Ottenstein:1979:QED% }. \NAMECITE{Estimating}{% Putnam:1978:GES% }. \NAMECITE{{Euclid}}{% Wortman:1979:LAE% }. \NAMECITE{Evaluating}{% Baker:1979:USS,% Cohen:1979:EIR% }. \NAMECITE{Evaluation}{% Andrews:1979:DMS,% Baer:1977:MDE,% Boisvert:1979:SPE,% Cernicica:1977:EAA,% Cheatham:1979:SEA,% Howden:1977:STD,% Howden:1978:DSE,% Ramamoorthy:1975:TLS% }. \NAMECITE{Even}{% Demillo:1978:EDB% }. \NAMECITE{Everything}{% Anonymous:1976:GEC% }. \NAMECITE{Evolution}{% Dershowitz:1977:EPA,% Ralston:1976:SFE% }. \NAMECITE{Example}{% Biermann:1976:CPE% }. \NAMECITE{Exception}{% Liskov:1979:EHC% }. \NAMECITE{Exclusion}{% Hansen:1978:SIM% }. \NAMECITE{Execute}{% Clarke:1976:SGT% }. \NAMECITE{Execution}{% Chu:1976:IHL% }. \NAMECITE{Exercise}{% Polak:1979:EAP% }. \NAMECITE{Experience}{% Hansen:1977:EMC,% Boehm:1975:SEA,% Lynch:1975:REC% }. \NAMECITE{Experiment}{% Comer:1979:SET,% Ghosh:1976:DEM,% Schneidewind:1979:CES,% Schneidewind:1979:ESE,% Woodfield:1979:EUI% }. \NAMECITE{Experimental}{% Goullon:1978:DRE,% Fairley:1975:EPT% }. \NAMECITE{Experimentation}{% Reisner:1977:UPE% }. \NAMECITE{Explicit}{% Towster:1979:CED% }. \NAMECITE{Expressions}{% Shaw:1978:SDF% }. \NAMECITE{Extendable}{% Bell:1977:EAC% }. \NAMECITE{Extending}{% Silberschatz:1977:ECP% }. \NAMECITE{Extension}{% Jones:1976:LEC,% Parnas:1979:DSE% }. \NAMECITE{extraction}{% Wegbreit:1975:PEW% }. \NAMECITE{Facility}{% Samet:1977:MDF,% Fairley:1975:EPT% }. \NAMECITE{Factors}{% Stone:1978:CLF% }. \NAMECITE{{Fall}}{% Anonymous:1977:CF% }. \NAMECITE{Fallibility}{% Gerhart:1976:OFA% }. \NAMECITE{Families}{% Parnas:1976:DDP% }. \NAMECITE{Family}{% Parnas:1976:DSM% }. \NAMECITE{Fault}{% Gannon:1978:OAF,% Lee:1981:SCC,% Kane:1975:CSF,% Randell:1975:SSS% }. \NAMECITE{Favor}{% Roman:1977:AFM% }. \NAMECITE{File}{% Lin:1979:CPS% }. \NAMECITE{Find}{% Merwin:1978:GES% }. \NAMECITE{Finite}{% Caseau:1979:TCS,% Chow:1978:TSD% }. \NAMECITE{Finite-State}{% Chow:1978:TSD% }. \NAMECITE{Fixed}{% Rose:1976:PCP% }. \NAMECITE{Floating}{% Miller:1976:AGF% }. \NAMECITE{Floating-Point}{% Miller:1976:AGF% }. \NAMECITE{Flow}{% Huang:1979:DDF,% Shaw:1978:SDF,% Stone:1977:MSA,% Woodward:1979:MCF% }. \NAMECITE{Flowcharts}{% Kodres:1978:DSF% }. \NAMECITE{Flowgraphs}{% Kodres:1978:ART% }. \NAMECITE{Form}{% Horning:1977:SHC,% Anonymous:1979:ICF% }. \NAMECITE{Formal}{% Bernstein:1979:FAS,% Cremers:1978:FMV,% Misra:1978:AFD,% Noonan:1975:SPF% }. \NAMECITE{Format}{% Abrahams:1979:CTA% }. \NAMECITE{Forms}{% Ginsburg:1978:DSS% }. \NAMECITE{Fortran}{% Whitten:1975:MCI,% Ralston:1976:SFE,% Rose:1976:PCP,% Whitten:1975:MCI% }. \NAMECITE{founded}{% Wegbreit:1975:PEW% }. \NAMECITE{Free}{% Chin:1978:A% }. \NAMECITE{Frequency}{% Zweben:1979:FDO% }. \NAMECITE{Front}{% Anonymous:1975:FM,% Anonymous:1975:IFCa,% Anonymous:1975:IFCb,% Anonymous:1975:IFCc,% Anonymous:1975:IFCd% }. \NAMECITE{Fully}{% Bernstein:1978:CCM% }. \NAMECITE{Fuzzy}{% Chang:1978:DSAb% }. \NAMECITE{Game}{% Horning:1977:SHC% }. \NAMECITE{Gannon}{% Lee:1981:SCC% }. \NAMECITE{Gateway}{% Ball:1976:RRI% }. \NAMECITE{General}{% Adams:1977:GVI,% Harrison:1979:NSC,% Marie:1979:AAM,% Putnam:1978:GES,% Tanenbaum:1976:GPM% }. \NAMECITE{General-Purpose}{% Harrison:1979:NSC,% Tanenbaum:1976:GPM% }. \NAMECITE{Generalized}{% Ford:1978:IGC% }. \NAMECITE{Generate}{% Clarke:1976:SGT,% Ellis:1978:IUM% }. \NAMECITE{Generation}{% Gabow:1976:TPG,% Harrison:1979:NSC,% Miller:1976:AGF,% Ramamoorthy:1976:AGP% }. \NAMECITE{Generator}{% Camp:1977:IPN,% Gait:1977:NNP% }. \NAMECITE{GO}{% Elgot:1976:EC,% Elgot:1976:SPG% }. \NAMECITE{Goal}{% Wegbreit:1976:GDP% }. \NAMECITE{Goal-Directed}{% Wegbreit:1976:GDP% }. \NAMECITE{Grammar}{% Ginsburg:1978:DSS% }. \NAMECITE{Graph}{% Ryder:1979:CCG% }. \NAMECITE{Graphs}{% Paige:1977:PPG,% Paige:1975:PGA% }. \NAMECITE{group}{% Scott:1975:PPG% }. \NAMECITE{Guest}{% Anonymous:1975:GE,% Anonymous:1976:GE,% Anonymous:1976:GEC,% Anonymous:1977:GED,% Anonymous:1977:GER,% Anonymous:1978:GE,% Anonymous:1978:GES,% Halstead:1979:GES,% Merwin:1978:GES,% Steel:1975:GE% }. \NAMECITE{H}{% Anonymous:1979:MMH% }. \NAMECITE{{Halstead}}{% Anonymous:1979:MMH,% Curtis:1979:MPC% }. \NAMECITE{Handling}{% Liskov:1979:EHC% }. \NAMECITE{hardware}{% Wulf:1975:RHS% }. \NAMECITE{hardware/software}{% Wulf:1975:RHS% }. \NAMECITE{High}{% Chu:1976:IHL,% Wortman:1976:SHR% }. \NAMECITE{High-Level}{% Chu:1976:IHL% }. \NAMECITE{High-Resolution}{% Wortman:1976:SHR% }. \NAMECITE{Higher}{% Hamilton:1976:HOS% }. \NAMECITE{history}{% Mccammon:1975:ASE% }. \NAMECITE{Hut}{% Horning:1977:SHC% }. \NAMECITE{{IBM}}{% Hughes:1978:AVE% }. \NAMECITE{Ideas}{% Gries:1976:ICI,% Gries:1977:CIC,% Ross:1977:SAS% }. \NAMECITE{{IEEE}}{% Anonymous:1976:AIC,% Anonymous:1976:ICSa,% Anonymous:1976:ICSb,% Anonymous:1976:ICSc,% Anonymous:1976:ICSd,% Anonymous:1976:ICSe,% Anonymous:1976:ICSf,% Anonymous:1976:ICSg,% Anonymous:1976:ICSh,% Anonymous:1976:OTY,% Anonymous:1977:AICa,% Anonymous:1977:AICb,% Anonymous:1977:AICc,% Anonymous:1977:ICSa,% Anonymous:1977:ICSb,% Anonymous:1977:ICSc,% Anonymous:1977:ICSd,% Anonymous:1977:ICSe,% Anonymous:1977:ICSf,% Anonymous:1977:ICSg,% Anonymous:1977:ICSh,% Anonymous:1977:ICSi,% Anonymous:1977:ICSj,% Anonymous:1977:ICSk,% Anonymous:1977:ICSl,% Anonymous:1978:ANQ,% Anonymous:1978:BCP,% Anonymous:1978:IAN,% Anonymous:1978:ICSa,% Anonymous:1978:ICSb,% Anonymous:1978:ICSc,% Anonymous:1978:ICSd,% Anonymous:1978:ICSe,% Anonymous:1978:ICSf,% Anonymous:1978:ICSg,% Anonymous:1978:ICSh,% Anonymous:1978:ICSi,% Anonymous:1978:ICSj,% Anonymous:1978:ICSk,% Anonymous:1978:ICSl,% Anonymous:1978:ICSm,% Anonymous:1978:ICSn,% Anonymous:1979:AICa,% Anonymous:1979:AICb,% Anonymous:1979:AICc,% Anonymous:1979:ICF,% Anonymous:1979:ICSa,% Anonymous:1979:ICSb,% Anonymous:1979:ICSc,% Anonymous:1979:ICSd,% Anonymous:1979:ICSe,% Anonymous:1979:ICSf,% Anonymous:1979:ICSg,% Anonymous:1979:ICSh,% Anonymous:1979:ICSi,% Anonymous:1979:ICSj,% Anonymous:1979:ICSk,% Anonymous:1979:ICSl,% Anonymous:1976:IIT,% Anonymous:1976:ITSa,% Anonymous:1976:ITSb,% Anonymous:1976:ITSc,% Anonymous:1976:ITSd,% Anonymous:1977:IIT,% Anonymous:1977:ITSa,% Anonymous:1977:ITSb,% Anonymous:1977:ITSc,% Anonymous:1977:ITSd,% Anonymous:1977:ITSe,% Anonymous:1977:ITSf,% Anonymous:1978:ANQ,% Anonymous:1978:IAN,% Anonymous:1978:IIT,% Anonymous:1978:ITSa,% Anonymous:1978:ITSb,% Anonymous:1978:ITSc,% Anonymous:1978:ITSd,% Anonymous:1978:ITSe,% Anonymous:1978:ITSf,% Anonymous:1979:IIT,% Anonymous:1979:ITSa,% Anonymous:1979:ITSb,% Anonymous:1979:ITSc,% Anonymous:1979:ITSd% }. \NAMECITE{{{{IEEE}}}}{% Anonymous:1979:ITSe,% Anonymous:1979:ITSf% }. \NAMECITE{If}{% Anonymous:1976:IYCa,% Anonymous:1976:IYCb,% Anonymous:1976:IYCc,% Anonymous:1977:IYCa,% Anonymous:1977:IYCb,% Anonymous:1977:IYCc,% Anonymous:1977:IYCd,% Anonymous:1977:IYCe,% Anonymous:1979:IYC% }. \NAMECITE{Illustration}{% Gries:1976:ICI,% Gries:1977:CIC% }. \NAMECITE{Image}{% Anonymous:1978:ICSg,% Anonymous:1978:ICSm,% Haralick:1977:IAP% }. \NAMECITE{Implementation}{% Bochmann:1979:DSX,% Donovan:1977:VMC,% Ford:1978:IGC,% Hansen:1978:SIM,% Ripley:1978:PSM,% Rowe:1978:ASI,% Zelkowitz:1978:ICB% }. \NAMECITE{Implementations}{% Katzenelson:1979:CDS% }. \NAMECITE{Implementing}{% Camp:1977:IPN% }. \NAMECITE{implication}{% Paige:1975:PGA% }. \NAMECITE{Improvement}{% Anonymous:1976:C,% Baier:1976:DIL,% Masuda:1979:MMM% }. \NAMECITE{Improvements}{% Gordon:1979:MIP% }. \NAMECITE{Improving}{% Cohen:1979:EIR% }. \NAMECITE{Impure}{% Stoutemyer:1977:CIN% }. \NAMECITE{Increase}{% Woodfield:1979:EUI% }. \NAMECITE{independent}{% Whitten:1975:MCI% }. \NAMECITE{Index}{% Anonymous:1976:IIT,% Anonymous:1977:IIT,% Anonymous:1978:IIT,% Anonymous:1979:IIT,% Anonymous:1975:AI% }. \NAMECITE{Induction}{% Reynolds:1976:IBP% }. \NAMECITE{inductive}{% German:1975:SIA% }. \NAMECITE{Industrial}{% Pederson:1978:KRI% }. \NAMECITE{Influence}{% Elshoff:1977:ISP% }. \NAMECITE{Informality}{% Balzer:1978:IPS% }. \NAMECITE{Information}{% Anonymous:1975:IA,% Anonymous:1977:IA,% Anonymous:1978:IA,% Anonymous:1978:IASa,% Anonymous:1978:IASb,% Anonymous:1979:IA,% Anonymous:1979:IAS,% Booth:1979:POS,% Soffer:1977:IRB,% Teichroew:1977:PPC% }. \NAMECITE{Ingres}{% Stonebraker:1979:CCC% }. \NAMECITE{Initial}{% Rich:1978:IRL% }. \NAMECITE{Injection}{% Gelenbe:1978:RIC% }. \NAMECITE{insertion}{% Porter:1975:RIP% }. \NAMECITE{Instrumentation}{% Huang:1979:DDF% }. \NAMECITE{Integer}{% Rose:1976:PCP% }. \NAMECITE{{{{Intelligence}}}}{% Anonymous:1978:ANQ,% Anonymous:1978:IAN% }. \NAMECITE{{Intelligent}}{% Ball:1976:RRI% }. \NAMECITE{Interactive}{% Chu:1976:IHL,% Dzida:1978:UPQ,% Ellis:1978:IUM,% Farag:1977:IPR,% Good:1975:IPV% }. \NAMECITE{interfering}{% Mckeeman:1975:PPL% }. \NAMECITE{International}{% Anonymous:1978:GES% }. \NAMECITE{Interpreter}{% Fairley:1979:AAL% }. \NAMECITE{Introducing}{% Moore:1975:IIP% }. \NAMECITE{Introduction}{% Boyd:1978:IWD,% Wulf:1976:ICV% }. \NAMECITE{Invariants}{% Katz:1978:POU% }. \NAMECITE{iteration}{% Moore:1975:IIP% }. \NAMECITE{Iterative}{% Adams:1977:GVI,% Basil:1975:IEP% }. \NAMECITE{Justification}{% Gordon:1979:QJM% }. \NAMECITE{Keys}{% Soffer:1977:IRB% }. \NAMECITE{{Kongsberg}}{% Pederson:1978:KRI% }. \NAMECITE{Language}{% Chu:1976:IHL,% Fairley:1979:AAL,% Gannon:1975:LDP,% Jones:1976:LEC,% Oldehoeft:1977:CBL,% Reisner:1977:UPE,% Rosen:1978:TLS,% Ross:1977:SAS,% Roussopoulos:1979:CCS,% Schutz:1979:DLP,% Shapiro:1977:ESL,% BrinchHansen:1975:PLC,% Wirth:1975:APL% }. \NAMECITE{Languages}{% Booth:1979:POS,% Tai:1978:SEC,% Mckeeman:1975:PPL% }. \NAMECITE{Large}{% DeRemer:1976:PLV,% Boehm:1975:SEA,% Ramamoorthy:1975:TLS% }. \NAMECITE{large-scale}{% Boehm:1975:SEA% }. \NAMECITE{Learn}{% Anonymous:1976:GEC% }. \NAMECITE{Legality}{% Wortman:1979:LAE% }. \NAMECITE{Level}{% Chu:1976:IHL,% Cooper:1978:CLS,% Oldehoeft:1977:CBL% }. \NAMECITE{library}{% Anonymous:1976:IYCa,% Anonymous:1976:IYCb,% Anonymous:1976:IYCc,% Anonymous:1977:IYCa,% Anonymous:1977:IYCb,% Anonymous:1977:IYCc,% Anonymous:1977:IYCd,% Anonymous:1977:IYCe,% Anonymous:1979:IYC% }. \NAMECITE{Lie}{% Demillo:1978:EDB% }. \NAMECITE{Life}{% Cave:1978:CSL,% DeRoze:1978:SLC,% McHenry:1978:SLC% }. \NAMECITE{Limits}{% Anonymous:1977:ACT% }. \NAMECITE{{Lisp}}{% Clark:1979:MDL,% Moore:1975:IIP,% Rich:1978:IRL% }. \NAMECITE{List}{% Abrahams:1979:CTA,% Clark:1979:MDL% }. \NAMECITE{List-Format}{% Abrahams:1979:CTA% }. \NAMECITE{Load}{% Stone:1978:CLF% }. \NAMECITE{Locality}{% Anonymous:1976:C,% Baier:1976:DIL,% Masuda:1979:MMM% }. \NAMECITE{Locking}{% Menasce:1979:LDD% }. \NAMECITE{Logic}{% Manna:1978:LCP% }. \NAMECITE{Logical}{% Chang:1978:DSAa,% Ghosh:1976:DDB,% Rypka:1979:DDA% }. \NAMECITE{Loop}{% Misra:1978:SAV,% Pratt:1978:CCD,% Waters:1979:MAL,% Basu:1975:PLP% }. \NAMECITE{Machine}{% Anonymous:1978:ANQ,% Anonymous:1978:IAN,% Donovan:1977:VMC,% Samet:1977:MDF,% Whitten:1975:MCI% }. \NAMECITE{Machines}{% Chow:1978:TSD,% Cremers:1978:FMV% }. \NAMECITE{Macro}{% Putnam:1978:GES,% Tanenbaum:1976:GPM% }. \NAMECITE{Macroprocessor}{% Ellis:1978:IUM% }. \NAMECITE{Main}{% Smith:1978:CSS% }. \NAMECITE{Maintenance}{% Curtis:1979:MPC% }. \NAMECITE{Man}{% Tanenbaum:1976:GPM% }. \NAMECITE{Management}{% Anonymous:1976:MAC,% Cave:1978:CSL,% Chin:1978:A,% Cooper:1978:CLS,% Daly:1977:MSD,% DeRoze:1978:SLC,% Irvine:1977:ASE,% McHenry:1978:SLC,% Merwin:1978:GES,% Ripley:1978:PSM,% Silberschatz:1977:ECP% }. \NAMECITE{Managers}{% Kieburtz:1978:CM% }. \NAMECITE{Mapping}{% Smith:1978:CSS% }. \NAMECITE{matter}{% Anonymous:1975:BMa,% Anonymous:1975:BMb,% Anonymous:1975:BMc,% Anonymous:1975:BMd,% Anonymous:1975:FM% }. \NAMECITE{{Maurice}}{% Anonymous:1979:MMH% }. \NAMECITE{{McCabe}}{% Curtis:1979:MPC% }. \NAMECITE{Measure}{% Gordon:1979:QJM,% McCabe:1976:CM,% Woodward:1979:MCF% }. \NAMECITE{Measurement}{% Masuda:1979:MMM,% Ripley:1977:PPR% }. \NAMECITE{Measurements}{% Clark:1979:MDL% }. \NAMECITE{Measures}{% Oldehoeft:1977:CBL% }. \NAMECITE{Measuring}{% Curtis:1979:MPC,% Gordon:1979:MIP% }. \NAMECITE{Mechanism}{% Bernstein:1978:CCM,% Marcotty:1977:DMS% }. \NAMECITE{Mechanized}{% Roman:1977:AFM% }. \NAMECITE{Memory}{% Anonymous:1976:C,% Anonymous:1979:MMH,% Baier:1976:DIL,% Barrese:1979:SPE,% Bochmann:1978:CTM,% Cernicica:1977:EAA,% Gelenbe:1978:RIC,% Masuda:1979:MMM,% Smith:1977:TME,% Smith:1978:CSS% }. \NAMECITE{Message}{% Andrews:1979:DMS% }. \NAMECITE{Method}{% Francez:1978:AMA,% Marie:1979:AAM,% Waters:1979:MAL% }. \NAMECITE{Methodologies}{% Gerhart:1976:OFA% }. \NAMECITE{Methodology}{% Alford:1977:REM,% Boyd:1978:IWD,% Hamilton:1976:HOS,% Pederson:1978:KRI,% Chu:1975:MSE% }. \NAMECITE{Methods}{% Masuda:1979:MMM,% Smith:1977:TME,% Wegbreit:1977:CMP% }. \NAMECITE{Metrics}{% Curtis:1979:MPC% }. \NAMECITE{Microprocessor}{% Chu:1976:IHL% }. \NAMECITE{Migration}{% Gligor:1979:OMA% }. \NAMECITE{millions}{% Anonymous:1976:CMM% }. \NAMECITE{Minicomputer}{% Camp:1977:IPN% }. \NAMECITE{Minimal}{% Parnas:1976:DSM% }. \NAMECITE{Model}{% Anderson:1978:MRM,% Baer:1977:MDE,% Ghosh:1976:DEM,% Trivedi:1979:DMC,% Scott:1975:PPG% }. \NAMECITE{Modeled}{% Booth:1979:POS,% Chow:1978:TSD% }. \NAMECITE{Modeling}{% Cremers:1978:FMV,% Riddle:1978:BMD,% Sholl:1975:SPM% }. \NAMECITE{Models}{% Goel:1980:SD,% Schick:1978:ACS,% Chandy:1975:AMR% }. \NAMECITE{Modern}{% Gerhart:1976:OFA% }. \NAMECITE{Modification}{% Dershowitz:1977:EPA% }. \NAMECITE{Modula}{% Andrews:1979:DMS% }. \NAMECITE{Modular}{% Hansen:1977:EMC% }. \NAMECITE{Modularity}{% Baker:1979:USS% }. \NAMECITE{monitoring}{% Morgan:1975:CNM% }. \NAMECITE{monitors}{% Ramamoorthy:1975:OPS% }. \NAMECITE{Multiattribute}{% Lin:1979:CPS% }. \NAMECITE{Multidimensional}{% Bentley:1979:MBS% }. \NAMECITE{multidisciplinary}{% Voigt:1975:PDM% }. \NAMECITE{Multikey}{% Lee:1976:APC% }. \NAMECITE{Multilevel}{% Anderson:1978:MRM% }. \NAMECITE{Multiple}{% Gries:1978:MAS,% Kashyap:1977:AMA,% Stonebraker:1979:CCC% }. \NAMECITE{Multiple-Attribute-Tree}{% Kashyap:1977:AMA% }. \NAMECITE{Multiprocess}{% Lamport:1977:PCM% }. \NAMECITE{Multiprocessor}{% Hansen:1978:NMP,% Robinson:1979:SAT,% Stone:1977:MSA% }. \NAMECITE{Multiprogramming}{% Gelenbe:1978:RIC% }. \NAMECITE{Must}{% Merwin:1978:GES% }. \NAMECITE{Mutual}{% Hansen:1978:SIM% }. \NAMECITE{Need}{% Anonymous:1976:GEC% }. \NAMECITE{Network}{% Ghosh:1976:DDB,% Stone:1977:MSA,% Morgan:1975:CNM,% Hansen:1978:NMP% }. \NAMECITE{Networks}{% Gonnet:1979:ACQ,% Marie:1979:AAM,% Spirn:1979:QNR,% Trivedi:1979:DMC% }. \NAMECITE{Nonlinear}{% Gait:1977:NNP% }. \NAMECITE{Notation}{% Ledgard:1977:PSN% }. \NAMECITE{Note}{% Anonymous:1979:ENc,% Kundu:1978:NCP% }. \NAMECITE{Notice}{% Anonymous:1977:ENa,% Anonymous:1977:ENb,% Anonymous:1978:EN,% Anonymous:1979:ENa,% Anonymous:1979:ENb,% Anonymous:1975:ENa,% Anonymous:1975:ENb,% Anonymous:1975:ENc% }. \NAMECITE{Number}{% Camp:1977:IPN,% Gait:1977:NNP% }. \NAMECITE{Numbers}{% Stoutemyer:1977:CIN% }. \NAMECITE{Object}{% Gligor:1979:OMA% }. \NAMECITE{Observations}{% Gerhart:1976:OFA% }. \NAMECITE{Operating}{% Chin:1978:A,% Ellis:1978:IUM,% Goullon:1978:DRE,% Nutt:1977:PPO,% Parnas:1976:DSM% }. \NAMECITE{Operation}{% Barrese:1979:SPE% }. \NAMECITE{Operations}{% Anonymous:1976:MAC% }. \NAMECITE{Operators}{% Zweben:1979:FDO% }. \NAMECITE{Optimal}{% Gannon:1978:OAF,% Lee:1981:SCC,% Ramamoorthy:1975:OPS% }. \NAMECITE{Optimization}{% Booth:1979:POS,% Katz:1978:POU% }. \NAMECITE{Optimizing}{% Harrison:1979:NSC% }. \NAMECITE{Order}{% Hamilton:1976:HOS% }. \NAMECITE{Organization}{% Kashyap:1977:AMA% }. \NAMECITE{Organize}{% Anonymous:1976:OTY% }. \NAMECITE{Overview}{% Ball:1976:RRI% }. \NAMECITE{own}{% Anonymous:1976:OTY% }. \NAMECITE{Paper}{% Lee:1981:SCC% }. \NAMECITE{Papers}{% Anonymous:1976:CP,% Anonymous:1977:CPa,% Anonymous:1977:CPb,% Anonymous:1977:CPc,% Anonymous:1977:CPd,% Anonymous:1978:CPa,% Anonymous:1978:CPb,% Anonymous:1978:CPc,% Anonymous:1978:CPd,% Anonymous:1978:CPe,% Anonymous:1978:ICSg,% Anonymous:1978:ICSm,% Anonymous:1979:CPa,% Anonymous:1979:CPb,% Anonymous:1979:CPc,% Anonymous:1979:CPd,% Anonymous:1979:CPe% }. \NAMECITE{Parallel}{% Babich:1979:PTC,% Baer:1977:MDE,% Bochmann:1978:CTM,% Ghosh:1976:DDB,% McGraw:1979:ACP,% Nutt:1977:PPO% }. \NAMECITE{Parsers}{% Cohen:1979:EIR% }. \NAMECITE{Partial}{% Boisvert:1979:SPE% }. \NAMECITE{Partitioning}{% Paige:1977:PPG% }. \NAMECITE{{Pascal}}{% BrinchHansen:1975:PLC,% Silberschatz:1977:ECP,% Wirth:1975:APL% }. \NAMECITE{Path}{% Howden:1976:RPA,% Kundu:1978:NCP,% Ntafos:1979:PCP% }. \NAMECITE{Paths}{% Gabow:1976:TPG% }. \NAMECITE{Pattern}{% Anonymous:1977:GED,% Anonymous:1978:ANQ,% Anonymous:1978:IAN,% Farag:1977:IPR,% Shapiro:1977:ESL% }. \NAMECITE{Patterns}{% Klinger:1977:AP% }. \NAMECITE{Perceived}{% Dzida:1978:UPQ% }. \NAMECITE{Perfection}{% Anonymous:1976:GEC% }. \NAMECITE{Performance}{% Boisvert:1979:SPE,% Booth:1979:POS,% Ghosh:1976:DEM,% Ripley:1978:PSM,% Sholl:1975:SPM% }. \NAMECITE{Periodic}{% Gonnet:1979:ACQ% }. \NAMECITE{Perspectives}{% Ripley:1977:PPR% }. \NAMECITE{{PFortran}}{% Whitten:1975:MCI% }. \NAMECITE{Physical}{% Zweben:1977:SPS% }. \NAMECITE{Picture}{% Williams:1976:PBS% }. \NAMECITE{Picture-Building}{% Williams:1976:PBS% }. \NAMECITE{{PL}}{% Elshoff:1976:ASC,% Elshoff:1977:ISP,% Marcotty:1977:DMS,% Zweben:1979:FDO% }. \NAMECITE{{PL/I}}{% Elshoff:1976:ASC,% Elshoff:1977:ISP,% Marcotty:1977:DMS,% Zweben:1979:FDO% }. \NAMECITE{placement}{% Ramamoorthy:1975:OPS% }. \NAMECITE{Plan}{% Anonymous:1976:AIC,% Anonymous:1977:AICa,% Anonymous:1977:AICb,% Anonymous:1977:AICc% }. \NAMECITE{Point}{% Miller:1976:AGF% }. \NAMECITE{Policies}{% Chow:1977:ASP% }. \NAMECITE{{Polish}}{% Cohen:1979:CSP% }. \NAMECITE{Poor}{% Tanenbaum:1976:GPM% }. \NAMECITE{Portable}{% Rose:1976:PCP,% Whitten:1975:MCI% }. \NAMECITE{practical}{% Basil:1975:IEP% }. \NAMECITE{Predicting}{% Scott:1975:PPG% }. \NAMECITE{Presence}{% Hsiao:1979:DAC% }. \NAMECITE{Preserve}{% Knuth:1977:DPR% }. \NAMECITE{preventing}{% Mckeeman:1975:PPL% }. \NAMECITE{Principal}{% Lee:1976:APC% }. \NAMECITE{Principles}{% Misra:1978:AFD% }. \NAMECITE{priority}{% Porter:1975:RIP% }. \NAMECITE{Privileges}{% Gligor:1979:RRA% }. \NAMECITE{Probabilistic}{% Booth:1979:POS% }. \NAMECITE{Problem}{% Birman:1976:PRA,% Kundu:1978:NCP,% Putnam:1978:GES,% Symes:1977:CPS,% Woodfield:1979:EUI,% Geschke:1975:PUR% }. \NAMECITE{Problem-Reduction}{% Birman:1976:PRA% }. \NAMECITE{Problem-Solving}{% Symes:1977:CPS% }. \NAMECITE{Problems}{% Gabow:1976:TPG,% Ntafos:1979:PCP% }. \NAMECITE{Process}{% McHenry:1978:SLC% }. \NAMECITE{Processes}{% Bochmann:1978:CTM,% Schutz:1979:DLP,% Shrivastava:1978:RRA% }. \NAMECITE{Processing}{% Alford:1977:REM,% Anonymous:1978:ICSg,% Anonymous:1978:ICSm,% Baer:1977:MDE,% Bicevskis:1979:SSC,% Booth:1979:POS,% Haralick:1977:IAP,% Hevner:1979:QPD,% Rose:1976:PCP,% Teichroew:1977:PPC% }. \NAMECITE{Processor}{% Bokhari:1979:DPS,% Nutt:1977:PPO,% Stone:1978:CLF,% Tanenbaum:1976:GPM% }. \NAMECITE{Production}{% Ledgard:1977:PSN,% Roman:1977:AFM,% Tompkins:1976:C,% Baker:1975:SPP% }. \NAMECITE{Productivity}{% Chen:1978:PCP,% Scott:1975:PPG% }. \NAMECITE{Professionals}{% Anonymous:1978:BCP% }. \NAMECITE{Profiles}{% Elshoff:1977:ISP% }. \NAMECITE{Prog}{% Francez:1978:AMA% }. \NAMECITE{Program}{% Anonymous:1976:AP,% Anonymous:1978:AP,% Anonymous:1978:APA,% Anonymous:1978:APS,% Anonymous:1979:APAa,% Anonymous:1979:APAb,% Balzer:1978:IPS,% Bicevskis:1979:SSC,% Chen:1978:PCP,% Cohen:1979:CSP,% Dershowitz:1977:EPA,% Elshoff:1977:ISP,% Gabow:1976:TPG,% Gordon:1979:MIP,% Gordon:1979:QJM,% Hansen:1978:NMP,% Horning:1977:SHC,% Howden:1978:DSE,% Howden:1978:TES,% Huang:1979:DDF,% Katz:1978:POU,% Kundu:1978:NCP,% Lucena:1979:PDU,% Masuda:1979:MMM,% Ntafos:1979:PCP,% Paige:1975:PGA,% Paige:1977:PPG,% Parnas:1976:DDP,% Polak:1979:EAP,% Ramamoorthy:1976:AGP,% Reynolds:1976:IBP,% Ripley:1977:PPR,% Ryder:1979:CCG,% Voigt:1975:PDM,% Walke:1977:PRB,% Wegbreit:1976:GDP,% Wegbreit:1977:CMP,% Woodward:1979:MCF,% Fairley:1975:EPT,% Good:1975:IPV% }. \NAMECITE{program-testing}{% Fairley:1975:EPT% }. \NAMECITE{Programmer}{% Chen:1978:PCP,% Rich:1978:IRL% }. \NAMECITE{Programming}{% DeRemer:1976:PLV,% Elgot:1976:EC,% Elgot:1976:SPG,% Elshoff:1977:ISP,% Gerhart:1976:CSA,% Gerhart:1976:OFA,% Hansen:1977:EMC,% Manna:1978:LCP,% Misra:1978:AFD,% Schutz:1979:DLP,% Tai:1978:SEC,% Tompkins:1976:C,% VanEmden:1979:PVC,% Wilkes:1976:SES,% Baker:1975:SPP,% BrinchHansen:1975:PLC,% Gannon:1975:LDP,% Hewitt:1975:TPA,% Mcclure:1975:TBS,% Mckeeman:1975:PPL,% Noonan:1975:SPF,% Paige:1975:PGA,% Scott:1975:PPG,% Stockenberg:1975:SPA,% Wirth:1975:APL% }. \NAMECITE{Programming-in-the-Large}{% DeRemer:1976:PLV% }. \NAMECITE{Programming-in-the-Small}{% DeRemer:1976:PLV% }. \NAMECITE{Programs}{% Babich:1979:PTC,% Barrese:1979:SPE,% Biermann:1976:CPE,% Birman:1976:PRA,% Chandy:1979:DSC,% Cheatham:1979:SEA,% Clarke:1976:SGT,% Dershowitz:1977:EPA,% Elshoff:1976:ASC,% Gries:1976:ICI,% Gries:1977:CIC,% Hamlet:1977:TPA,% Lamport:1977:PCM,% Manna:1979:SDR,% McGraw:1979:ACP,% Waters:1979:MAL,% Wulf:1976:ICV,% Zweben:1979:FDO,% Basu:1975:PLP,% Basu:1975:SVP,% Endres:1975:AET% }. \NAMECITE{Project}{% Cave:1978:CSL,% Horning:1977:SHC% }. \NAMECITE{Proof}{% Hewitt:1979:SPT% }. \NAMECITE{Proofs}{% Gries:1976:ICI,% Gries:1977:CIC,% Misra:1978:AFD% }. \NAMECITE{Properties}{% Lin:1979:CPS% }. \NAMECITE{Property}{% Wegbreit:1975:PEW% }. \NAMECITE{Protection}{% Hsiao:1979:DAC% }. \NAMECITE{Protocol}{% Haralick:1977:IAP% }. \NAMECITE{prover}{% Moore:1975:IIP% }. \NAMECITE{Proving}{% Babich:1979:PTC,% Basu:1975:PLP,% Birman:1976:PRA,% Lamport:1977:PCM% }. \NAMECITE{{PSA}}{% Teichroew:1977:PPC% }. \NAMECITE{Pseudorandom}{% Camp:1977:IPN,% Gait:1977:NNP% }. \NAMECITE{{PSL}}{% Teichroew:1977:PPC% }. \NAMECITE{{PSL/PSA}}{% Teichroew:1977:PPC% }. \NAMECITE{Psychological}{% Curtis:1979:MPC,% Reisner:1977:UPE% }. \NAMECITE{Publications}{% Anonymous:1976:ICSa,% Anonymous:1976:ICSc,% Anonymous:1976:ICSe,% Anonymous:1976:ICSg,% Anonymous:1977:ICSa,% Anonymous:1977:ICSc,% Anonymous:1977:ICSe,% Anonymous:1977:ICSg,% Anonymous:1977:ICSi,% Anonymous:1977:ICSk,% Anonymous:1978:BCP,% Anonymous:1978:ICSa,% Anonymous:1978:ICSc,% Anonymous:1978:ICSe,% Anonymous:1978:ICSh,% Anonymous:1978:ICSj,% Anonymous:1978:ICSl,% Anonymous:1979:ICSa,% Anonymous:1979:ICSc,% Anonymous:1979:ICSe,% Anonymous:1979:ICSg,% Anonymous:1979:ICSi,% Anonymous:1979:ICSk% }. \NAMECITE{{Pure}}{% Moore:1975:IIP% }. \NAMECITE{Purpose}{% Harrison:1979:NSC,% Tanenbaum:1976:GPM% }. \NAMECITE{Qualitative}{% Gordon:1979:QJM% }. \NAMECITE{Quality}{% Dzida:1978:UPQ% }. \NAMECITE{Quantitative}{% Ottenstein:1979:QED,% Rubey:1975:QAS% }. \NAMECITE{Quarterly}{% Anonymous:1978:ANQ,% Anonymous:1978:IAN% }. \NAMECITE{Query}{% Chang:1978:DSAb,% Hevner:1979:QPD,% Reisner:1977:UPE% }. \NAMECITE{queue}{% Porter:1975:RIP% }. \NAMECITE{Queueing}{% Marie:1979:AAM% }. \NAMECITE{Queues}{% Caseau:1979:TCS% }. \NAMECITE{Queuing}{% Gonnet:1979:ACQ,% Spirn:1979:QNR,% Trivedi:1979:DMC% }. \NAMECITE{rams}{% Francez:1978:AMA% }. \NAMECITE{Random}{% Gelenbe:1978:RIC,% Porter:1975:RIP,% Spirn:1979:QNR% }. \NAMECITE{Randomness}{% Knuth:1977:DPR% }. \NAMECITE{Ranges}{% Harrison:1977:CAV% }. \NAMECITE{Real}{% Alford:1977:REM,% Kodres:1978:ART,% Schutz:1979:DLP,% Mccammon:1975:ASE% }. \NAMECITE{Real-Time}{% Alford:1977:REM,% Kodres:1978:ART,% Schutz:1979:DLP,% Mccammon:1975:ASE% }. \NAMECITE{Reassignment}{% Bokhari:1979:DPS% }. \NAMECITE{Recognition}{% Anonymous:1977:GED,% Farag:1977:IPR,% Shapiro:1977:ESL% }. \NAMECITE{Records}{% Lee:1978:TAA% }. \NAMECITE{Recoverability}{% Anderson:1978:MRM% }. \NAMECITE{recovery}{% Chandy:1975:AMR% }. \NAMECITE{Recursive}{% Cohen:1979:EIR% }. \NAMECITE{Reduction}{% Birman:1976:PRA% }. \NAMECITE{Redundant}{% Bernstein:1978:CCM% }. \NAMECITE{Referees}{% Anonymous:1976:AR,% Anonymous:1977:AR,% Anonymous:1978:AR,% Anonymous:1979:AR% }. \NAMECITE{references}{% Geschke:1975:PUR% }. \NAMECITE{Refinement}{% Towster:1979:CED% }. \NAMECITE{Reflections}{% Anonymous:1977:GER% }. \NAMECITE{Region}{% Ford:1978:IGC% }. \NAMECITE{Relational}{% Ripley:1977:PPR% }. \NAMECITE{Reliability}{% Goel:1980:SD,% Howden:1976:RPA,% Lynch:1975:REC,% Schick:1978:ACS,% Gannon:1975:LDP,% Musa:1975:TSR% }. \NAMECITE{Reliable}{% Shrivastava:1978:RRA,% Wulf:1975:RHS,% Boehm:1975:SEA,% Culpepper:1975:SRE% }. \NAMECITE{Replacement}{% Walke:1977:PRB% }. \NAMECITE{reply}{% Baker:1976:ARS% }. \NAMECITE{Report}{% Rich:1978:IRL% }. \NAMECITE{Representation}{% Ripley:1977:PPR% }. \NAMECITE{Requirements}{% Alford:1977:REM,% Anonymous:1977:GER,% Bell:1977:EAC,% Hsiao:1979:DAC,% Ottenstein:1979:QED,% Ross:1977:SAR% }. \NAMECITE{Resolution}{% Wortman:1976:SHR% }. \NAMECITE{Resource}{% Shrivastava:1978:RRA,% Silberschatz:1977:ECP% }. \NAMECITE{Resources}{% Rypka:1979:DDA% }. \NAMECITE{Restructuring}{% Goullon:1978:DRE% }. \NAMECITE{Retrieval}{% Soffer:1977:IRB% }. \NAMECITE{Review}{% Gligor:1979:RRA% }. \NAMECITE{Revocation}{% Gligor:1979:RRA% }. \NAMECITE{{RIG}}{% Ball:1976:RRI% }. \NAMECITE{Road}{% Pederson:1978:KRI% }. \NAMECITE{Rochester}{% Ball:1976:RRI% }. \NAMECITE{rollback}{% Chandy:1975:AMR% }. \NAMECITE{Room}{% Caseau:1979:TCS% }. \NAMECITE{SA}{% Ross:1977:SAS% }. \NAMECITE{Samples}{% Bicevskis:1979:SSC% }. \NAMECITE{scale}{% Boehm:1975:SEA% }. \NAMECITE{Scheduling}{% Bokhari:1979:DPS,% Stone:1977:MSA% }. \NAMECITE{Schema}{% Roussopoulos:1979:CCS% }. \NAMECITE{Science}{% Baker:1979:USS,% Halstead:1979:GES,% Oldehoeft:1979:DSS% }. \NAMECITE{{SDD}}{% Bernstein:1978:CCM% }. \NAMECITE{{SDD-1}}{% Bernstein:1978:CCM% }. \NAMECITE{{SE}}{% Anonymous:1976:IIT,% Anonymous:1977:IIT,% Anonymous:1978:IIT,% Anonymous:1979:IIT% }. \NAMECITE{{SE-2}}{% Anonymous:1976:IIT% }. \NAMECITE{{SE-3}}{% Anonymous:1977:IIT% }. \NAMECITE{{SE-4}}{% Anonymous:1978:IIT% }. \NAMECITE{{SE-5}}{% Anonymous:1979:IIT% }. \NAMECITE{Search}{% Bentley:1979:MBS% }. \NAMECITE{Searching}{% Ghosh:1976:DDB,% Lee:1976:APC% }. \NAMECITE{Security}{% Davida:1978:DS% }. \NAMECITE{Seem}{% Anonymous:1976:GEC% }. \NAMECITE{Selected}{% Anonymous:1978:ICSg,% Anonymous:1978:ICSm% }. \NAMECITE{Selecting}{% Chandy:1977:SCC% }. \NAMECITE{Selection}{% Rowe:1978:ASI,% Spirn:1979:QNR,% Goodenough:1975:CTT,% Goodenough:1975:TTT% }. \NAMECITE{Sequence}{% Caseau:1979:TCS% }. \NAMECITE{Sequences}{% Booth:1979:POS,% Misra:1978:TAC% }. \NAMECITE{Serializability}{% Bernstein:1979:FAS% }. \NAMECITE{Serializers}{% Hewitt:1979:SPT% }. \NAMECITE{Servers}{% Gonnet:1979:ACQ% }. \NAMECITE{Service}{% Spirn:1979:QNR% }. \NAMECITE{Set}{% Katzenelson:1979:CDS,% Smith:1978:CSS% }. \NAMECITE{sets}{% Wegbreit:1975:PEW% }. \NAMECITE{{Shapiro}}{% Lee:1981:SCC% }. \NAMECITE{Shared}{% Jones:1976:LEC,% Rypka:1979:DDA% }. \NAMECITE{Simple}{% Comer:1979:SET% }. \NAMECITE{Simulation}{% Birman:1976:PRA,% Chandy:1979:DSC% }. \NAMECITE{Simulator}{% Hughes:1978:AVE,% Mccammon:1975:ASE% }. \NAMECITE{Sizing}{% Putnam:1978:GES% }. \NAMECITE{Skeleton}{% Chang:1978:DSAa,% Chang:1978:DSAb% }. \NAMECITE{Small}{% DeRemer:1976:PLV% }. \NAMECITE{{SMOTL}}{% Bicevskis:1979:SSC% }. \NAMECITE{{SNOBOL4}}{% Ripley:1978:PSM% }. \NAMECITE{{Society}}{% Anonymous:1976:AIC,% Anonymous:1976:ICSa,% Anonymous:1976:ICSb,% Anonymous:1976:ICSc,% Anonymous:1976:ICSd,% Anonymous:1976:ICSe,% Anonymous:1976:ICSf,% Anonymous:1976:ICSg,% Anonymous:1976:ICSh,% Anonymous:1976:OTY,% Anonymous:1977:AICa,% Anonymous:1977:AICb,% Anonymous:1977:AICc,% Anonymous:1977:ICSa,% Anonymous:1977:ICSb,% Anonymous:1977:ICSc,% Anonymous:1977:ICSd,% Anonymous:1977:ICSe,% Anonymous:1977:ICSf,% Anonymous:1977:ICSg,% Anonymous:1977:ICSh,% Anonymous:1977:ICSi,% Anonymous:1977:ICSj,% Anonymous:1977:ICSk,% Anonymous:1977:ICSl,% Anonymous:1978:BCP,% Anonymous:1978:IASa,% Anonymous:1978:IASb,% Anonymous:1978:ICSa,% Anonymous:1978:ICSb,% Anonymous:1978:ICSc,% Anonymous:1978:ICSd,% Anonymous:1978:ICSe,% Anonymous:1978:ICSf,% Anonymous:1978:ICSg,% Anonymous:1978:ICSh,% Anonymous:1978:ICSi,% Anonymous:1978:ICSj,% Anonymous:1978:ICSk,% Anonymous:1978:ICSl,% Anonymous:1978:ICSm,% Anonymous:1978:ICSn,% Anonymous:1979:AICa,% Anonymous:1979:AICb,% Anonymous:1979:AICc,% Anonymous:1979:IAS,% Anonymous:1979:ICSa,% Anonymous:1979:ICSb,% Anonymous:1979:ICSc,% Anonymous:1979:ICSd,% Anonymous:1979:ICSe,% Anonymous:1979:ICSf,% Anonymous:1979:ICSg,% Anonymous:1979:ICSh,% Anonymous:1979:ICSi,% Anonymous:1979:ICSj,% Anonymous:1979:ICSk,% Anonymous:1979:ICSl% }. \NAMECITE{Software}{% Anonymous:1976:GEC,% Anonymous:1976:IIT,% Anonymous:1976:ITSa,% Anonymous:1976:ITSb,% Anonymous:1976:ITSc,% Anonymous:1976:ITSd,% Anonymous:1977:IIT,% Anonymous:1977:ITSa,% Anonymous:1977:ITSb,% Anonymous:1977:ITSc,% Anonymous:1977:ITSd,% Anonymous:1977:ITSe,% Anonymous:1977:ITSf,% Anonymous:1978:GES,% Anonymous:1978:IIT,% Anonymous:1978:ITSa,% Anonymous:1978:ITSb,% Anonymous:1978:ITSc,% Anonymous:1978:ITSd,% Anonymous:1978:ITSe,% Anonymous:1978:ITSf,% Anonymous:1979:IIT,% Anonymous:1979:ITSa,% Anonymous:1979:ITSb,% Anonymous:1979:ITSc,% Anonymous:1979:ITSd,% Anonymous:1979:ITSe,% Anonymous:1979:ITSf,% Baker:1979:USS,% Bell:1977:EAC,% Boisvert:1979:SPE,% Booth:1979:POS,% Cave:1978:CSL,% Chow:1978:TSD,% Cooper:1978:CLS,% Curtis:1979:MPC,% Daly:1977:MSD,% Davis:1977:SDS,% DeRoze:1978:SLC,% Gannon:1978:OAF,% Goel:1980:SD,% Halstead:1979:GES,% Hamilton:1976:HOS,% Haralick:1977:IAP,% Horning:1977:SHC,% Hughes:1978:AVE,% Irvine:1977:ASE,% Lee:1981:SCC,% McHenry:1978:SLC,% Merwin:1978:GES,% Mills:1976:SD,% Oldehoeft:1979:DSS,% Parnas:1979:DSE,% Pederson:1978:KRI,% Putnam:1978:GES,% Riddle:1978:BMD,% Roman:1977:AFM,% Schick:1978:ACS,% Schneidewind:1979:CES,% Schneidewind:1979:ESE,% Shaw:1978:SDF,% Sholl:1975:SPM,% Wilkes:1976:SES,% Basil:1975:IEP,% Boehm:1975:SEA,% Chu:1975:MSE,% Culpepper:1975:SRE,% Kane:1975:CSF,% Mccammon:1975:ASE,% Musa:1975:TSR,% Ramamoorthy:1975:OPS,% Ramamoorthy:1975:TLS,% Randell:1975:SSS,% Rubey:1975:QAS,% Wulf:1975:RHS% }. \NAMECITE{Solution}{% Putnam:1978:GES% }. \NAMECITE{Solving}{% Symes:1977:CPS% }. \NAMECITE{Some}{% Boehm:1975:SEA,% Elshoff:1976:ASC,% Lee:1981:SCC,% Lin:1979:CPS,% Misra:1978:SAV,% Robinson:1979:SAT% }. \NAMECITE{Sorting}{% Stone:1978:SS% }. \NAMECITE{source}{% Rochkind:1975:SCC% }. \NAMECITE{Space}{% Chin:1978:A% }. \NAMECITE{Special}{% Anonymous:1978:GES% }. \NAMECITE{Specification}{% Ginsburg:1978:DSS,% Hansen:1978:SIM,% Hewitt:1979:SPT,% Liskov:1975:STD,% Parnas:1976:DSM,% Spitzen:1976:SA,% Noonan:1975:SPF% }. \NAMECITE{Specifications}{% Balzer:1978:IPS% }. \NAMECITE{{Standard}}{% Marcotty:1977:DMS,% Ralston:1976:SFE% }. \NAMECITE{Standing}{% Anonymous:1976:AIC,% Anonymous:1977:AICa,% Anonymous:1977:AICb,% Anonymous:1977:AICc% }. \NAMECITE{{STAR}}{% Stone:1978:SS% }. \NAMECITE{State}{% Chow:1978:TSD% }. \NAMECITE{Statement}{% Gries:1978:MAS% }. \NAMECITE{Statements}{% Elgot:1976:EC,% Elgot:1976:SPG% }. \NAMECITE{Status}{% Anonymous:1977:ACT% }. \NAMECITE{Still}{% Anonymous:1976:GEC% }. \NAMECITE{Storage}{% Chow:1977:ASP,% Ripley:1978:PSM% }. \NAMECITE{strategies}{% Chandy:1975:AMR% }. \NAMECITE{Strategy}{% Harrison:1979:NSC,% Howden:1976:RPA% }. \NAMECITE{Streams}{% Ellis:1978:IUM% }. \NAMECITE{Strong}{% Basu:1975:SVP% }. \NAMECITE{{STRUCT}}{% Stockenberg:1975:SPA% }. \NAMECITE{Structure}{% Adams:1977:GVI,% Bochmann:1979:DSX,% Clark:1979:MDL,% Farag:1977:IPR,% Gerhart:1976:CSA,% Zweben:1977:SPS,% Porter:1975:RIP,% Randell:1975:SSS% }. \NAMECITE{Structured}{% Baker:1975:SPP,% Elgot:1976:EC,% Elgot:1976:SPG,% Elshoff:1977:ISP,% Irvine:1977:ASE,% Noonan:1975:SPF,% Ross:1977:SAR,% Teichroew:1977:PPC,% Tompkins:1976:C,% Wilkes:1976:SES,% Mcclure:1975:TBS,% Ralston:1976:SFE,% Ross:1977:SAS% }. \NAMECITE{Structures}{% Anonymous:1977:GED,% Pratt:1978:CCD,% Rowe:1978:ASI,% Geschke:1975:PUR,% Sholl:1975:SPM% }. \NAMECITE{Structuring}{% Barrese:1979:SPE% }. \NAMECITE{Studies}{% Howden:1978:TES% }. \NAMECITE{Study}{% Chandy:1979:DSC,% Cohen:1979:CSP,% Lucena:1979:PDU,% Smith:1978:CSS,% Wortman:1976:SHR,% Zweben:1977:SPS% }. \NAMECITE{subscribe}{% Anonymous:1976:IYCa,% Anonymous:1976:IYCb,% Anonymous:1976:IYCc,% Anonymous:1977:IYCa,% Anonymous:1977:IYCb,% Anonymous:1977:IYCc,% Anonymous:1977:IYCd,% Anonymous:1977:IYCe,% Anonymous:1979:IYC% }. \NAMECITE{Subscription}{% Anonymous:1976:AIC,% Anonymous:1977:AICa,% Anonymous:1977:AICb,% Anonymous:1977:AICc% }. \NAMECITE{Subset}{% Parnas:1976:DSM% }. \NAMECITE{Suggests}{% Anonymous:1976:GEC% }. \NAMECITE{Summary}{% Anonymous:1978:APS,% Goel:1980:SD% }. \NAMECITE{Support}{% Donovan:1977:VMC% }. \NAMECITE{Swapping}{% Chow:1977:ASP% }. \NAMECITE{Switching}{% Andrews:1979:DMS% }. \NAMECITE{Symbolic}{% Cheatham:1979:SEA,% Howden:1977:STD,% Howden:1978:DSE% }. \NAMECITE{Symbolically}{% Clarke:1976:SGT% }. \NAMECITE{Synchronization}{% Silberschatz:1979:CSD% }. \NAMECITE{Synchronous}{% Akkoyunlu:1978:CES% }. \NAMECITE{Syndrome}{% Rosen:1978:TLS% }. \NAMECITE{Syntactic}{% Tai:1978:SEC% }. \NAMECITE{Syntax}{% Ginsburg:1978:DSS,% Ledgard:1977:PSN% }. \NAMECITE{Synthesis}{% Chang:1978:DSAa,% Manna:1979:SDR% }. \NAMECITE{synthesizer}{% German:1975:SIA% }. \NAMECITE{System}{% Andrews:1979:DMS,% Ball:1976:RRI,% Bernstein:1978:CCM,% Bicevskis:1979:SSC,% Boisvert:1979:SPE,% Cernicica:1977:EAA,% Chu:1976:IHL,% Clarke:1976:SGT,% Davis:1977:SDS,% Ellis:1978:IUM,% Farag:1977:IPR,% Ghosh:1976:DEM,% Goullon:1978:DRE,% Hevner:1979:QPD,% Howden:1977:STD,% Howden:1978:DSE,% Nutt:1977:PPO,% Parnas:1976:DSM,% Randell:1975:SSS,% Shapiro:1977:ESL,% Williams:1976:PBS,% Culpepper:1975:SRE,% Endres:1975:AET,% Good:1975:IPV,% Morgan:1975:CNM,% Rochkind:1975:SCC,% Stockenberg:1975:SPA% }. \NAMECITE{systematic}{% Ramamoorthy:1975:OPS% }. \NAMECITE{Systems}{% Akkoyunlu:1978:CES,% Anderson:1978:MRM,% Anonymous:1976:C,% Baier:1976:DIL,% Barrese:1979:SPE,% Booth:1979:POS,% Chandy:1977:SCC,% Chin:1978:A,% Chow:1977:ASP,% Donovan:1977:VMC,% Dzida:1978:UPQ,% Gannon:1978:OAF,% Hughes:1978:AVE,% Kodres:1978:ART,% Kodres:1978:DSF,% Ledgard:1977:PSN,% Lee:1981:SCC,% Lin:1979:CPS,% Silberschatz:1979:CSD,% Stone:1978:CLF,% Symes:1977:CPS,% Teichroew:1977:PPC,% Chandy:1975:AMR,% Ramamoorthy:1975:TLS% }. \NAMECITE{Table}{% Anonymous:1975:TCa,% Anonymous:1975:TCb,% Anonymous:1975:TCc,% Anonymous:1975:TCd,% Anonymous:1976:ITSa,% Anonymous:1976:ITSb,% Anonymous:1976:ITSc,% Anonymous:1976:ITSd,% Anonymous:1977:ITSa,% Anonymous:1977:ITSb,% Anonymous:1977:ITSc,% Anonymous:1977:ITSd,% Anonymous:1977:ITSe,% Anonymous:1977:ITSf,% Anonymous:1978:ITSa,% Anonymous:1978:ITSb,% Anonymous:1978:ITSc,% Anonymous:1978:ITSd,% Anonymous:1978:ITSe,% Anonymous:1978:ITSf,% Anonymous:1979:ITSa,% Anonymous:1979:ITSb,% Anonymous:1979:ITSc,% Anonymous:1979:ITSd,% Anonymous:1979:ITSe,% Anonymous:1979:ITSf% }. \NAMECITE{Task}{% Cave:1978:CSL% }. \NAMECITE{Tasks}{% Curtis:1979:MPC% }. \NAMECITE{team}{% Voigt:1975:PDM% }. \NAMECITE{Technique}{% Gerhart:1976:CSA,% Misra:1978:TAC,% Teichroew:1977:PPC,% Basil:1975:IEP% }. \NAMECITE{Techniques}{% Hewitt:1979:SPT,% Robinson:1979:SAT,% Liskov:1975:STD% }. \NAMECITE{Technological}{% DeRoze:1978:SLC% }. \NAMECITE{Technology}{% Anonymous:1977:ACT% }. \NAMECITE{Test}{% Clarke:1976:SGT,% Gabow:1976:TPG,% Miller:1976:AGF,% Ramamoorthy:1976:AGP,% Goodenough:1975:CTT,% Goodenough:1975:TTT% }. \NAMECITE{Testing}{% Anonymous:1976:GEC,% Chow:1978:TSD,% Hamlet:1977:TPA,% Howden:1976:RPA,% Howden:1977:STD,% Howden:1978:DSE,% Howden:1978:TES,% Kundu:1978:NCP,% Ntafos:1979:PCP,% Ramamoorthy:1975:TLS,% Samet:1977:MDF,% Fairley:1975:EPT,% Ramamoorthy:1975:OPS% }. \NAMECITE{Text}{% Woodward:1979:MCF% }. \NAMECITE{Their}{% Smith:1978:CSS,% Endres:1975:AET,% Paige:1975:PGA% }. \NAMECITE{theorem}{% Moore:1975:IIP% }. \NAMECITE{Theoretical}{% Howden:1978:TES% }. \NAMECITE{theory}{% Goodenough:1975:CTT,% Goodenough:1975:TTT,% Musa:1975:TSR% }. \NAMECITE{{Third}}{% Anonymous:1978:GES% }. \NAMECITE{Throughput}{% Caseau:1979:TCS,% Walke:1977:PRB% }. \NAMECITE{Tidy}{% Wetherell:1979:TDT% }. \NAMECITE{Time}{% Abrahams:1979:CTA,% Alford:1977:REM,% Bochmann:1978:CTM,% Cernicica:1977:EAA,% Kodres:1978:ART,% Schutz:1979:DLP,% Mccammon:1975:ASE% }. \NAMECITE{Timing}{% Wortman:1976:SHR% }. \NAMECITE{tolerance}{% Randell:1975:SSS% }. \NAMECITE{Tolerant}{% Gannon:1978:OAF,% Lee:1981:SCC% }. \NAMECITE{{Tone\reg}}{% Soffer:1977:IRB% }. \NAMECITE{Top}{% Comer:1979:SET,% Mcclure:1975:TBS,% Towster:1979:CED% }. \NAMECITE{Top-Down}{% Comer:1979:SET,% Towster:1979:CED,% Mcclure:1975:TBS% }. \NAMECITE{Total}{% Babich:1979:PTC% }. \NAMECITE{{Touch}}{% Soffer:1977:IRB% }. \NAMECITE{{Touch-Tone\reg}}{% Soffer:1977:IRB% }. \NAMECITE{Toy}{% Rosen:1978:TLS% }. \NAMECITE{Trace}{% Smith:1977:TME% }. \NAMECITE{Transactions}{% Anonymous:1976:IIT,% Anonymous:1976:ITSa,% Anonymous:1976:ITSb,% Anonymous:1976:ITSc,% Anonymous:1976:ITSd,% Anonymous:1977:IIT,% Anonymous:1977:ITSa,% Anonymous:1977:ITSb,% Anonymous:1977:ITSc,% Anonymous:1977:ITSd,% Anonymous:1977:ITSe,% Anonymous:1977:ITSf,% Anonymous:1978:ANQ,% Anonymous:1978:IAN,% Anonymous:1978:IIT,% Anonymous:1978:ITSa,% Anonymous:1978:ITSb,% Anonymous:1978:ITSc,% Anonymous:1978:ITSd,% Anonymous:1978:ITSe,% Anonymous:1978:ITSf,% Anonymous:1979:IIT,% Anonymous:1979:ITSa,% Anonymous:1979:ITSb,% Anonymous:1979:ITSc,% Anonymous:1979:ITSd,% Anonymous:1979:ITSe,% Anonymous:1979:ITSf,% Anonymous:1978:ANQ,% Anonymous:1978:IAN% }. \NAMECITE{Transformation}{% Cohen:1979:CSP,% Wegbreit:1976:GDP% }. \NAMECITE{Translation}{% Chang:1978:DSAb,% Cohen:1979:CSP,% Ledgard:1977:PSN% }. \NAMECITE{Tree}{% Kashyap:1977:AMA% }. \NAMECITE{Trees}{% Bentley:1979:MBS,% Wetherell:1979:TDT% }. \NAMECITE{Tutorial}{% Anonymous:1978:ICSg,% Anonymous:1978:ICSm,% Anonymous:1979:AICa,% Anonymous:1979:AICb,% Anonymous:1979:AICc,% Anonymous:1976:OTY% }. \NAMECITE{Two}{% Gabow:1976:TPG,% Smith:1977:TME,% Stone:1978:CLF% }. \NAMECITE{Two-Processor}{% Stone:1978:CLF% }. \NAMECITE{Types}{% Lucena:1979:PDU% }. \NAMECITE{uniform}{% Geschke:1975:PUR% }. \NAMECITE{Unit}{% Woodfield:1979:EUI% }. \NAMECITE{Units}{% Stoutemyer:1977:CIN% }. \NAMECITE{Unreliable}{% Shrivastava:1978:RRA% }. \NAMECITE{Until}{% Anonymous:1976:GEC% }. \NAMECITE{Use}{% Baker:1979:USS,% Clark:1979:MDL,% Ellis:1978:IUM,% Reisner:1977:UPE,% Smith:1978:CSS% }. \NAMECITE{User}{% Dzida:1978:UPQ% }. \NAMECITE{User-Perceived}{% Dzida:1978:UPQ% }. \NAMECITE{Using}{% Ginsburg:1978:DSS,% Katz:1978:POU,% Lucena:1979:PDU,% Stoutemyer:1977:CIN,% Sholl:1975:SPM% }. \NAMECITE{Utilization}{% Masuda:1979:MMM% }. \NAMECITE{{V}}{% Hughes:1978:AVE% }. \NAMECITE{validation}{% Rubey:1975:QAS% }. \NAMECITE{Value}{% Harrison:1977:CAV% }. \NAMECITE{Variables}{% Harrison:1977:CAV% }. \NAMECITE{Verifiable}{% Adams:1977:GVI% }. \NAMECITE{Verification}{% Chandy:1979:DSC,% Misra:1978:SAV,% Polak:1979:EAP,% Reynolds:1976:IBP,% VanEmden:1979:PVC,% Wegbreit:1977:CMP,% Wulf:1976:ICV,% Basu:1975:SVP,% Good:1975:IPV% }. \NAMECITE{Verifier}{% Moriconi:1979:DVA% }. \NAMECITE{Versus}{% DeRemer:1976:PLV% }. \NAMECITE{Virtual}{% Anonymous:1976:C,% Baier:1976:DIL,% Barrese:1979:SPE,% Chow:1977:ASP,% Cremers:1978:FMV,% Donovan:1977:VMC,% Gelenbe:1978:RIC% }. \NAMECITE{Vol}{% Anonymous:1976:IIT,% Anonymous:1977:IIT,% Anonymous:1978:IIT,% Anonymous:1979:IIT% }. \NAMECITE{Waiting}{% Caseau:1979:TCS% }. \NAMECITE{Way}{% Merwin:1978:GES% }. \NAMECITE{Weapons}{% McHenry:1978:SLC% }. \NAMECITE{Week79}{% Anonymous:1979:AICa,% Anonymous:1979:AICb,% Anonymous:1979:AICc% }. \NAMECITE{well}{% Wegbreit:1975:PEW% }. \NAMECITE{well-founded}{% Wegbreit:1975:PEW% }. \NAMECITE{Wellmade}{% Boyd:1978:IWD% }. \NAMECITE{Without}{% Elgot:1976:EC,% Elgot:1976:SPG% }. \NAMECITE{{X.25}}{% Bochmann:1979:DSX% }.