Distributed Systems : Concurrency and Consistency - Perrin, Matthieu (Elsevier, 2017)