@incollection{DBLP:series/lnm/Knuth71,
  author    = {Donald E. Knuth},
  editor    = {Erwin Engeler},
  title     = {Examples of formal semantics},
  booktitle = {Symposium on Semantics of Algorithmic Languages},
  series    = {Lecture Notes in Mathematics},
  volume    = {188},
  pages     = {212--235},
  publisher = {Springer},
  year      = {1971},
  url       = {https://doi.org/10.1007/BFb0059699},
  doi       = {10.1007/BFb0059699},
  timestamp = {Tue, 16 May 2017 14:24:25 +0200},
  biburl    = {https://dblp.org/rec/series/lnm/Knuth71.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"vzS5CommzoY6xubrw","bibbaseid":"knuth-examplesofformalsemantics-1971","authorIDs":[],"author_short":["Knuth, D. E."],"bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Donald","E."],"propositions":[],"lastnames":["Knuth"],"suffixes":[]}],"editor":[{"firstnames":["Erwin"],"propositions":[],"lastnames":["Engeler"],"suffixes":[]}],"title":"Examples of formal semantics","booktitle":"Symposium on Semantics of Algorithmic Languages","series":"Lecture Notes in Mathematics","volume":"188","pages":"212–235","publisher":"Springer","year":"1971","url":"https://doi.org/10.1007/BFb0059699","doi":"10.1007/BFb0059699","timestamp":"Tue, 16 May 2017 14:24:25 +0200","biburl":"https://dblp.org/rec/series/lnm/Knuth71.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@incollection{DBLP:series/lnm/Knuth71,\n author = {Donald E. Knuth},\n editor = {Erwin Engeler},\n title = {Examples of formal semantics},\n booktitle = {Symposium on Semantics of Algorithmic Languages},\n series = {Lecture Notes in Mathematics},\n volume = {188},\n pages = {212--235},\n publisher = {Springer},\n year = {1971},\n url = {https://doi.org/10.1007/BFb0059699},\n doi = {10.1007/BFb0059699},\n timestamp = {Tue, 16 May 2017 14:24:25 +0200},\n biburl = {https://dblp.org/rec/series/lnm/Knuth71.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Knuth, D. E."],"editor_short":["Engeler, E."],"key":"DBLP:series/lnm/Knuth71","id":"DBLP:series/lnm/Knuth71","bibbaseid":"knuth-examplesofformalsemantics-1971","role":"author","urls":{"Paper":"https://doi.org/10.1007/BFb0059699"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"incollection","biburl":"https://bibbase.org/bibs/knuth_selected.bib","creationDate":"2020-09-02T04:23:16.575Z","downloads":0,"keywords":[],"search_terms":["examples","formal","semantics","knuth"],"title":"Examples of formal semantics","year":1971,"dataSources":["itEMDWSsMF4yAjQgP","FgN8wyz49iiKEDqqP"]}