Desing and analysis of distributed algorithms - Santoro, N. (Nicola), 1951- (John Wiley & Sons, 2007)