Distributed systems: an algorithmic approach - Sukumar Ghosh (Chapman & Hall, 2007)