Asynchronous Bibliography Key Words

The following abbreviations are used in the bibtex database:
@COMMENT{BibTeX database file, for use with LaTeX/BibTeX}
@COMMENT{ database : asynchronous ftpable               }
@COMMENT{ e-mail   :             }
@COMMENT{ AMULET Group Manchester Uni                   }


@COMMENT{  Predefined journals  }
@STRING{cacm = "Communications of the ACM"}
@STRING{dc   = "Distributed Computing"}
@STRING{eatcs= "Bull. EATCS"}
@STRING{el   = "Electronics Letters"}
@STRING{fmsd = "Formal Methods in System Design"}
@STRING{ieepte  = "IEE Proceedings, Part E, Computers and Digital Techniques"}
@STRING{ieeedt  = "IEEE Design \& Test of Computers"}
@STRING{ieeejssc= "IEEE Journal of Solid-State Circuits"}
@STRING{ieeetc  = "IEEE Transactions on Computers"}
@STRING{ieeetcad= "IEEE Transactions on Computer-Aided Design"}
@STRING{ieeetec = "IEEE Transactions on Electronic Computers"}
@STRING{ieeetsp = "IEEE Transactions on Signal Processing"}
@STRING{ieeevlsi= "IEEE Transactions on VLSI Systems"}
@STRING{integration= "Integration, the VLSI journal"}
@STRING{ipl  = "Information Processing Letters"}
@STRING{jacm = "Journal of the ACM"}
@STRING{jcss = "Journal of Computer and System Sciences"}
@STRING{tcs  = "Theoretical Computer Science"} 
@STRING{vlsisp= "Journal of VLSI Signal Processing"}
@STRING{Forms = "Formal Methods in System Design"}

@COMMENT{  Predefined publishers  }
@STRING{ap   = "Academic Press"}
@STRING{aw   = "Addison-Wesley"} 
@STRING{csp  = "Computer Science Press"}
@STRING{cwi  = "CWI"}   
@STRING{esp  = "Elsevier Science Publishers"}
@STRING{icsp = "IEEE Computer Society Press"}
@STRING{kap  = "Kluwer Academic Publishers"}
@STRING{mit  = "MIT Press"}
@STRING{ph   = "Prentice-Hall"}
@STRING{springer = "Springer-Verlag"}

@COMMENT{  Predefined series  } 
@STRING{csn  = "Computing Science Notes"}
@STRING{eut  = "Dept. of Math. and C.S., Eindhoven Univ. of Technology"}
@STRING{ifip = "IFIP Transactions"}
@STRING{lncs = "Lecture Notes in Computer Science"}
@STRING{mctracts = "Mathematical Centre Tracts"}
@STRING{wic  = "Workshops in Computing"}

@COMMENT{  Predefined conference proceedings  }
@STRING{async = "Proc. International Symposium on Advanced Research in
                 Asynchronous Circuits and Systems"}
@STRING{cav   = "Proc. International Workshop on Computer Aided Verification"}
@STRING{dac   = "Proc. ACM/IEEE Design Automation Conference"}
@STRING{edac  = "Proc. European Conference on Design Automation (EDAC)"}
@STRING{edtc  = "Proc. European Design and Test Conference (EDAC-ETC-EuroASIC)"}
@STRING{eurodac="Proc. European Design Automation Conference (EURO-DAC)"}
@STRING{hicss = "Proc. Hawaii International Conf. System Sciences"}
@STRING{iccad = "Proc. International Conf. Computer-Aided Design (ICCAD)"}
@STRING{iccd  = "Proc. International Conf. Computer Design (ICCD)"}
@STRING{icpp  = "Proc. International Conference on Parallel Processing"}
@STRING{iscas = "Proc. International Symposium on Circuits and Systems"}
@STRING{ishls = "Proc. International Symposium on High-Level Synthesis"}
@STRING{isscc = "International Solid State Circuits Conference"}
@STRING{itc   = "Proc. International Test Conference"}
@STRING{iwls  = "Proc. International Workshop on Logic Synthesis"}
@STRING{ssat  = "Annual Symposium on Switching and Automata Theory"}

@STRING{ta = "(To appear)"}