Eriksen, O., and S. Skyum. “Symmetric Distributed Termination”. DAIMI Report Series, vol. 14, no. 189, Jan. 1985, doi:10.7146/dpb.v14i189.7462.