AAL AC ACI AFF AIC ANR ANX AOD APS ASC ATC AVT AW Acton AdamsS Aegerter Ai Anatol Andrei Arden ArdenG Armer Assimilator Astrahan B BCF BESK BTF Bagley Bailin Balz Barkley Bemer BibNet BibTeX Blachman Blom Bo Boyell Brans Bratman Brittenham BrittenhamCKT Bu Buchholz C CA CACMA CACb CAV CD CEC CIP CMF CNM CODEN COMP COMPUT CPP CRC CRI CST CTH Calculational CallR Campbell Carr CarrPRS Casper Codd CoddLMS Col Collom Comm Conway ConwayJM Cor Corley Correll Corrigenda Crozier D DASK DOI DijkstraHPS Diran Doklady E EAF EDPM EER EMG EPC ESF ETP Edsger Eldridge Electrologica Engel Ercoli ErcoliV Ershov F FAX FCO FFC FOS Fein Fike Fri G GAT GCT GPP Galler Gant Gar Ge Giblin Gilchrist Gilman Glush Gorn GornIC Goud Greenwald Grumette Gschwind Gua H HII HSP HSS Halpern Hamblen HansenBR Hari Harvy Healy Heise HicksW Hirsch Hollingsworth Holt Hor Hornick IAL ICD ICN IDR IMF INSCC INT INX ISO ISSN ITC ITM Ianov IanovF Ike Ingerman Internet IronsA Irwin Isao Iu Iwao J JDC Jeeves Juffa Jul Julien K Ka Kaner Kanner Kat Kautz Kenny KennyH Khodr Kitz Knuth Ko Kuss Kutta L LCB LE LEF LEM LEa LEb LKT LSS LaTeX LarsonM Le LeRoy Lesh Ley Li Lieberstein Lowry Luebbert LuebbertC M MB MDL MDT ML MMS MPM MPS MRclass MRnumber MSF MST Machmudov MachmudovP Maehly Mai Mathematik Matty McDonough Mer Mervin Misc Mo Mon MorrisW Mortin Multi NA NEB NHS NMC NMG NORC NRC NUNDRUMS Na Nadler NadlerS Nather NatherS Netlib Nich Norbert Nundrums O OCP ODB Olsztyn P PAO PBC PES PFP PGC PIA PME PMI PPC PPCa PPCb PRI PSF PU Paolo Perlis PerlisS Perstein Popov QNS QUIK Quentin R RAS RCF RFS RM RMP RPS RRP RSA RSC RTD RUC RUNCIBLE RVU Rad Randels RandelsR Ref Reid Ros Runcible Runge Rutishauser S SAC SBA SCR SMC SMN SMS SNC SPE SPIa SPIb SPS SPT SRC SSA STT SUCSLI SURV SV Samelson Sangren Sarafyan Saul Scalzi Schecher Schlesinger Schob Schon Schwach SchwartzC Selden Sengupta Sep Sho Shu Si Sisson Skwa Solovay's Stillson Stockman Streck Strin StrongWTOMS Subscripting Sugai Svigals T T'ien TAC TCC THM TLU TOPLAS TSR Takasaki Taranto Te TeX Tel Tes Teu Thu Tien Traub Tritter Tsi Tue Tur U UAD UCI UNCOL URL UT VCC VWT Vacca Vanderburgh Ver Verzuh Voorhees Vuille W WWW Wadey Webb Wegstein Wen Wersan Wes Wilf Wilfried Wilkins Wohr Wolfe Wolpe Wouk X XMLdata Z Za Zaitzeff ZaitzeffA Zaphyr Zentralblatt abbrev ack acknowledgement acm adr al apr articleno aug ba beebe bens bibdate bibmods bibnames bibnet bibsort bibsource bo byvolume cacm cfm cgi chi chri chyan ciir codetable com computerhistory cs d da dan db dblp de dec des di digm dijkstra dl doc docstring doi dx dy e econ ed edsger edu ei el ell email emis en ent er eval ey feb fi fjournal fo fpbibl fpbiblio ftp garbo ge gi glia gov gz heim html http i ic idx ieee ien informatik ing ira ispell j jan jul jun ka kay ki ko kul kwds kyp l ler lins lo ltx mach mer min mora ne nel ner netlib nhfb ni nj nlop nov o oct oldlabel ols omies org ornl p para pc pdf pha prng pseu quist ra reau rec rence rou s sa scc sep sha sheridan showtags sok styk ta tay tera tex tha ti tina tion toms toplas tvi twocolumn txt tzis u uka umass uni utah uwasa vitz vt w wc wiki wikipedia witha witz www xxauthor xxnote xxpages xxtitle yashi ze zu