From operational semantics to abstract machines (1992)

by John Hannan, Dale Miller
Venue:Mathematical Structures in Computer Science