K. S. Thomsen, “Inheritance Used to Factorize: Distributed Termination Detection Algorithms”, DPB, vol. 15, no. 210, Apr. 1986.