Transactional Memory The Theory - Guerraoui, Rachid (Synthesis Lectures on Distributed Computing Theory Ser.)