BibTeX record books/el/Leeuwen90a

download as .bib file

@book{DBLP:books/el/Leeuwen90a,
  editor    = {Jan van Leeuwen},
  title     = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models
               and Semantics},
  publisher = {Elsevier and {MIT} Press},
  year      = {1990},
  isbn      = {0-444-88074-7},
  timestamp = {Sun, 12 Sep 2010 15:12:29 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/el/Leeuwen90a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}