Distributed algorithms proceedings (Springer, 1988)