AAL ACI AFF AIC ANR APS ASC ATC AVT AW Acton AdamsS Aegerter Ai Anatol Andrei Arden ArdenG Armer Assimilator Astrahan B BCF BTF Bagley Bailin Balz Barkley Bemer BibNet BibTeX Blachman Blom Bo Boyell Brans Brittenham BrittenhamCKT Bu Buchholz C CA CACMA 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 DOI DijkstraHPS Diran Doklady E EAF EER EMG EPC ESF ETP Edsger Eldridge 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 Healy Heise HicksW Hirsch Hollingsworth Holt Hor Hornick IAL ICD ICN IDR IMF INSCC ISO ISSN 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 LKT LSS LaTeX LarsonM Le LeRoy Lesh Ley Li Lieberstein Lowry Luebbert LuebbertC M MB MDL MDT MMS MPM MPS MRclass MRnumber MSF MST Machmudov MachmudovP Maehly Mai Mathematik Matty McDonough Mer Mervin Misc Mo Mon MorrisW Mortin NA NEB NHS NMC NMG NORC NRC 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 RSA RSC RTD RUC RVU Rad Randels RandelsR Reid Ros Runcible Runge Rutishauser S SAC SBA SCR SMC SMN SMS SNC SPE SPIa SPIb SPS SPT SRC SSA 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 Streck Strin StrongWTOMS Sugai Svigals T T'ien TAC TCC THM 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 XMLdata Z Za Zaitzeff ZaitzeffA Zaphyr Zentralblatt abbrev ack acknowledgement acm adr al apr articleno aug ba beebe bens bibdate bibmods bibnames bibsort bibsource bo byvolume cacm cgi chi chri chyan ciir codetable com cs d da dan db dblp de dec des di digm doc docstring doi dy e econ ed edu ei ell email emis en ent er eval ey feb fi fo fpbibl fpbiblio ftp garbo ge gi glia gov gz heim html http i ic ieee 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 para pc pha pseu quist ra reau rec rence rou s sa sep sha 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 wc witha witz www xxauthor xxnote xxpages xxtitle yashi ze zu