Introduction to Reliable Distributed Programming - Guerraoui, Rachid; Rodrigues, Luis.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006)