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