Principles of Distributed Systems - Aguilera; Querzoni, Leonardo; Shapiro, Marc (Springer International Publishing, 2014)