Distributed systems : an algorithmic approach - Ghosh, Sukumar (CRC Press, 2015)