Introduction to reliable distributed programming - Guerraoui, Rachid