BibTeX record phd/ethos/Moss81

download as .bib file

@phdthesis{DBLP:phd/ethos/Moss81,
  author    = {Christopher D. S. Moss},
  title     = {The formal description of programming languages using predicate logic},
  school    = {Imperial College London, {UK}},
  year      = {1981},
  url       = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.278470},
  timestamp = {Mon, 10 Oct 2016 23:35:35 +0200},
  biburl    = {https://dblp.org/rec/phd/ethos/Moss81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics