Distributed computing : fundamentals, simulations and advanced topics - Attiya, Hagit; Welch, Jennifer Lundelius (Wiley series on parallel & distributed computing, 2004)