Distributed computing: fundamentals, simulations, and advanced topics, Hagit Attiya, Jennifer Welch