Distributed computing 14th international conference, DISC 2000 Toledo, Spain, October 4 - 6, 2000 ; proceedings (Springer, 2000)