From operational semantics to abstract machines (1992)

by J Hannan, D Miller
Venue:Math. Struct. Comput. Sci