Distributed algorithms - Lynch, Nancy A. (Morgan Kaufmann, 2003)