Introduction to Reliable and Secure Distributed Programming - Cachin, Christian; Guerraoui, Rachid; Rodrigues, Luís (Springer Berlin Heidelberg : Imprint: Springer, 2011)