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