Introduction to Reliable Distributed Programming - Guerraoui R.; L. Rodrigues (Introduction to Reliable Distributed Programming, 2006)