Distributed algorithms - Lynch, Nancy A (Harcourt, 1996)