The art of multiprocessor programming - Herlihy, Maurice (Morgan Kaufmann, 2012)