The Art of Multiprocessor Programming - Maurice Herlihy (Elsevier, 2020)