ART OF MULTIPROCESSOR PROGRAMMING - HERLIHY AND SHAVIT (MORGAN KAUFMANN, 2015)