Introduction to Reliable and Secure Distributed Programming

Book by Christian Cachin, LuÃs Rodrigues, and Rachid Guerraoui