@misc{gordon1979edinburgh,
  title={Edinburgh LCF},
  author={Gordon, Michael and Robin Milner and Christopher Wadsworth},
  booktitle={Lecture Notes in Computer Science, volume 78},
  year={1979},
  publisher={New York: Springer-Verlag}
}

{"_id":"b6TeBpkzWWyRQ2NRs","bibbaseid":"gordon-milner-wadsworth-edinburghlcf-1979","downloads":0,"creationDate":"2017-03-31T20:09:33.018Z","title":"Edinburgh LCF","author_short":["Gordon, M.","Milner, R.","Wadsworth, C."],"year":1979,"bibtype":"misc","biburl":"https://gist.githubusercontent.com/anonymous/4c13c493bef2a3e7dfa47f352f7fd4e8/raw/2b922f63fcee0c692b22bd9c23ffb827d4552235/references.bib","bibdata":{"bibtype":"misc","type":"misc","title":"Edinburgh LCF","author":[{"propositions":[],"lastnames":["Gordon"],"firstnames":["Michael"],"suffixes":[]},{"firstnames":["Robin"],"propositions":[],"lastnames":["Milner"],"suffixes":[]},{"firstnames":["Christopher"],"propositions":[],"lastnames":["Wadsworth"],"suffixes":[]}],"booktitle":"Lecture Notes in Computer Science, volume 78","year":"1979","publisher":"New York: Springer-Verlag","bibtex":"@misc{gordon1979edinburgh,\n title={Edinburgh LCF},\n author={Gordon, Michael and Robin Milner and Christopher Wadsworth},\n booktitle={Lecture Notes in Computer Science, volume 78},\n year={1979},\n publisher={New York: Springer-Verlag}\n}\n\n","author_short":["Gordon, M.","Milner, R.","Wadsworth, C."],"key":"gordon1979edinburgh","id":"gordon1979edinburgh","bibbaseid":"gordon-milner-wadsworth-edinburghlcf-1979","role":"author","urls":{},"downloads":0},"search_terms":["edinburgh","lcf","gordon","milner","wadsworth"],"keywords":[],"authorIDs":[],"dataSources":["WpbD7vSrpsYg8ShK9"]}