TY - BOOK AU - LYNCH NANCY TI - Distributed algorithms PB - ELSEVER ER -