@article{herlihy:linearizability:toplas:1990,
  author	= {Herlihy, Maurice and Wing, Jeannette M.},
  title		= {Linearizability: A Correctness Condition for Concurrent Objects},
  journal	= {ACM Transactions on Programming Languages and Systems},
  volume	= {12},
  number	= {3},
  pages		= {463--492},
  month		= {Jul},
  urlpage	= {http://doi.acm.org/10.1145/78969.78972},
  year		= {1990}
}