MatthewsCL98'

BibTeX

@inproceedings{DBLP:conf/iccl/MatthewsCL98,
  author    = {John Matthews and
               Byron Cook and
               John Launchbury},
  title     = {Microprocessor Specification in Hawk},
  booktitle = {ICCL},
  year      = {1998},
  pages     = {90-101},
  ee        = {http://computer.org/proceedings/iccl/8454/84540090abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}