"Distributed Computing: Models and Methods."

Leslie Lamport, Nancy A. Lynch (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics