Frédéric Cabestre Christian Percebois Jean-Paul Bodeveix Abstract machine construction through operational semantics refinements. 753-769 2000 16 Future Generation Comp. Syst. 7 http://dx.doi.org/10.1016/S0167-739X(99)00089-8 db/journals/fgcs/fgcs16.html#CabestrePB00