@incollection{flanagan:types-for-atomicity:tldi:2003,
  author	= {Flanagan, Cormac and Qadeer, Shaz},
  title		= {Types for Atomicity},
  booktitle	= {ACM SIGPLAN Workshop on Types in Language Design and Implementation},
  pages		= {1--12},
  month		= {Jan},
  urlpage	= {http://doi.acm.org/10.1145/604174.604176},
  year		= {2003}
}