O. Eriksen og S. Skyum, “Symmetric Distributed Termination”, DPB, bd. 14, nr. 189, jan. 1985.