Introduction to Reliable Distributed Programming - Guerraoui, Rachid; Rodrigues, Luís (Springer Berlin Heidelberg, 2006)