Stav dette: Distributed algorithms and protocols / Michel Raynal ; translated by Jack Howlett.