Introduction to reliable distributed programming - Guerraoui, Rachid; Rodrigues, Luis , 1963- (Springer Verlag, 2006)