Distributed Algorithms for Message-Passing Systems - Michel Raynal (Springer)