Thomsen, Kristine Stougård. “Inheritance Used to Factorize: Distributed Termination Detection Algorithms”. DAIMI Report Series 15, no. 210 (April 1, 1986). Accessed February 26, 2026. https://tidsskrift.dk/daimipb/article/view/7561.