@Bibtex-file{Compiler/toplas.bib,
  title =        "Bibliography for the {ACM} Transactions on Programming
                 Languages and Systems ({TOPLAS})",
  author-1 =     "Preston Briggs",
  email-1 =      "preston@tera.com",
  address-1 =    "Tera Computer Company\\ 2815 Eastlake East\\ Seattle,
                 WA 98102\\ USA",
  author-2 =     "Nelson H. F. Beebe",
  address-2 =    "Center for Scientific Computing\\ Department of
                 Mathematics\\ University of Utah\\ Salt Lake City, UT
                 84112\\ USA",
  email-2 =      "beebe@math.utah.edu",
  supported =    "yes",
  keywords =     "ACM Transactions on Programming Languages and Systems,
                 TOPLAS",
  abstract =     "This is a COMPLETE bibliography of the journal ACM
                 Transactions on Programming Languages and Systems,
                 informally known as TOPLAS,",
  readme =       "This bibliography was initially constructed by hand by
                 the first author (PB) from various sources, and at its
                 last release in February 1995, had 447 entries. \par It
                 was further extended by the second author (NHFB) using
                 bibliographies in NHFB's personal files, from the OCLC
                 Contents1st database, from the IEEE INSPEC database,
                 from the computer graphics bibliography archive at
                 ftp.siggraph.org, and from the computer science
                 bibliography collection on ftp.ira.uka.de in
                 /pub/bibliography to which many people of have
                 contributed.",
}