Introduction to distributed algorithms - Tel, Gerard (Cambridge Press, 1994)