O. Eriksen and S. Skyum, “Symmetric Distributed Termination”, DPB, vol. 14, no. 189, Jan. 1985.