Book

Introduction to Reliable and Secure Distributed Programming

by Christian Cachin