An Introduction to Distributed algorithms - Barbosa, Valmir C. (The MIT Press, 1996)
Includes bibliographical references & index.