@inproceedings{abadi:model:popl:2009,
  author	= {Abadi, Martin and Plotkin, Gordon},
  title		= {A model of cooperative threads},
  booktitle	= {POPL~'09: Proc. 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
  urlpage	= {http://dx.doi.org/10.1145/1480881.1480887},
  pdf		= {http://www.soe.ucsc.edu/~abadi/Papers/popl065-abadi.pdf},
  pages		= {29--40},
  year		= {2009},
  month		= {jan},
}