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