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