Design and analysis of distributed algorithms - Santoro, Nicola (John Wiley & Son, Inc, 2007)