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