Distributed Algorithms - LYNCH (Nayncy) (N.Y. ELSEVIER)