Transactional Memory. Foundations, Algorithms, Tools, and Applications - Guerraoui (Springer International Publishing, 2015)