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