John Hannan, Dale Miller. From Operational Semantics for Abstract Machines. Mathematical Structures in Computer Science, 2(4):415-459, 1992.
@article{HannanM92,
title = {From Operational Semantics for Abstract Machines},
author = {John Hannan and Dale Miller},
year = {1992},
tags = {semantics, operational semantics, abstract machine},
researchr = {https://researchr.org/publication/HannanM92},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {2},
number = {4},
pages = {415-459},
}