@InProceedings{HerlihyLM03,
  author = 	 {M. Herlihy, V. Luchangco, and M. Moir},
  title = 	 {Obstruction-free Synchronization: Double-ended Queues
as an Example},
  booktitle = 	 {Proceedings of the 23rd IEEE International Conference on Distributed Computing Systems},
  year =	 2003,
  month =	 may
}