Thomsen, K. S. Inheritance Used to Factorize: Distributed Termination Detection Algorithms. DPB 1986, 15.