Principles of Distributed Systems - Abdelzaher, Tarek; Kanade, Takeo; Raynal, Michel; Santoro, Nicola (Springer Berlin Heidelberg, 2009)