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