HaynesF87'

BibTeX

@article{DBLP:journals/cl/HaynesF87,
  author    = {Christopher T. Haynes and
               Daniel P. Friedman},
  title     = {Abstracting Timed Preemption with Engines},
  journal   = {Comput. Lang.},
  volume    = {12},
  number    = {2},
  year      = {1987},
  pages     = {109-121},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}