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