@article{herlihy:method-highly-concurrent:toplas:1993,
  author	= {Herlihy, Maurice},
  title		= {A Methodology for Implementing Highly Concurrent Data Objects},
  journal	= {ACM Transactions on Programming Languages and Systems},
  volume	= {15},
  number	= {5},
  pages		= {745--770},
  month		= {Nov},
  year		= {1993}
}