Reliable Distributed Systems - Birman, Kenneth (Springer New York, 2020)