The Art of Multiprocessor Programming (2008)

by M Herlihy, N Shavit