Introduction to distributed algorithms - Tel, Gerard. (Cambridge University Press, 2000)