Principles of Distributed Systems - Aguilera (Springer International Publishing, 2014)