Eriksen, O.; Skyum, S. Symmetric Distributed Termination. DPB 1985, 14.