@incollection{flanagan:type-system-atomicity:pldi:2003,
  author	= {Flanagan, Cormac and Qadeer, Shaz},
  title		= {A Type and Effect System for Atomicity},
  booktitle	= {Proceedings of the 2003 Conference on Programming Language Design and Implementation},
  pages		= {338--349},
  month		= {Jun},
  urlpage	= {http://doi.acm.org/10.1145/781131.781169},
  year		= {2003}
}