@incollection{herlihy:axioms-objects:popl:1987,
  author	= {Herlihy, Maurice and Wing, Jeannette M.},
  title		= {Axioms for Concurrent Objects},
  booktitle	= {Proceedings of the 14th Annual Symposium on Principles of Programming Languages},
  pages		= {13--26},
  month		= {Jan},
  urlpage	= {http://doi.acm.org/10.1145/41625.41627},
  year		= {1987}
}