The art of multiprocessor programming - Herlihy, Maurice; Shavit, Nir (Elsevier [u.a.], 2008)