ACM Transactions on Programming Languages and Systems November 1993: Vol 15, Nr 5 p 745 A Methodology for Implementing Highly Concurrent Data Objects by Maurice Herlihy