Reliable distributed systems. : Technologies, web services, and applications. - Birman, Kenneth P. (Springer, 2005)