CabestrePB00'

BibTeX

@article{DBLP:journals/fgcs/CabestrePB00,
  author    = {Fr{\'e}d{\'e}ric Cabestre and
               Christian Percebois and
               Jean-Paul Bodeveix},
  title     = {Abstract machine construction through operational semantics
               refinements},
  journal   = {Future Generation Comp. Syst.},
  volume    = {16},
  number    = {7},
  year      = {2000},
  pages     = {753-769},
  ee        = {http://dx.doi.org/10.1016/S0167-739X(99)00089-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}