RoyH2004'

BibTeX

@book{DBLP:books/mit/RoyH2004,
  author    = {Peter Van Roy and
               Seif Haridi},
  title     = {Concepts, Techniques, and Models of Computer Programming},
  publisher = {MIT Press},
  year      = {2004},
  isbn      = {0-262-22069-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}