@article{hannan92mscs,
  author = {John Hannan and Dale Miller},
  title = {From Operational Semantics to Abstract Machines},
  journal = {Mathematical Structures in Computer Science},
  volume = {2},
  number = {4},
  year = {1992},
  pages = {415--459},
  doi = {10.1017/S0960129500001559}
}

{"_id":"yssCMD6Ac74qibMMc","bibbaseid":"hannan-miller-fromoperationalsemanticstoabstractmachines-1992","author_short":["Hannan, J.","Miller, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["John"],"propositions":[],"lastnames":["Hannan"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"From Operational Semantics to Abstract Machines","journal":"Mathematical Structures in Computer Science","volume":"2","number":"4","year":"1992","pages":"415–459","doi":"10.1017/S0960129500001559","bibtex":"@article{hannan92mscs,\n author = {John Hannan and Dale Miller},\n title = {From Operational Semantics to Abstract Machines},\n journal = {Mathematical Structures in Computer Science},\n volume = {2},\n number = {4},\n year = {1992},\n pages = {415--459},\n doi = {10.1017/S0960129500001559}\n}\n\n","author_short":["Hannan, J.","Miller, D."],"key":"hannan92mscs","id":"hannan92mscs","bibbaseid":"hannan-miller-fromoperationalsemanticstoabstractmachines-1992","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["operational","semantics","abstract","machines","hannan","miller"],"title":"From Operational Semantics to Abstract Machines","year":1992}