From Operational Semantics for Abstract Machines

John Hannan, Dale Miller. From Operational Semantics for Abstract Machines. Mathematical Structures in Computer Science, 2(4):415-459, 1992.

Abstract

Abstract is missing.