From operational semantics to abstract machines: Preliminary results (1990)

by J Hannan, D Miller
Venue:In Proc. of LFP’90