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