Thomsen, K. S. (1986) “Inheritance Used to Factorize: Distributed Termination Detection Algorithms”, DAIMI Report Series, 15(210). doi: 10.7146/dpb.v15i210.7561.