Distributed algorithms - Lynch, Nancy A. (The Morgan Kaufmann series in data management systems, 1996)